Documentation

Associated Types

type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra
type NativeScript ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript ShelleyEra = MultiSig ShelleyEra

Methods

upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source #

scriptPrefixTag ∷ Script ShelleyEra → ByteString Source #

getNativeScript ∷ Script ShelleyEra → Maybe (NativeScript ShelleyEra) Source #

fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #

EraTx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

newtype Tx l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx l ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx l ShelleyEra }
type StAnnTx l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx type StAnnTx l ShelleyEra = Tx l ShelleyEra
type StAnnTxCache ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx type StAnnTxCache ShelleyEra = ()

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l ShelleyEra) (Tx l ShelleyEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l ShelleyEra) (StAnnTxCache ShelleyEra) Source #

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → Tx l ShelleyEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxBody l ShelleyEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxWits ShelleyEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l ShelleyEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits ShelleyEra), Typeable l) ⇒ Tx l ShelleyEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → NativeScript ShelleyEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → Tx l ShelleyEra → Int → Coin Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

EraTxAuxData ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

Methods

mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ StAnnTxCache ShelleyEra → ProtVer → TxAuxData ShelleyEra → Bool Source #

EraTxBody ShelleyEra

Instance details

Associated Types

newtype TxBody l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

EraTxOut ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

Methods

mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source #

valueTxOutL ∷ Lens' (TxOut ShelleyEra) (Value ShelleyEra) Source #

compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either (Value ShelleyEra) (CompactForm (Value ShelleyEra))) Source #

addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams ShelleyEra → Sized (TxOut ShelleyEra) → Coin Source #

getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #

EraTxWits ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

addrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits ShelleyEra) (Map ScriptHash (Script ShelleyEra)) Source #

EraPParams ShelleyEra

Instance details

Associated Types

type PParamsHKD f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f ShelleyEra = Void
type DowngradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f ShelleyEra = Void

Methods

applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ShelleyEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, HKDSemialign f, EraPParams (PreviousEra ShelleyEra)) ⇒ UpgradePParams f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) → PParamsHKD f ShelleyEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra ShelleyEra)) ⇒ DowngradePParams f ShelleyEra → PParamsHKD f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) Source #

hkdTxFeePerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f CoinPerByte) Source #

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams ShelleyEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

eraPParams ∷ [PParam ShelleyEra] Source #

EraTxCert ShelleyEra

Instance details

Associated Types

type TxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams ShelleyEra → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe (StakePoolParams ShelleyEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source #

getRetirePoolTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → f (TxCert ShelleyEra) → Coin Source #

EraTxLevel ShelleyEra

Instance details

Associated Types

type STxLevel l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra

EraGenesis ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis ShelleyEra = ShelleyGenesis

EraAccounts ShelleyEra

Instance details

Associated Types

type AccountState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Account type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Account type Accounts ShelleyEra = ShelleyAccounts ShelleyEra

Methods

addAccountState ∷ Credential 'Staking → AccountState ShelleyEra → Accounts ShelleyEra → Accounts ShelleyEra Source #

accountsMapL ∷ Lens' (Accounts ShelleyEra) (Map (Credential 'Staking) (AccountState ShelleyEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState ShelleyEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts ShelleyEra → (Maybe (AccountState ShelleyEra), Accounts ShelleyEra) Source #

EraCertState ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

type CertState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.CertState type CertState ShelleyEra = ShelleyCertState ShelleyEra

Methods

certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source #

certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source #

obligationCertState ∷ CertState ShelleyEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody 'TopTx ShelleyEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → Accounts ShelleyEra → TxBody t ShelleyEra → Coin Source #

EraGov ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState ShelleyEra = ShelleyGovState ShelleyEra

Methods

emptyGovState ∷ GovState ShelleyEra Source #

curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source #

obligationGovState ∷ GovState ShelleyEra → Obligations Source #

EraStake ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

Associated Types

type InstantStake ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Stake type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake ShelleyEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

deleteInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

resolveInstantStake ∷ InstantStake ShelleyEra → Accounts ShelleyEra → ActiveStake Source #

EraUTxO ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

Methods

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → UTxO ShelleyEra → TxBody t ShelleyEra → Value ShelleyEra Source #

getProducedValue ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx ShelleyEra → Value ShelleyEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → Tx t ShelleyEra → ScriptsProvided ShelleyEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → TxBody t ShelleyEra → ScriptsNeeded ShelleyEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded ShelleyEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState ShelleyEra → UTxO ShelleyEra → TxBody t ShelleyEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → Tx t ShelleyEra → UTxO ShelleyEra → Coin Source #

Era ShelleyEra

Instance details

Associated Types

type EraName ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

ShelleyEraForecast ShelleyEra

EraForecast ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Forecast

Associated Types

type Forecast t ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Forecast type Forecast t ShelleyEra = ShelleyForecast t ShelleyEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState ShelleyEra → Forecast t ShelleyEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) ProtVer Source #

Instance details

Defined in Cardano.Ledger.Shelley.Forecast

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Nonce Source #

ApplyTx ShelleyEra

Instance details

ShelleyEraScript ShelleyEra

Associated Types

newtype ApplyTxError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams ShelleyEra → UTxO ShelleyEra → StAnnTxCache ShelleyEra → Tx 'TopTx ShelleyEra → StAnnTx 'TopTx ShelleyEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx 'TopTx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra, ValidatedTx ShelleyEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → ValidatedTx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra) Source #

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → StAnnTx 'TopTx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra, Validated (Tx 'TopTx ShelleyEra)) Source #

ApplyTick ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ShelleyEra → SlotNo → (NewEpochState ShelleyEra, [Event (EraRule "TICK" ShelleyEra)]) Source #

Instance details

ShelleyEraAccounts ShelleyEra

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source #

getRequireSignature ∷ NativeScript ShelleyEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireAllOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireAnyOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireMOf ∷ NativeScript ShelleyEra → Maybe (Int, StrictSeq (NativeScript ShelleyEra)) Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source #

accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr Source #

EraTransition ShelleyEra

Instance details

ShelleyEraTxBody ShelleyEra

Associated Types

newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }

Methods

mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source #

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig ShelleyEra → NewEpochState ShelleyEra → m (NewEpochState ShelleyEra) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)

Instance details

ShelleyEraTxCert ShelleyEra

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

Instance details

ShelleyEraTest ShelleyEra

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Era

ShelleyEraScript ShelleyEra ⇒ ShelleyEraImp ShelleyEra

Instance details

Defined in Test.Cardano.Ledger.Shelley.ImpTest

Methods

initGenesis ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (Genesis ShelleyEra) Source #

initNewEpochState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (NewEpochState ShelleyEra) Source #

initImpTestState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (ImpTestState ShelleyEra) Source #

impSatisfyNativeScript ∷ ∀ (l ∷ TxLevel). Set (KeyHash 'Witness) → TxBody l ShelleyEra → NativeScript ShelleyEra → ImpTestM ShelleyEra (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #

modifyPParams ∷ (PParams ShelleyEra → PParams ShelleyEra) → ImpTestM ShelleyEra () Source #

modifyImpInitProtVer ∷ Version → SpecWith (ImpInit (LedgerSpec ShelleyEra)) → SpecWith (ImpInit (LedgerSpec ShelleyEra)) Source #

fixupTx ∷ Tx 'TopTx ShelleyEra → ImpTestM ShelleyEra (Tx 'TopTx ShelleyEra) Source #

expectTxSuccess ∷ Tx 'TopTx ShelleyEra → ImpTestM ShelleyEra () Source #

genRegTxCert ∷ Credential 'Staking → ImpTestM ShelleyEra (TxCert ShelleyEra) Source #

genUnRegTxCert ∷ Credential 'Staking → ImpTestM ShelleyEra (TxCert ShelleyEra) Source #

delegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source #

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

HasEraTxLevel TxBody ShelleyEra

Instance details

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). ShelleyTxBodyRaw l ShelleyEra → STxLevel l ShelleyEra Source #

(EraBlockHeader h ShelleyEra, TPraosEraBlockHeader h ShelleyEra) ⇒ ApplyBlock h ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

wrapBlockSignal ∷ Block h ShelleyEra → Signal (EraRule "BBODY" ShelleyEra) Source #

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ShelleyEra → Block h ShelleyEra → (NewEpochState ShelleyEra, [PredicateFailure (EraRule "BBODY" ShelleyEra)], [Event (EraRule "BBODY" ShelleyEra)]) Source #

InjectRuleEvent "POOL" PoolEvent ShelleyEra

Instance details

Methods

injectEvent ∷ PoolEvent ShelleyEra → EraRuleEvent "POOL" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered ShelleyEra

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

Arbitrary (ApplyTxError ShelleyEra)

Instance details

Methods

arbitrary ∷ Gen (ApplyTxError ShelleyEra) Source #

shrink ∷ ApplyTxError ShelleyEra → [ApplyTxError ShelleyEra] Source #

Arbitrary (TransitionConfig ShelleyEra)

Instance details

Methods

arbitrary ∷ Gen (TransitionConfig ShelleyEra) Source #

shrink ∷ TransitionConfig ShelleyEra → [TransitionConfig ShelleyEra] Source #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

decCBOR ∷ Decoder s (Annotator (Block h ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h ShelleyEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Text Source #

DecCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

dropCBOR ∷ Proxy (ApplyTxError ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError ShelleyEra)

Instance details

Methods

(<>) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

sconcat ∷ NonEmpty (ApplyTxError ShelleyEra) → ApplyTxError ShelleyEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

Generic (ApplyTxError ShelleyEra)

Instance details

Associated Types

type Rep (ApplyTxError ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

from ∷ ApplyTxError ShelleyEra → Rep (ApplyTxError ShelleyEra) x #

to ∷ Rep (ApplyTxError ShelleyEra) x → ApplyTxError ShelleyEra #

Generic (TransitionConfig ShelleyEra)

Instance details

Associated Types

type Rep (TransitionConfig ShelleyEra)

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x #

to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #

Show (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Show (TransitionConfig ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

(==) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

(/=) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

Eq (TransitionConfig ShelleyEra)

Instance details

Methods

(==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

(/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

NoThunks (TransitionConfig ShelleyEra)

Instance details

Methods

noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

Arbitrary (Tx 'TopTx ShelleyEra)

Instance details

Methods

arbitrary ∷ Gen (Tx 'TopTx ShelleyEra) Source #

shrink ∷ Tx 'TopTx ShelleyEra → [Tx 'TopTx ShelleyEra] Source #

Arbitrary (TxBody 'TopTx ShelleyEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx ShelleyEra) Source #

shrink ∷ TxBody 'TopTx ShelleyEra → [TxBody 'TopTx ShelleyEra] Source #

FromJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

FromJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool Source #

ToJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

toCBOR ∷ Block h ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h ShelleyEra] → Size Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra)

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

Typeable l ⇒ DecCBOR (ShelleyTxBodyRaw l ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source #

dropCBOR ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Text Source #

EncCBOR h ⇒ EncCBOR (Block h ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

encCBOR ∷ Block h ShelleyEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra)

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source #

SafeToHash (TxBody l ShelleyEra)

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (TxBody l ShelleyEra)

Instance details

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra)

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (TxBody l ShelleyEra)

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (TxBody l ShelleyEra)

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (TxBody l ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (TxBody l ShelleyEra)

Instance details

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra)

Instance details

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

ToExpr (Tx 'TopTx ShelleyEra)

Instance details

Methods

toExpr ∷ Tx 'TopTx ShelleyEra → Expr Source #

listToExpr ∷ [Tx 'TopTx ShelleyEra] → Expr Source #

ToExpr (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toExpr ∷ TxBody 'TopTx ShelleyEra → Expr Source #

listToExpr ∷ [TxBody 'TopTx ShelleyEra] → Expr Source #

ToExpr (ShelleyTxBodyRaw 'TopTx ShelleyEra)

Instance details

Methods

toExpr ∷ ShelleyTxBodyRaw 'TopTx ShelleyEra → Expr Source #

listToExpr ∷ [ShelleyTxBodyRaw 'TopTx ShelleyEra] → Expr Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

type BlockBody ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra

type NativeScript ShelleyEra

Instance details

type NativeScript ShelleyEra = MultiSig ShelleyEra

type Script ShelleyEra

Instance details

type Script ShelleyEra = MultiSig ShelleyEra

type StAnnTxCache ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type StAnnTxCache ShelleyEra = ()

type TxAuxData ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

type TxOut ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

type TxWits ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

type Value ShelleyEra

Instance details

type Value ShelleyEra = Coin

type TranslationContext ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext ShelleyEra = FromByronTranslationContext

type TxCert ShelleyEra

Instance details

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra

type TxCertUpgradeError ShelleyEra

Instance details

type TxCertUpgradeError ShelleyEra = Void

type Genesis ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis

type AccountState ShelleyEra

Instance details

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra

type Accounts ShelleyEra

Instance details

type Accounts ShelleyEra = ShelleyAccounts ShelleyEra

type CertState ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra

type GovState ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra

type InstantStake ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra

type ScriptsNeeded ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

type EraName ShelleyEra

Instance details

type EraName ShelleyEra = "Shelley"

type PreviousEra ShelleyEra

Instance details

type PreviousEra ShelleyEra = ByronEra

type ProtVerHigh ShelleyEra

Instance details

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

type ProtVerLow ShelleyEra

Instance details

type ProtVerLow ShelleyEra = 2

type EraRulesWithFailures ShelleyEra

Instance details

Defined in Test.Cardano.Ledger.Shelley.Era

type EraRulesWithFailures ShelleyEra = '["BBODY", "DELEG", "DELEGS", "DELPL", "LEDGER", "LEDGERS", "POOL", "PPUP", "UTXO", "UTXOW"]

newtype ApplyTxError ShelleyEra

Instance details

newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

newtype TransitionConfig ShelleyEra

Instance details

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {

stcShelleyGenesis ∷ ShelleyGenesis

}

type ProtocolEraBlockHeader h ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type ProtocolEraBlockHeader h ShelleyEra = TPraosEraBlockHeader h ShelleyEra

type StAnnTx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type StAnnTx l ShelleyEra = Tx l ShelleyEra

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype TxBody l ShelleyEra

Instance details

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type EraRule "BBODY" ShelleyEra

Instance details

type EraRule "BBODY" ShelleyEra = BBODY ShelleyEra

type EraRule "DELEG" ShelleyEra

Instance details

type EraRule "DELEG" ShelleyEra = DELEG ShelleyEra

type EraRule "DELEGS" ShelleyEra

Instance details

type EraRule "DELEGS" ShelleyEra = DELEGS ShelleyEra

type EraRule "DELPL" ShelleyEra

Instance details

type EraRule "DELPL" ShelleyEra = DELPL ShelleyEra

type EraRule "EPOCH" ShelleyEra

Instance details

type EraRule "EPOCH" ShelleyEra = EPOCH ShelleyEra

type EraRule "LEDGER" ShelleyEra

Instance details

type EraRule "LEDGER" ShelleyEra = LEDGER ShelleyEra

type EraRule "LEDGERS" ShelleyEra

Instance details

type EraRule "LEDGERS" ShelleyEra = LEDGERS ShelleyEra

type EraRule "MIR" ShelleyEra

Instance details

type EraRule "MIR" ShelleyEra = MIR ShelleyEra

type EraRule "NEWEPOCH" ShelleyEra

Instance details

type EraRule "NEWEPOCH" ShelleyEra = NEWEPOCH ShelleyEra

type EraRule "NEWPP" ShelleyEra

Instance details

type EraRule "NEWPP" ShelleyEra = NEWPP ShelleyEra

type EraRule "POOL" ShelleyEra

Instance details

type EraRule "POOL" ShelleyEra = POOL ShelleyEra

type EraRule "POOLREAP" ShelleyEra

Instance details

type EraRule "POOLREAP" ShelleyEra = POOLREAP ShelleyEra

type EraRule "PPUP" ShelleyEra

Instance details

type EraRule "PPUP" ShelleyEra = PPUP ShelleyEra

type EraRule "RUPD" ShelleyEra

Instance details

type EraRule "RUPD" ShelleyEra = RUPD ShelleyEra

type EraRule "SNAP" ShelleyEra

Instance details

type EraRule "SNAP" ShelleyEra = SNAP ShelleyEra

type EraRule "TICK" ShelleyEra

Instance details

type EraRule "TICK" ShelleyEra = TICK ShelleyEra

type EraRule "TICKF" ShelleyEra

Instance details

type EraRule "TICKF" ShelleyEra = TICKF ShelleyEra

type EraRule "TICKN" ShelleyEra

Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type EraRule "TICKN" ShelleyEra = TICKN

type EraRule "UPEC" ShelleyEra

Instance details

type EraRule "UPEC" ShelleyEra = UPEC ShelleyEra

type EraRule "UTXO" ShelleyEra

Instance details

type EraRule "UTXO" ShelleyEra = UTXO ShelleyEra

type EraRule "UTXOW" ShelleyEra

Instance details

type EraRule "UTXOW" ShelleyEra = UTXOW ShelleyEra

type EraRuleEvent "LEDGER" ShelleyEra

Instance details

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra

type EraRuleEvent "LEDGERS" ShelleyEra

Instance details

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra

type EraRuleEvent "NEWEPOCH" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra

type EraRuleEvent "POOL" ShelleyEra

Instance details

type EraRuleEvent "POOL" ShelleyEra = PoolEvent ShelleyEra

type EraRuleEvent "POOLREAP" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra

type EraRuleEvent "TICK" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra

type EraRuleFailure "BBODY" ShelleyEra

Instance details

type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra

type EraRuleFailure "DELEG" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra

type EraRuleFailure "DELEGS" ShelleyEra

Instance details

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra

type EraRuleFailure "DELPL" ShelleyEra

Instance details

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra

type EraRuleFailure "LEDGER" ShelleyEra

Instance details

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra

type EraRuleFailure "LEDGERS" ShelleyEra

Instance details

type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra

type EraRuleFailure "POOL" ShelleyEra

Instance details

type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra

type EraRuleFailure "PPUP" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra

type EraRuleFailure "UTXO" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra

type EraRuleFailure "UTXOW" ShelleyEra

Instance details

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra

type DowngradePParams f ShelleyEra

Instance details

type DowngradePParams f ShelleyEra = Void

type PParamsHKD f ShelleyEra

Instance details

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra

type UpgradePParams f ShelleyEra

Instance details

type UpgradePParams f ShelleyEra = Void

type STxLevel l ShelleyEra

Instance details

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra

type Forecast t ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Forecast

type Forecast t ShelleyEra = ShelleyForecast t ShelleyEra

type Rep (ApplyTxError ShelleyEra)

Instance details

type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

type Rep (TransitionConfig ShelleyEra)

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

type RawType (TxBody l ShelleyEra)

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

type Rep (TxBody l ShelleyEra)

Instance details

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data MaryEra Source #

Instances

Instances details

AllegraEraScript MaryEra

Instance details

AllegraEraTxAuxData MaryEra

Methods

mkTimeStart ∷ SlotNo → NativeScript MaryEra Source #

getTimeStart ∷ NativeScript MaryEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript MaryEra Source #

getTimeExpire ∷ NativeScript MaryEra → Maybe SlotNo Source #

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (StrictSeq (NativeScript MaryEra)) Source #

AllegraEraTxBody MaryEra

Instance details

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) ValidityInterval Source #

EraBlockBody MaryEra

Instance details

Associated Types

type BlockBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.BlockBody type BlockBody MaryEra = ShelleyBlockBody MaryEra
type ProtocolEraBlockHeader h MaryEra
Instance details Defined in Cardano.Ledger.Mary.BlockBody type ProtocolEraBlockHeader h MaryEra = TPraosEraBlockHeader h MaryEra

Methods

mkBasicBlockBody ∷ BlockBody MaryEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody MaryEra) (StrictSeq (Tx 'TopTx MaryEra)) Source #

hashBlockBody ∷ BlockBody MaryEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody MaryEra → Int Source #

EraScript MaryEra

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Associated Types

type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type NativeScript MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript MaryEra = Timelock MaryEra

Methods

upgradeScript ∷ Script (PreviousEra MaryEra) → Script MaryEra Source #

scriptPrefixTag ∷ Script MaryEra → ByteString Source #

getNativeScript ∷ Script MaryEra → Maybe (NativeScript MaryEra) Source #

fromNativeScript ∷ NativeScript MaryEra → Script MaryEra Source #

EraTx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

newtype Tx t MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx newtype Tx t MaryEra = MkMaryTx { unMaryTx ∷ ShelleyTx t MaryEra }
type StAnnTx l MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type StAnnTx l MaryEra = Tx l MaryEra
type StAnnTxCache MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type StAnnTxCache MaryEra = ()

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l MaryEra) (Tx l MaryEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l MaryEra) (StAnnTxCache MaryEra) Source #

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → Tx l MaryEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (TxBody l MaryEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (TxWits MaryEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (StrictMaybe (TxAuxData MaryEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l MaryEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits MaryEra), Typeable l) ⇒ Tx l MaryEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → NativeScript MaryEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams MaryEra → Tx l MaryEra → Int → Coin Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Set TxIn) Source #

EraTxAuxData MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra

Methods

mkBasicTxAuxData ∷ TxAuxData MaryEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ StAnnTxCache MaryEra → ProtVer → TxAuxData MaryEra → Bool Source #

EraTxBody MaryEra

Instance details

Associated Types

newtype TxBody l MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l MaryEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxOut MaryEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxCert MaryEra)) Source #

getTotalDepositsTxBody ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx MaryEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → TxBody l MaryEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx MaryEra → Int Source #

EraTxOut MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxOut

Associated Types

type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra

Methods

mkBasicTxOut ∷ Addr → Value MaryEra → TxOut MaryEra Source #

upgradeTxOut ∷ TxOut (PreviousEra MaryEra) → TxOut MaryEra Source #

valueTxOutL ∷ Lens' (TxOut MaryEra) (Value MaryEra) Source #

compactValueTxOutL ∷ Lens' (TxOut MaryEra) (CompactForm (Value MaryEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either (Value MaryEra) (CompactForm (Value MaryEra))) Source #

addrTxOutL ∷ Lens' (TxOut MaryEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut MaryEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams MaryEra → Sized (TxOut MaryEra) → Coin Source #

getMinCoinTxOut ∷ PParams MaryEra → TxOut MaryEra → Coin Source #

EraTxWits MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxWits

Associated Types

type TxWits MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits MaryEra = ShelleyTxWits MaryEra

Methods

mkBasicTxWits ∷ TxWits MaryEra Source #

addrTxWitsL ∷ Lens' (TxWits MaryEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits MaryEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits MaryEra) (Map ScriptHash (Script MaryEra)) Source #

EraPParams MaryEra

Instance details

Associated Types

type PParamsHKD f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f MaryEra = ()
type DowngradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f MaryEra = ()

Methods

applyPPUpdates ∷ PParams MaryEra → PParamsUpdate MaryEra → PParams MaryEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity MaryEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe MaryEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe MaryEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, HKDSemialign f, EraPParams (PreviousEra MaryEra)) ⇒ UpgradePParams f MaryEra → PParamsHKD f (PreviousEra MaryEra) → PParamsHKD f MaryEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra MaryEra)) ⇒ DowngradePParams f MaryEra → PParamsHKD f MaryEra → PParamsHKD f (PreviousEra MaryEra) Source #

hkdTxFeePerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f CoinPerByte) Source #

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams MaryEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams MaryEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate MaryEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams MaryEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams MaryEra) UnitInterval Source #

eraPParams ∷ [PParam MaryEra] Source #

EraTxCert MaryEra

Instance details

Associated Types

type TxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra MaryEra) → Either (TxCertUpgradeError MaryEra) (TxCert MaryEra) Source #

getVKeyWitnessTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert MaryEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams MaryEra → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe (StakePoolParams MaryEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert MaryEra Source #

getRetirePoolTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (KeyHash 'StakePool → Bool) → f (TxCert MaryEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (Credential 'Staking → Maybe Coin) → f (TxCert MaryEra) → Coin Source #

EraTxLevel MaryEra

Instance details

Associated Types

type STxLevel l MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody type STxLevel l MaryEra = STxTopLevel l MaryEra

EraGenesis MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra

EraAccounts MaryEra

Instance details

Associated Types

type AccountState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type AccountState MaryEra = ShelleyAccountState MaryEra
type Accounts MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type Accounts MaryEra = ShelleyAccounts MaryEra

Methods

addAccountState ∷ Credential 'Staking → AccountState MaryEra → Accounts MaryEra → Accounts MaryEra Source #

accountsMapL ∷ Lens' (Accounts MaryEra) (Map (Credential 'Staking) (AccountState MaryEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState MaryEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState MaryEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState MaryEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts MaryEra → (Maybe (AccountState MaryEra), Accounts MaryEra) Source #

EraCertState MaryEra

Instance details

Defined in Cardano.Ledger.Mary.State.CertState

Associated Types

type CertState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.CertState type CertState MaryEra = ShelleyCertState MaryEra

Methods

certDStateL ∷ Lens' (CertState MaryEra) (DState MaryEra) Source #

certPStateL ∷ Lens' (CertState MaryEra) (PState MaryEra) Source #

obligationCertState ∷ CertState MaryEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams MaryEra → CertState MaryEra → TxBody 'TopTx MaryEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody MaryEra ⇒ PParams MaryEra → Accounts MaryEra → TxBody t MaryEra → Coin Source #

EraGov MaryEra

Instance details

Associated Types

type GovState MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra

Methods

emptyGovState ∷ GovState MaryEra Source #

curPParamsGovStateL ∷ Lens' (GovState MaryEra) (PParams MaryEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState MaryEra) (PParams MaryEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState MaryEra) (FuturePParams MaryEra) Source #

obligationGovState ∷ GovState MaryEra → Obligations Source #

EraStake MaryEra

Instance details

Defined in Cardano.Ledger.Mary.State.Stake

Associated Types

type InstantStake MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Stake type InstantStake MaryEra = ShelleyInstantStake MaryEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake MaryEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source #

deleteInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source #

resolveInstantStake ∷ InstantStake MaryEra → Accounts MaryEra → ActiveStake Source #

EraUTxO MaryEra

Instance details

Defined in Cardano.Ledger.Mary.UTxO

Associated Types

type ScriptsNeeded MaryEra
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra

Methods

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → UTxO MaryEra → TxBody t MaryEra → Value MaryEra Source #

getProducedValue ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx MaryEra → Value MaryEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → Tx t MaryEra → ScriptsProvided MaryEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → TxBody t MaryEra → ScriptsNeeded MaryEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState MaryEra → UTxO MaryEra → TxBody t MaryEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams MaryEra → Tx t MaryEra → UTxO MaryEra → Coin Source #

Era MaryEra

Instance details

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

MaryEraTxBody MaryEra

Instance details

ShelleyEraForecast MaryEra

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source #

MaryEraTest MaryEra

Instance details

Defined in Test.Cardano.Ledger.Mary.Era

MaryEraImp MaryEra

Instance details

Defined in Test.Cardano.Ledger.Mary.ImpTest

EraForecast MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Forecast

Associated Types

type Forecast t MaryEra
Instance details Defined in Cardano.Ledger.Mary.Forecast type Forecast t MaryEra = ShelleyForecast t MaryEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState MaryEra → Forecast t MaryEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) ProtVer Source #

Instance details

Defined in Cardano.Ledger.Mary.Forecast

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Nonce Source #

ApplyTx MaryEra

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

newtype ApplyTxError MaryEra
Instance details Defined in Cardano.Ledger.Mary newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams MaryEra → UTxO MaryEra → StAnnTxCache MaryEra → Tx 'TopTx MaryEra → StAnnTx 'TopTx MaryEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → Tx 'TopTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, ValidatedTx MaryEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv MaryEra → MempoolState MaryEra → ValidatedTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra) Source #

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → StAnnTx 'TopTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, Validated (Tx 'TopTx MaryEra)) Source #

ApplyTick MaryEra

Instance details

Defined in Cardano.Ledger.Mary

Methods

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState MaryEra → SlotNo → (NewEpochState MaryEra, [Event (EraRule "TICK" MaryEra)]) Source #

ShelleyEraScript MaryEra

Instance details

ShelleyEraAccounts MaryEra

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript MaryEra Source #

getRequireSignature ∷ NativeScript MaryEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireAllOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireAnyOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireMOf ∷ NativeScript MaryEra → Maybe (Int, StrictSeq (NativeScript MaryEra)) Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState MaryEra Source #

accountsPtrsMapL ∷ Lens' (Accounts MaryEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts MaryEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState MaryEra) Ptr Source #

EraTransition MaryEra

Instance details

Associated Types

newtype TransitionConfig MaryEra
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig MaryEra = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra }

Methods

mkTransitionConfig ∷ TranslationContext MaryEra → TransitionConfig (PreviousEra MaryEra) → TransitionConfig MaryEra Source #

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig MaryEra → NewEpochState MaryEra → m (NewEpochState MaryEra) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig MaryEra) (TransitionConfig (PreviousEra MaryEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig MaryEra) (TranslationContext MaryEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig MaryEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig MaryEra) (PParams MaryEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig MaryEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig MaryEra)

ShelleyEraTxBody MaryEra

Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) (StrictMaybe (Update MaryEra)) Source #

ShelleyEraTxCert MaryEra

Instance details

TranslateEra MaryEra AllegraTxAuxData

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source #

getRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source #

getUnRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert MaryEra Source #

getDelegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert MaryEra Source #

getGenesisDelegTxCert ∷ TxCert MaryEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert MaryEra Source #

getMirTxCert ∷ TxCert MaryEra → Maybe MIRCert Source #

EraGen MaryEra Source #

Instance details

Defined in Test.Cardano.Ledger.MaryEraGen

Methods

genGenesisValue ∷ GenEnv c MaryEra → Gen (Value MaryEra) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo MaryEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo MaryEra] Source #

genEraTxBody ∷ GenEnv c MaryEra → UTxO MaryEra → PParams MaryEra → SlotNo → Set TxIn → StrictSeq (TxOut MaryEra) → StrictSeq (TxCert MaryEra) → Withdrawals → Coin → StrictMaybe (Update MaryEra) → StrictMaybe TxAuxDataHash → Gen (TxBody 'TopTx MaryEra, [Script MaryEra]) Source #

genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData MaryEra)) Source #

updateEraTxBody ∷ UTxO MaryEra → PParams MaryEra → TxWits MaryEra → TxBody 'TopTx MaryEra → Coin → Set TxIn → TxOut MaryEra → TxBody 'TopTx MaryEra Source #

addInputs ∷ TxBody 'TopTx MaryEra → Set TxIn → TxBody 'TopTx MaryEra Source #

genEraPParamsUpdate ∷ Constants → PParams MaryEra → Gen (PParamsUpdate MaryEra) Source #

genEraPParams ∷ Constants → Gen (PParams MaryEra) Source #

genEraTxWits ∷ (UTxO MaryEra, TxBody 'TopTx MaryEra, ScriptInfo MaryEra) → Set (WitVKey 'Witness) → Map ScriptHash (Script MaryEra) → TxWits MaryEra Source #

genEraGoodTxOut ∷ TxOut MaryEra → Bool Source #

constructTx ∷ TxBody 'TopTx MaryEra → TxWits MaryEra → StrictMaybe (TxAuxData MaryEra) → Tx 'TopTx MaryEra Source #

genEraScriptCost ∷ PParams MaryEra → Script MaryEra → Coin Source #

genEraDone ∷ UTxO MaryEra → PParams MaryEra → Tx 'TopTx MaryEra → Gen (Tx 'TopTx MaryEra) Source #

genEraTweakBlock ∷ PParams MaryEra → Seq (Tx 'TopTx MaryEra) → Gen (Seq (Tx 'TopTx MaryEra)) Source #

hasFailedScripts ∷ Tx 'TopTx MaryEra → Bool Source #

feeOrCollateral ∷ Tx 'TopTx MaryEra → UTxO MaryEra → Coin Source #

MinGenTxout MaryEra Source #

Instance details

Defined in Test.Cardano.Ledger.MaryEraGen

Methods

calcEraMinUTxO ∷ TxOut MaryEra → PParams MaryEra → Coin Source #

addValToTxOut ∷ Value MaryEra → TxOut MaryEra → TxOut MaryEra Source #

genEraTxOut ∷ GenEnv c MaryEra → Gen (Value MaryEra) → [Addr] → Gen [TxOut MaryEra] Source #

ScriptClass MaryEra Source #

Instance details

Defined in Test.Cardano.Ledger.MaryEraGen

Methods

basescript ∷ Proxy MaryEra → KeyHash 'Witness → Script MaryEra Source #

isKey ∷ Proxy MaryEra → Script MaryEra → Maybe (KeyHash 'Witness) Source #

isOnePhase ∷ Proxy MaryEra → Script MaryEra → Bool Source #

quantify ∷ Proxy MaryEra → Script MaryEra → Quantifier (Script MaryEra) Source #

unQuantify ∷ Proxy MaryEra → Quantifier (Script MaryEra) → Script MaryEra Source #

Instance details

Associated Types

type TranslationError MaryEra AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void

Methods

translateEra ∷ TranslationContext MaryEra → AllegraTxAuxData (PreviousEra MaryEra) → Except (TranslationError MaryEra AllegraTxAuxData) (AllegraTxAuxData MaryEra) Source #

TranslateEra MaryEra PParams

Instance details

TranslateEra MaryEra PParamsUpdate

Associated Types

type TranslationError MaryEra PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParams (PreviousEra MaryEra) → Except (TranslationError MaryEra PParams) (PParams MaryEra) Source #

Instance details

TranslateEra MaryEra CommitteeState

Associated Types

type TranslationError MaryEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParamsUpdate (PreviousEra MaryEra) → Except (TranslationError MaryEra PParamsUpdate) (PParamsUpdate MaryEra) Source #

Instance details

Associated Types

type TranslationError MaryEra CommitteeState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext MaryEra → CommitteeState (PreviousEra MaryEra) → Except (TranslationError MaryEra CommitteeState) (CommitteeState MaryEra) Source #

TranslateEra MaryEra DState

Instance details

Associated Types

type TranslationError MaryEra DState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra DState = Void

Methods

translateEra ∷ TranslationContext MaryEra → DState (PreviousEra MaryEra) → Except (TranslationError MaryEra DState) (DState MaryEra) Source #

TranslateEra MaryEra PState

Instance details

TranslateEra MaryEra FuturePParams

Associated Types

type TranslationError MaryEra PState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PState = Void

Methods

translateEra ∷ TranslationContext MaryEra → PState (PreviousEra MaryEra) → Except (TranslationError MaryEra PState) (PState MaryEra) Source #

Instance details

TranslateEra MaryEra SnapShots

Associated Types

type TranslationError MaryEra FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext MaryEra → FuturePParams (PreviousEra MaryEra) → Except (TranslationError MaryEra FuturePParams) (FuturePParams MaryEra) Source #

Instance details

Associated Types

type TranslationError MaryEra SnapShots
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra SnapShots = Void

Methods

translateEra ∷ TranslationContext MaryEra → SnapShots (PreviousEra MaryEra) → Except (TranslationError MaryEra SnapShots) (SnapShots MaryEra) Source #

TranslateEra MaryEra UTxO

Instance details

TranslateEra MaryEra ShelleyGovState

Associated Types

type TranslationError MaryEra UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = Void

Methods

translateEra ∷ TranslationContext MaryEra → UTxO (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxO) (UTxO MaryEra) Source #

Instance details

TranslateEra MaryEra EpochState

Associated Types

type TranslationError MaryEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyGovState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyGovState) (ShelleyGovState MaryEra) Source #

Instance details

TranslateEra MaryEra LedgerState

Associated Types

type TranslationError MaryEra EpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra EpochState = Void

Methods

translateEra ∷ TranslationContext MaryEra → EpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra EpochState) (EpochState MaryEra) Source #

Instance details

TranslateEra MaryEra NewEpochState

Associated Types

type TranslationError MaryEra LedgerState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra LedgerState = Void

Methods

translateEra ∷ TranslationContext MaryEra → LedgerState (PreviousEra MaryEra) → Except (TranslationError MaryEra LedgerState) (LedgerState MaryEra) Source #

Instance details

TranslateEra MaryEra UTxOState

Associated Types

type TranslationError MaryEra NewEpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext MaryEra → NewEpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra NewEpochState) (NewEpochState MaryEra) Source #

Instance details

TranslateEra MaryEra ProposedPPUpdates

Associated Types

type TranslationError MaryEra UTxOState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxOState = Void

Methods

translateEra ∷ TranslationContext MaryEra → UTxOState (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxOState) (UTxOState MaryEra) Source #

Instance details

Associated Types

type TranslationError MaryEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext MaryEra → ProposedPPUpdates (PreviousEra MaryEra) → Except (TranslationError MaryEra ProposedPPUpdates) (ProposedPPUpdates MaryEra) Source #

TranslateEra MaryEra Update

Instance details

TranslateEra MaryEra ShelleyAccounts

Associated Types

type TranslationError MaryEra Update
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Update = Void

Methods

translateEra ∷ TranslationContext MaryEra → Update (PreviousEra MaryEra) → Except (TranslationError MaryEra Update) (Update MaryEra) Source #

Instance details

TranslateEra MaryEra ShelleyCertState

Associated Types

type TranslationError MaryEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyAccounts (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyAccounts) (ShelleyAccounts MaryEra) Source #

Instance details

TranslateEra MaryEra ShelleyInstantStake

Associated Types

type TranslationError MaryEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyCertState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyCertState) (ShelleyCertState MaryEra) Source #

Instance details

TranslateEra MaryEra ShelleyTxOut

Associated Types

type TranslationError MaryEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyInstantStake (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyInstantStake) (ShelleyInstantStake MaryEra) Source #

Instance details

TranslateEra MaryEra ShelleyTxWits

Associated Types

type TranslationError MaryEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyTxOut (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxOut) (ShelleyTxOut MaryEra) Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxWits = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyTxWits (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxWits) (ShelleyTxWits MaryEra) Source #

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel TxBody MaryEra

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → STxLevel l MaryEra Source #

(EraBlockHeader h MaryEra, TPraosEraBlockHeader h MaryEra) ⇒ ApplyBlock h MaryEra

Instance details

Defined in Cardano.Ledger.Mary

Methods

wrapBlockSignal ∷ Block h MaryEra → Signal (EraRule "BBODY" MaryEra) Source #

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState MaryEra → Block h MaryEra → (NewEpochState MaryEra, [PredicateFailure (EraRule "BBODY" MaryEra)], [Event (EraRule "BBODY" MaryEra)]) Source #

InjectRuleEvent "POOL" PoolEvent MaryEra

Instance details

Methods

injectEvent ∷ PoolEvent MaryEra → EraRuleEvent "POOL" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyBbodyPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered MaryEra → EraRuleFailure "DELEG" MaryEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELEG" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered MaryEra

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "POOL" MaryEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "PPUP" MaryEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

TranslateEra MaryEra (Timelock ∷ Type → Type)

Instance details

Associated Types

type TranslationError MaryEra (Timelock ∷ Type → Type)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Timelock ∷ Type → Type) = Void

Methods

translateEra ∷ TranslationContext MaryEra → Timelock (PreviousEra MaryEra) → Except (TranslationError MaryEra (Timelock ∷ Type → Type)) (Timelock MaryEra) Source #

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

Arbitrary (ApplyTxError MaryEra)

Instance details

Methods

arbitrary ∷ Gen (ApplyTxError MaryEra) Source #

shrink ∷ ApplyTxError MaryEra → [ApplyTxError MaryEra] Source #

Arbitrary (TransitionConfig MaryEra)

Instance details

Methods

arbitrary ∷ Gen (TransitionConfig MaryEra) Source #

shrink ∷ TransitionConfig MaryEra → [TransitionConfig MaryEra] Source #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h MaryEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Block h MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h MaryEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra))

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

DecCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

dropCBOR ∷ Proxy (ApplyTxError MaryEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError MaryEra) → Text Source #

EncCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

Semigroup (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

(<>) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → ApplyTxError MaryEra #

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

stimes ∷ Integral b ⇒ b → ApplyTxError MaryEra → ApplyTxError MaryEra #

Generic (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

from ∷ ApplyTxError MaryEra → Rep (ApplyTxError MaryEra) x #

to ∷ Rep (ApplyTxError MaryEra) x → ApplyTxError MaryEra #

Show (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (TransitionConfig MaryEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Eq (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

(==) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → Bool #

(/=) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → Bool #

Eq (TransitionConfig MaryEra)

Instance details

Methods

(==) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

(/=) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

NoThunks (TransitionConfig MaryEra)

Instance details

Methods

noThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #

HasEraTxLevel (AllegraTxBodyRaw ma) MaryEra

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw ma l MaryEra → STxLevel l MaryEra Source #

Arbitrary (Tx 'TopTx MaryEra)

Instance details

Methods

arbitrary ∷ Gen (Tx 'TopTx MaryEra) Source #

shrink ∷ Tx 'TopTx MaryEra → [Tx 'TopTx MaryEra] Source #

Arbitrary (TxBody 'TopTx MaryEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx MaryEra) Source #

shrink ∷ TxBody 'TopTx MaryEra → [TxBody 'TopTx MaryEra] Source #

FromJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx MaryEra] Source #

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx MaryEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx MaryEra) Source #

ToJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx MaryEra] → Encoding Source #

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx MaryEra → Value Source #

toEncoding ∷ TxBody 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx MaryEra] → Encoding Source #

omitField ∷ TxBody 'TopTx MaryEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h MaryEra)

Instance details

Methods

toCBOR ∷ Block h MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h MaryEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra)

Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

EncCBOR h ⇒ EncCBOR (Block h MaryEra)

Instance details

Methods

encCBOR ∷ Block h MaryEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EncCBOR (TxBody l MaryEra)

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx MaryEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx MaryEra → [kv] Source #

SafeToHash (TxBody l MaryEra)

Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

EqRaw (TxBody l MaryEra)

Instance details

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

Memoized (TxBody l MaryEra)

Instance details

Associated Types

type RawType (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

NFData (TxBody l MaryEra)

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Generic (TxBody l MaryEra)

Instance details

Associated Types

type Rep (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Show (TxBody l MaryEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Eq (TxBody l MaryEra)

Instance details

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l MaryEra)

Instance details

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

type BlockBody MaryEra

Instance details

type BlockBody MaryEra = ShelleyBlockBody MaryEra

type NativeScript MaryEra

Instance details

type NativeScript MaryEra = Timelock MaryEra

type Script MaryEra

Instance details

type Script MaryEra = Timelock MaryEra

type StAnnTxCache MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

type StAnnTxCache MaryEra = ()

type TxAuxData MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra

type TxOut MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut MaryEra = ShelleyTxOut MaryEra

type TxWits MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxWits

type TxWits MaryEra = ShelleyTxWits MaryEra

type Value MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type Value MaryEra = MaryValue

type TranslationContext MaryEra

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext MaryEra = NoGenesis MaryEra

type TxCert MaryEra

Instance details

type TxCert MaryEra = ShelleyTxCert MaryEra

type TxCertUpgradeError MaryEra

Instance details

type TxCertUpgradeError MaryEra = Void

type Genesis MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type Genesis MaryEra = NoGenesis MaryEra

type AccountState MaryEra

Instance details

type AccountState MaryEra = ShelleyAccountState MaryEra

type Accounts MaryEra

Instance details

type Accounts MaryEra = ShelleyAccounts MaryEra

type CertState MaryEra

Instance details

Defined in Cardano.Ledger.Mary.State.CertState

type CertState MaryEra = ShelleyCertState MaryEra

type GovState MaryEra

Instance details

type GovState MaryEra = ShelleyGovState MaryEra

type InstantStake MaryEra

Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type InstantStake MaryEra = ShelleyInstantStake MaryEra

type ScriptsNeeded MaryEra

Instance details

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra

type EraName MaryEra

Instance details

type EraName MaryEra = "Mary"

type PreviousEra MaryEra

Instance details

type PreviousEra MaryEra = AllegraEra

type ProtVerHigh MaryEra

Instance details

type ProtVerHigh MaryEra = ProtVerLow MaryEra

type ProtVerLow MaryEra

Instance details

type ProtVerLow MaryEra = 4

type EraRulesWithFailures MaryEra

Instance details

Defined in Test.Cardano.Ledger.Mary.Era

type EraRulesWithFailures MaryEra = '["BBODY", "DELEG", "DELEGS", "DELPL", "LEDGER", "LEDGERS", "POOL", "PPUP", "UTXO", "UTXOW"]

newtype ApplyTxError MaryEra

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype TransitionConfig MaryEra

Instance details

newtype TransitionConfig MaryEra = MaryTransitionConfig {

mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra

}

type ProtocolEraBlockHeader h MaryEra

Instance details

type ProtocolEraBlockHeader h MaryEra = TPraosEraBlockHeader h MaryEra

type StAnnTx l MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

type StAnnTx l MaryEra = Tx l MaryEra

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

newtype TxBody l MaryEra

Instance details

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

type EraRule "BBODY" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "BBODY" MaryEra = BBODY MaryEra

type EraRule "DELEG" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra = DELEG MaryEra

type EraRule "DELEGS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra = DELEGS MaryEra

type EraRule "DELPL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra = DELPL MaryEra

type EraRule "EPOCH" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra = EPOCH MaryEra

type EraRule "LEDGER" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra = LEDGER MaryEra

type EraRule "LEDGERS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra = LEDGERS MaryEra

type EraRule "MIR" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra = MIR MaryEra

type EraRule "NEWEPOCH" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra = NEWEPOCH MaryEra

type EraRule "NEWPP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra = NEWPP MaryEra

type EraRule "POOL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra = POOL MaryEra

type EraRule "POOLREAP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra = POOLREAP MaryEra

type EraRule "PPUP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra = PPUP MaryEra

type EraRule "RUPD" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra = RUPD MaryEra

type EraRule "SNAP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra = SNAP MaryEra

type EraRule "TICK" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra = TICK MaryEra

type EraRule "TICKF" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra = TICKF MaryEra

type EraRule "UPEC" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra = UPEC MaryEra

type EraRule "UTXO" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra = UTXO MaryEra

type EraRule "UTXOW" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra = UTXOW MaryEra

type EraRuleEvent "LEDGER" MaryEra

Instance details

type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra

type EraRuleEvent "POOL" MaryEra

Instance details

type EraRuleEvent "POOL" MaryEra = PoolEvent MaryEra

type EraRuleEvent "TICK" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra

type EraRuleFailure "BBODY" MaryEra

Instance details

type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra

type EraRuleFailure "DELEG" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra

type EraRuleFailure "DELEGS" MaryEra

Instance details

type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra

type EraRuleFailure "DELPL" MaryEra

Instance details

type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra

type EraRuleFailure "LEDGER" MaryEra

Instance details

type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra

type EraRuleFailure "LEDGERS" MaryEra

Instance details

type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra

type EraRuleFailure "POOL" MaryEra

Instance details

type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra

type EraRuleFailure "PPUP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra

type EraRuleFailure "UTXO" MaryEra

Instance details

type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra

type EraRuleFailure "UTXOW" MaryEra

Instance details

type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra

type DowngradePParams f MaryEra

Instance details

type DowngradePParams f MaryEra = ()

type PParamsHKD f MaryEra

Instance details

type PParamsHKD f MaryEra = ShelleyPParams f MaryEra

type UpgradePParams f MaryEra

Instance details

type UpgradePParams f MaryEra = ()

type TranslationError MaryEra AllegraTxAuxData

Instance details

type TranslationError MaryEra AllegraTxAuxData = Void

type TranslationError MaryEra PParams

Instance details

type TranslationError MaryEra PParams = Void

type TranslationError MaryEra PParamsUpdate

Instance details

type TranslationError MaryEra PParamsUpdate = Void

type TranslationError MaryEra CommitteeState

Instance details

type TranslationError MaryEra CommitteeState = Void

type TranslationError MaryEra DState

Instance details

type TranslationError MaryEra DState = Void

type TranslationError MaryEra PState

Instance details

type TranslationError MaryEra PState = Void

type TranslationError MaryEra FuturePParams

Instance details

type TranslationError MaryEra FuturePParams = Void

type TranslationError MaryEra SnapShots

Instance details

type TranslationError MaryEra SnapShots = Void

type TranslationError MaryEra UTxO

Instance details

type TranslationError MaryEra UTxO = Void

type TranslationError MaryEra ShelleyGovState

Instance details

type TranslationError MaryEra ShelleyGovState = Void

type TranslationError MaryEra EpochState

Instance details

type TranslationError MaryEra EpochState = Void

type TranslationError MaryEra LedgerState

Instance details

type TranslationError MaryEra LedgerState = Void

type TranslationError MaryEra NewEpochState

Instance details

type TranslationError MaryEra NewEpochState = Void

type TranslationError MaryEra UTxOState

Instance details

type TranslationError MaryEra UTxOState = Void

type TranslationError MaryEra ProposedPPUpdates

Instance details

type TranslationError MaryEra ProposedPPUpdates = Void

type TranslationError MaryEra Update

Instance details

type TranslationError MaryEra Update = Void

type TranslationError MaryEra ShelleyAccounts

Instance details

type TranslationError MaryEra ShelleyAccounts = Void

type TranslationError MaryEra ShelleyCertState

Instance details

type TranslationError MaryEra ShelleyCertState = Void

type TranslationError MaryEra ShelleyInstantStake

Instance details

type TranslationError MaryEra ShelleyInstantStake = Void

type TranslationError MaryEra ShelleyTxOut

Instance details

type TranslationError MaryEra ShelleyTxOut = Void

type TranslationError MaryEra ShelleyTxWits

Instance details

type TranslationError MaryEra ShelleyTxWits = DecoderError

type STxLevel l MaryEra

Instance details

type STxLevel l MaryEra = STxTopLevel l MaryEra

type Forecast t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Forecast

type Forecast t MaryEra = ShelleyForecast t MaryEra

type TranslationError MaryEra (Timelock ∷ Type → Type)

Instance details

type TranslationError MaryEra (Timelock ∷ Type → Type) = Void

type TranslationError MaryEra (Tx 'TopTx)

Instance details

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type MemoHashIndex (MaryTxBodyRaw l)

Instance details

type MemoHashIndex (MaryTxBodyRaw l) = EraIndependentTxBody

type Rep (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

type RawType (TxBody l MaryEra)

Instance details

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

type Rep (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

type Rep (TxBody l MaryEra)

Instance details

AllegraEraScript AllegraEra

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

data AllegraEra Source #

Instances

Instances details

Instance details

AllegraEraTxAuxData AllegraEra

Methods

mkTimeStart ∷ SlotNo → NativeScript AllegraEra Source #

getTimeStart ∷ NativeScript AllegraEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript AllegraEra Source #

getTimeExpire ∷ NativeScript AllegraEra → Maybe SlotNo Source #

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (NativeScript AllegraEra)) Source #

AllegraEraTxBody AllegraEra

Instance details

AllegraEraTest AllegraEra

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) ValidityInterval Source #

Instance details

Defined in Test.Cardano.Ledger.Allegra.Era

AllegraEraImp AllegraEra

Instance details

Defined in Test.Cardano.Ledger.Allegra.ImpTest

EraBlockBody AllegraEra

Instance details

Associated Types

type BlockBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.BlockBody type BlockBody AllegraEra = ShelleyBlockBody AllegraEra
type ProtocolEraBlockHeader h AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.BlockBody type ProtocolEraBlockHeader h AllegraEra = TPraosEraBlockHeader h AllegraEra

Methods

mkBasicBlockBody ∷ BlockBody AllegraEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody AllegraEra) (StrictSeq (Tx 'TopTx AllegraEra)) Source #

hashBlockBody ∷ BlockBody AllegraEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody AllegraEra → Int Source #

EraScript AllegraEra

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Associated Types

type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type NativeScript AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript AllegraEra = Timelock AllegraEra

Methods

upgradeScript ∷ Script (PreviousEra AllegraEra) → Script AllegraEra Source #

scriptPrefixTag ∷ Script AllegraEra → ByteString Source #

getNativeScript ∷ Script AllegraEra → Maybe (NativeScript AllegraEra) Source #

fromNativeScript ∷ NativeScript AllegraEra → Script AllegraEra Source #

EraTx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

newtype Tx t AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx t AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx t AllegraEra }
type StAnnTx l AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type StAnnTx l AllegraEra = Tx l AllegraEra
type StAnnTxCache AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type StAnnTxCache AllegraEra = ()

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l AllegraEra) (Tx l AllegraEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l AllegraEra) (StAnnTxCache AllegraEra) Source #

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → Tx l AllegraEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (TxBody l AllegraEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (TxWits AllegraEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (StrictMaybe (TxAuxData AllegraEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l AllegraEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits AllegraEra), Typeable l) ⇒ Tx l AllegraEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → NativeScript AllegraEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → Tx l AllegraEra → Int → Coin Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Set TxIn) Source #

EraTxAuxData AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra

Methods

mkBasicTxAuxData ∷ TxAuxData AllegraEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ StAnnTxCache AllegraEra → ProtVer → TxAuxData AllegraEra → Bool Source #

EraTxBody AllegraEra

Instance details

Associated Types

newtype TxBody l AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AllegraEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxOut AllegraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxCert AllegraEra)) Source #

getTotalDepositsTxBody ∷ PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx AllegraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → TxBody l AllegraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AllegraEra → Int Source #

EraTxOut AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra

Methods

mkBasicTxOut ∷ Addr → Value AllegraEra → TxOut AllegraEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AllegraEra) → TxOut AllegraEra Source #

valueTxOutL ∷ Lens' (TxOut AllegraEra) (Value AllegraEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AllegraEra) (CompactForm (Value AllegraEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either (Value AllegraEra) (CompactForm (Value AllegraEra))) Source #

addrTxOutL ∷ Lens' (TxOut AllegraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AllegraEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AllegraEra → Sized (TxOut AllegraEra) → Coin Source #

getMinCoinTxOut ∷ PParams AllegraEra → TxOut AllegraEra → Coin Source #

EraTxWits AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxWits type TxWits AllegraEra = ShelleyTxWits AllegraEra

Methods

mkBasicTxWits ∷ TxWits AllegraEra Source #

addrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AllegraEra) (Map ScriptHash (Script AllegraEra)) Source #

EraPParams AllegraEra

Instance details

Associated Types

type PParamsHKD f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f AllegraEra = ()
type DowngradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f AllegraEra = ()

Methods

applyPPUpdates ∷ PParams AllegraEra → PParamsUpdate AllegraEra → PParams AllegraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AllegraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AllegraEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AllegraEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, HKDSemialign f, EraPParams (PreviousEra AllegraEra)) ⇒ UpgradePParams f AllegraEra → PParamsHKD f (PreviousEra AllegraEra) → PParamsHKD f AllegraEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra AllegraEra)) ⇒ DowngradePParams f AllegraEra → PParamsHKD f AllegraEra → PParamsHKD f (PreviousEra AllegraEra) Source #

hkdTxFeePerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f CoinPerByte) Source #

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AllegraEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AllegraEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams AllegraEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

eraPParams ∷ [PParam AllegraEra] Source #

EraTxCert AllegraEra

Instance details

Associated Types

type TxCert AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError AllegraEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AllegraEra) → Either (TxCertUpgradeError AllegraEra) (TxCert AllegraEra) Source #

getVKeyWitnessTxCert ∷ TxCert AllegraEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AllegraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams AllegraEra → TxCert AllegraEra Source #

getRegPoolTxCert ∷ TxCert AllegraEra → Maybe (StakePoolParams AllegraEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AllegraEra Source #

getRetirePoolTxCert ∷ TxCert AllegraEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (KeyHash 'StakePool → Bool) → f (TxCert AllegraEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (Credential 'Staking → Maybe Coin) → f (TxCert AllegraEra) → Coin Source #

EraTxLevel AllegraEra

Instance details

Associated Types

type STxLevel l AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type STxLevel l AllegraEra = STxTopLevel l AllegraEra

EraGenesis AllegraEra

Instance details

Associated Types

type Genesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Genesis AllegraEra = NoGenesis AllegraEra

EraAccounts AllegraEra

Instance details

Associated Types

type AccountState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Account type AccountState AllegraEra = ShelleyAccountState AllegraEra
type Accounts AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Account type Accounts AllegraEra = ShelleyAccounts AllegraEra

Methods

addAccountState ∷ Credential 'Staking → AccountState AllegraEra → Accounts AllegraEra → Accounts AllegraEra Source #

accountsMapL ∷ Lens' (Accounts AllegraEra) (Map (Credential 'Staking) (AccountState AllegraEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState AllegraEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts AllegraEra → (Maybe (AccountState AllegraEra), Accounts AllegraEra) Source #

EraCertState AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

Associated Types

type CertState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.CertState type CertState AllegraEra = ShelleyCertState AllegraEra

Methods

certDStateL ∷ Lens' (CertState AllegraEra) (DState AllegraEra) Source #

certPStateL ∷ Lens' (CertState AllegraEra) (PState AllegraEra) Source #

obligationCertState ∷ CertState AllegraEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams AllegraEra → CertState AllegraEra → TxBody 'TopTx AllegraEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AllegraEra ⇒ PParams AllegraEra → Accounts AllegraEra → TxBody t AllegraEra → Coin Source #

EraGov AllegraEra

Instance details

Associated Types

type GovState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra

Methods

emptyGovState ∷ GovState AllegraEra Source #

curPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AllegraEra) (FuturePParams AllegraEra) Source #

obligationGovState ∷ GovState AllegraEra → Obligations Source #

EraStake AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

Associated Types

type InstantStake AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Stake type InstantStake AllegraEra = ShelleyInstantStake AllegraEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake AllegraEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source #

deleteInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source #

resolveInstantStake ∷ InstantStake AllegraEra → Accounts AllegraEra → ActiveStake Source #

EraUTxO AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.UTxO

Associated Types

type ScriptsNeeded AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra

Methods

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → UTxO AllegraEra → TxBody t AllegraEra → Value AllegraEra Source #

getProducedValue ∷ PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx AllegraEra → Value AllegraEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO AllegraEra → Tx t AllegraEra → ScriptsProvided AllegraEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO AllegraEra → TxBody t AllegraEra → ScriptsNeeded AllegraEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded AllegraEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState AllegraEra → UTxO AllegraEra → TxBody t AllegraEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → Tx t AllegraEra → UTxO AllegraEra → Coin Source #

Era AllegraEra

Instance details

Associated Types

type EraName AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

ShelleyEraForecast AllegraEra

EraForecast AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Forecast

Associated Types

type Forecast t AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Forecast type Forecast t AllegraEra = ShelleyForecast t AllegraEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState AllegraEra → Forecast t AllegraEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) ProtVer Source #

Instance details

Defined in Cardano.Ledger.Allegra.Forecast

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AllegraEra) Nonce Source #

ApplyTx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

newtype ApplyTxError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams AllegraEra → UTxO AllegraEra → StAnnTxCache AllegraEra → Tx 'TopTx AllegraEra → StAnnTx 'TopTx AllegraEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Tx 'TopTx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra, ValidatedTx AllegraEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → ValidatedTx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra) Source #

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → StAnnTx 'TopTx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra, Validated (Tx 'TopTx AllegraEra)) Source #

ApplyTick AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

Methods

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AllegraEra → SlotNo → (NewEpochState AllegraEra, [Event (EraRule "TICK" AllegraEra)]) Source #

ShelleyEraScript AllegraEra

Instance details

ShelleyEraAccounts AllegraEra

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AllegraEra Source #

getRequireSignature ∷ NativeScript AllegraEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAllOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAnyOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireMOf ∷ NativeScript AllegraEra → Maybe (Int, StrictSeq (NativeScript AllegraEra)) Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AllegraEra Source #

accountsPtrsMapL ∷ Lens' (Accounts AllegraEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts AllegraEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState AllegraEra) Ptr Source #

EraTransition AllegraEra

Instance details

ShelleyEraTxBody AllegraEra

Associated Types

newtype TransitionConfig AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig AllegraEra = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra }

Methods

mkTransitionConfig ∷ TranslationContext AllegraEra → TransitionConfig (PreviousEra AllegraEra) → TransitionConfig AllegraEra Source #

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig AllegraEra → NewEpochState AllegraEra → m (NewEpochState AllegraEra) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AllegraEra) (TransitionConfig (PreviousEra AllegraEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AllegraEra) (TranslationContext AllegraEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AllegraEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AllegraEra) (PParams AllegraEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AllegraEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AllegraEra)

Instance details

ShelleyEraTxCert AllegraEra

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) (StrictMaybe (Update AllegraEra)) Source #

Instance details

TranslateEra AllegraEra PParams

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source #

getRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source #

getUnRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AllegraEra Source #

getDelegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AllegraEra Source #

getGenesisDelegTxCert ∷ TxCert AllegraEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AllegraEra Source #

getMirTxCert ∷ TxCert AllegraEra → Maybe MIRCert Source #

EraGen AllegraEra Source #

Instance details

Defined in Test.Cardano.Ledger.AllegraEraGen

Methods

genGenesisValue ∷ GenEnv c AllegraEra → Gen (Value AllegraEra) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo AllegraEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo AllegraEra] Source #

genEraTxBody ∷ GenEnv c AllegraEra → UTxO AllegraEra → PParams AllegraEra → SlotNo → Set TxIn → StrictSeq (TxOut AllegraEra) → StrictSeq (TxCert AllegraEra) → Withdrawals → Coin → StrictMaybe (Update AllegraEra) → StrictMaybe TxAuxDataHash → Gen (TxBody 'TopTx AllegraEra, [Script AllegraEra]) Source #

genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData AllegraEra)) Source #

updateEraTxBody ∷ UTxO AllegraEra → PParams AllegraEra → TxWits AllegraEra → TxBody 'TopTx AllegraEra → Coin → Set TxIn → TxOut AllegraEra → TxBody 'TopTx AllegraEra Source #

addInputs ∷ TxBody 'TopTx AllegraEra → Set TxIn → TxBody 'TopTx AllegraEra Source #

genEraPParamsUpdate ∷ Constants → PParams AllegraEra → Gen (PParamsUpdate AllegraEra) Source #

genEraPParams ∷ Constants → Gen (PParams AllegraEra) Source #

genEraTxWits ∷ (UTxO AllegraEra, TxBody 'TopTx AllegraEra, ScriptInfo AllegraEra) → Set (WitVKey 'Witness) → Map ScriptHash (Script AllegraEra) → TxWits AllegraEra Source #

genEraGoodTxOut ∷ TxOut AllegraEra → Bool Source #

constructTx ∷ TxBody 'TopTx AllegraEra → TxWits AllegraEra → StrictMaybe (TxAuxData AllegraEra) → Tx 'TopTx AllegraEra Source #

genEraScriptCost ∷ PParams AllegraEra → Script AllegraEra → Coin Source #

genEraDone ∷ UTxO AllegraEra → PParams AllegraEra → Tx 'TopTx AllegraEra → Gen (Tx 'TopTx AllegraEra) Source #

genEraTweakBlock ∷ PParams AllegraEra → Seq (Tx 'TopTx AllegraEra) → Gen (Seq (Tx 'TopTx AllegraEra)) Source #

hasFailedScripts ∷ Tx 'TopTx AllegraEra → Bool Source #

feeOrCollateral ∷ Tx 'TopTx AllegraEra → UTxO AllegraEra → Coin Source #

MinGenTxout AllegraEra Source #

Instance details

Defined in Test.Cardano.Ledger.AllegraEraGen

Methods

calcEraMinUTxO ∷ TxOut AllegraEra → PParams AllegraEra → Coin Source #

addValToTxOut ∷ Value AllegraEra → TxOut AllegraEra → TxOut AllegraEra Source #

genEraTxOut ∷ GenEnv c AllegraEra → Gen (Value AllegraEra) → [Addr] → Gen [TxOut AllegraEra] Source #

ScriptClass AllegraEra Source #

Instance details

Defined in Test.Cardano.Ledger.AllegraEraGen

Methods

basescript ∷ Proxy AllegraEra → KeyHash 'Witness → Script AllegraEra Source #

isKey ∷ Proxy AllegraEra → Script AllegraEra → Maybe (KeyHash 'Witness) Source #

isOnePhase ∷ Proxy AllegraEra → Script AllegraEra → Bool Source #

quantify ∷ Proxy AllegraEra → Script AllegraEra → Quantifier (Script AllegraEra) Source #

unQuantify ∷ Proxy AllegraEra → Quantifier (Script AllegraEra) → Script AllegraEra Source #

Instance details

TranslateEra AllegraEra PParamsUpdate

Associated Types

type TranslationError AllegraEra PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParams = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParams) (PParams AllegraEra) Source #

Instance details

TranslateEra AllegraEra CommitteeState

Associated Types

type TranslationError AllegraEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParamsUpdate (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParamsUpdate) (PParamsUpdate AllegraEra) Source #

Instance details

TranslateEra AllegraEra DState

Associated Types

type TranslationError AllegraEra CommitteeState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → CommitteeState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra CommitteeState) (CommitteeState AllegraEra) Source #

Instance details

TranslateEra AllegraEra PState

Associated Types

type TranslationError AllegraEra DState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra DState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → DState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra DState) (DState AllegraEra) Source #

Instance details

TranslateEra AllegraEra FuturePParams

Associated Types

type TranslationError AllegraEra PState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PState) (PState AllegraEra) Source #

Instance details

TranslateEra AllegraEra SnapShots

Associated Types

type TranslationError AllegraEra FuturePParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext AllegraEra → FuturePParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra FuturePParams) (FuturePParams AllegraEra) Source #

Instance details

Associated Types

type TranslationError AllegraEra SnapShots
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra SnapShots = Void

Methods

translateEra ∷ TranslationContext AllegraEra → SnapShots (PreviousEra AllegraEra) → Except (TranslationError AllegraEra SnapShots) (SnapShots AllegraEra) Source #

TranslateEra AllegraEra UTxO

Instance details

TranslateEra AllegraEra ShelleyGovState

Associated Types

type TranslationError AllegraEra UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxO = Void

Methods

translateEra ∷ TranslationContext AllegraEra → UTxO (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxO) (UTxO AllegraEra) Source #

Instance details

TranslateEra AllegraEra EpochState

Associated Types

type TranslationError AllegraEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyGovState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyGovState) (ShelleyGovState AllegraEra) Source #

Instance details

TranslateEra AllegraEra LedgerState

Associated Types

type TranslationError AllegraEra EpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra EpochState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → EpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra EpochState) (EpochState AllegraEra) Source #

Instance details

TranslateEra AllegraEra NewEpochState

Associated Types

type TranslationError AllegraEra LedgerState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra LedgerState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → LedgerState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra LedgerState) (LedgerState AllegraEra) Source #

Instance details

TranslateEra AllegraEra UTxOState

Associated Types

type TranslationError AllegraEra NewEpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → NewEpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra NewEpochState) (NewEpochState AllegraEra) Source #

Instance details

TranslateEra AllegraEra ProposedPPUpdates

Associated Types

type TranslationError AllegraEra UTxOState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxOState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → UTxOState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxOState) (UTxOState AllegraEra) Source #

Instance details

TranslateEra AllegraEra Update

Associated Types

type TranslationError AllegraEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ProposedPPUpdates (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ProposedPPUpdates) (ProposedPPUpdates AllegraEra) Source #

Instance details

TranslateEra AllegraEra ShelleyAccounts

Associated Types

type TranslationError AllegraEra Update
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Update = Void

Methods

translateEra ∷ TranslationContext AllegraEra → Update (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Update) (Update AllegraEra) Source #

Instance details

TranslateEra AllegraEra ShelleyCertState

Associated Types

type TranslationError AllegraEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyAccounts (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyAccounts) (ShelleyAccounts AllegraEra) Source #

Instance details

TranslateEra AllegraEra ShelleyInstantStake

Associated Types

type TranslationError AllegraEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyCertState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyCertState) (ShelleyCertState AllegraEra) Source #

Instance details

TranslateEra AllegraEra ShelleyTxOut

Associated Types

type TranslationError AllegraEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyInstantStake (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyInstantStake) (ShelleyInstantStake AllegraEra) Source #

Instance details

TranslateEra AllegraEra ShelleyTxWits

Associated Types

type TranslationError AllegraEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxOut (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxOut) (ShelleyTxOut AllegraEra) Source #

Instance details

HasEraTxLevel TxBody AllegraEra

Associated Types

type TranslationError AllegraEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxWits = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxWits (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxWits) (ShelleyTxWits AllegraEra) Source #

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

(EraBlockHeader h AllegraEra, TPraosEraBlockHeader h AllegraEra) ⇒ ApplyBlock h AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

Methods

wrapBlockSignal ∷ Block h AllegraEra → Signal (EraRule "BBODY" AllegraEra) Source #

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AllegraEra → Block h AllegraEra → (NewEpochState AllegraEra, [PredicateFailure (EraRule "BBODY" AllegraEra)], [Event (EraRule "BBODY" AllegraEra)]) Source #

InjectRuleEvent "POOL" PoolEvent AllegraEra

Instance details

Methods

injectEvent ∷ PoolEvent AllegraEra → EraRuleEvent "POOL" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyBbodyPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered AllegraEra → EraRuleFailure "DELEG" AllegraEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELEG" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered AllegraEra

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "POOL" AllegraEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "PPUP" AllegraEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AllegraEra

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

Arbitrary (ApplyTxError AllegraEra)

Instance details

Methods

arbitrary ∷ Gen (ApplyTxError AllegraEra) Source #

shrink ∷ ApplyTxError AllegraEra → [ApplyTxError AllegraEra] Source #

Arbitrary (TransitionConfig AllegraEra)

Instance details

Methods

arbitrary ∷ Gen (TransitionConfig AllegraEra) Source #

shrink ∷ TransitionConfig AllegraEra → [TransitionConfig AllegraEra] Source #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h AllegraEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Block h AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h AllegraEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

DecCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

decCBOR ∷ Decoder s (ApplyTxError AllegraEra) Source #

dropCBOR ∷ Proxy (ApplyTxError AllegraEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError AllegraEra) → Text Source #

EncCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

encCBOR ∷ ApplyTxError AllegraEra → Encoding Source #

Semigroup (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(<>) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

sconcat ∷ NonEmpty (ApplyTxError AllegraEra) → ApplyTxError AllegraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

Generic (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type Rep (ApplyTxError AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

from ∷ ApplyTxError AllegraEra → Rep (ApplyTxError AllegraEra) x #

to ∷ Rep (ApplyTxError AllegraEra) x → ApplyTxError AllegraEra #

Show (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

showsPrec ∷ Int → ApplyTxError AllegraEra → ShowS #

show ∷ ApplyTxError AllegraEra → String #

showList ∷ [ApplyTxError AllegraEra] → ShowS #

Show (TransitionConfig AllegraEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

showList ∷ [TransitionConfig AllegraEra] → ShowS #

Eq (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(==) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

(/=) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

Eq (TransitionConfig AllegraEra)

Instance details

Methods

(==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

(/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

NoThunks (TransitionConfig AllegraEra)

Instance details

Methods

noThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #

HasEraTxLevel (AllegraTxBodyRaw m) AllegraEra

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw m l AllegraEra → STxLevel l AllegraEra Source #

Arbitrary (Tx 'TopTx AllegraEra)

Instance details

Methods

arbitrary ∷ Gen (Tx 'TopTx AllegraEra) Source #

shrink ∷ Tx 'TopTx AllegraEra → [Tx 'TopTx AllegraEra] Source #

Arbitrary (TxBody 'TopTx AllegraEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx AllegraEra) Source #

shrink ∷ TxBody 'TopTx AllegraEra → [TxBody 'TopTx AllegraEra] Source #

FromJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AllegraEra) Source #

FromJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AllegraEra) Source #

ToJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toJSON ∷ Tx 'TopTx AllegraEra → Value Source #

toEncoding ∷ Tx 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AllegraEra] → Encoding Source #

omitField ∷ Tx 'TopTx AllegraEra → Bool Source #

ToJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx AllegraEra → Value Source #

toEncoding ∷ TxBody 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AllegraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AllegraEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h AllegraEra)

Instance details

Methods

toCBOR ∷ Block h AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h AllegraEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t AllegraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra)

Instance details

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AllegraEra] → Size Source #

EncCBOR h ⇒ EncCBOR (Block h AllegraEra)

Instance details

Methods

encCBOR ∷ Block h AllegraEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (TxBody l AllegraEra)

Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx AllegraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AllegraEra → [kv] Source #

SafeToHash (TxBody l AllegraEra)

Instance details

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (TxBody l AllegraEra)

Instance details

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

Memoized (TxBody l AllegraEra)

Instance details

Associated Types

type RawType (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (TxBody l AllegraEra)

Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (TxBody l AllegraEra)

Instance details

Associated Types

type Rep (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (TxBody l AllegraEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (TxBody l AllegraEra)

Instance details

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AllegraEra)

Instance details

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

type BlockBody AllegraEra

Instance details

type BlockBody AllegraEra = ShelleyBlockBody AllegraEra

type NativeScript AllegraEra

Instance details

type NativeScript AllegraEra = Timelock AllegraEra

type Script AllegraEra

Instance details

type Script AllegraEra = Timelock AllegraEra

type StAnnTxCache AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type StAnnTxCache AllegraEra = ()

type TxAuxData AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra

type TxOut AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra

type TxWits AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra

type Value AllegraEra

Instance details

type Value AllegraEra = Coin

type TranslationContext AllegraEra

No context is needed to translate from Shelley to Allegra.

Instance details

type TranslationContext AllegraEra = NoGenesis AllegraEra

type TxCert AllegraEra

Instance details

type TxCert AllegraEra = ShelleyTxCert AllegraEra

type TxCertUpgradeError AllegraEra

Instance details

type TxCertUpgradeError AllegraEra = Void

type Genesis AllegraEra

Instance details

type Genesis AllegraEra = NoGenesis AllegraEra

type AccountState AllegraEra

Instance details

type AccountState AllegraEra = ShelleyAccountState AllegraEra

type Accounts AllegraEra

Instance details

type Accounts AllegraEra = ShelleyAccounts AllegraEra

type CertState AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

type CertState AllegraEra = ShelleyCertState AllegraEra

type GovState AllegraEra

Instance details

type GovState AllegraEra = ShelleyGovState AllegraEra

type InstantStake AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type InstantStake AllegraEra = ShelleyInstantStake AllegraEra

type ScriptsNeeded AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra

type EraName AllegraEra

Instance details

type EraName AllegraEra = "Allegra"

type PreviousEra AllegraEra

Instance details

type PreviousEra AllegraEra = ShelleyEra

type ProtVerHigh AllegraEra

Instance details

type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

type ProtVerLow AllegraEra

Instance details

type ProtVerLow AllegraEra = 3

type EraRulesWithFailures AllegraEra

Instance details

Defined in Test.Cardano.Ledger.Allegra.Era

type EraRulesWithFailures AllegraEra = '["BBODY", "DELEG", "DELEGS", "DELPL", "LEDGER", "LEDGERS", "POOL", "PPUP", "UTXO", "UTXOW"]

newtype ApplyTxError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

newtype TransitionConfig AllegraEra

Instance details

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {

atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra

}

type ProtocolEraBlockHeader h AllegraEra

Instance details

type ProtocolEraBlockHeader h AllegraEra = TPraosEraBlockHeader h AllegraEra

type StAnnTx l AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type StAnnTx l AllegraEra = Tx l AllegraEra

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype TxBody l AllegraEra

Instance details

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

type EraRule "BBODY" AllegraEra

Instance details

type EraRule "BBODY" AllegraEra = BBODY AllegraEra

type EraRule "DELEG" AllegraEra

Instance details

type EraRule "DELEG" AllegraEra = DELEG AllegraEra

type EraRule "DELEGS" AllegraEra

Instance details

type EraRule "DELEGS" AllegraEra = DELEGS AllegraEra

type EraRule "DELPL" AllegraEra

Instance details

type EraRule "DELPL" AllegraEra = DELPL AllegraEra

type EraRule "EPOCH" AllegraEra

Instance details

type EraRule "EPOCH" AllegraEra = EPOCH AllegraEra

type EraRule "LEDGER" AllegraEra

Instance details

type EraRule "LEDGER" AllegraEra = LEDGER AllegraEra

type EraRule "LEDGERS" AllegraEra

Instance details

type EraRule "LEDGERS" AllegraEra = LEDGERS AllegraEra

type EraRule "MIR" AllegraEra

Instance details

type EraRule "MIR" AllegraEra = MIR AllegraEra

type EraRule "NEWEPOCH" AllegraEra

Instance details

type EraRule "NEWEPOCH" AllegraEra = NEWEPOCH AllegraEra

type EraRule "NEWPP" AllegraEra

Instance details

type EraRule "NEWPP" AllegraEra = NEWPP AllegraEra

type EraRule "POOL" AllegraEra

Instance details

type EraRule "POOL" AllegraEra = POOL AllegraEra

type EraRule "POOLREAP" AllegraEra

Instance details

type EraRule "POOLREAP" AllegraEra = POOLREAP AllegraEra

type EraRule "PPUP" AllegraEra

Instance details

type EraRule "PPUP" AllegraEra = PPUP AllegraEra

type EraRule "RUPD" AllegraEra

Instance details

type EraRule "RUPD" AllegraEra = RUPD AllegraEra

type EraRule "SNAP" AllegraEra

Instance details

type EraRule "SNAP" AllegraEra = SNAP AllegraEra

type EraRule "TICK" AllegraEra

Instance details

type EraRule "TICK" AllegraEra = TICK AllegraEra

type EraRule "TICKF" AllegraEra

Instance details

type EraRule "TICKF" AllegraEra = TICKF AllegraEra

type EraRule "UPEC" AllegraEra

Instance details

type EraRule "UPEC" AllegraEra = UPEC AllegraEra

type EraRule "UTXO" AllegraEra

Instance details

type EraRule "UTXO" AllegraEra = UTXO AllegraEra

type EraRule "UTXOW" AllegraEra

Instance details

type EraRule "UTXOW" AllegraEra = UTXOW AllegraEra

type EraRuleEvent "LEDGER" AllegraEra

Instance details

type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra

type EraRuleEvent "POOL" AllegraEra

Instance details

type EraRuleEvent "POOL" AllegraEra = PoolEvent AllegraEra

type EraRuleEvent "TICK" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra

type EraRuleFailure "BBODY" AllegraEra

Instance details

type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra

type EraRuleFailure "DELEG" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra

type EraRuleFailure "DELEGS" AllegraEra

Instance details

type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra

type EraRuleFailure "DELPL" AllegraEra

Instance details

type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra

type EraRuleFailure "LEDGER" AllegraEra

Instance details

type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra

type EraRuleFailure "LEDGERS" AllegraEra

Instance details

type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra

type EraRuleFailure "POOL" AllegraEra

Instance details

type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra

type EraRuleFailure "PPUP" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra

type EraRuleFailure "UTXO" AllegraEra

Instance details

type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra

type EraRuleFailure "UTXOW" AllegraEra

Instance details

type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra

type DowngradePParams f AllegraEra

Instance details

type DowngradePParams f AllegraEra = ()

type PParamsHKD f AllegraEra

Instance details

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra

type UpgradePParams f AllegraEra

Instance details

type UpgradePParams f AllegraEra = ()

type TranslationError AllegraEra PParams

Instance details

type TranslationError AllegraEra PParams = Void

type TranslationError AllegraEra PParamsUpdate

Instance details

type TranslationError AllegraEra PParamsUpdate = Void

type TranslationError AllegraEra CommitteeState

Instance details

type TranslationError AllegraEra CommitteeState = Void

type TranslationError AllegraEra DState

Instance details

type TranslationError AllegraEra DState = Void

type TranslationError AllegraEra PState

Instance details

type TranslationError AllegraEra PState = Void

type TranslationError AllegraEra FuturePParams

Instance details

type TranslationError AllegraEra FuturePParams = Void

type TranslationError AllegraEra SnapShots

Instance details

type TranslationError AllegraEra SnapShots = Void

type TranslationError AllegraEra UTxO

Instance details

type TranslationError AllegraEra UTxO = Void

type TranslationError AllegraEra ShelleyGovState

Instance details

type TranslationError AllegraEra ShelleyGovState = Void

type TranslationError AllegraEra EpochState

Instance details

type TranslationError AllegraEra EpochState = Void

type TranslationError AllegraEra LedgerState

Instance details

type TranslationError AllegraEra LedgerState = Void

type TranslationError AllegraEra NewEpochState

Instance details

type TranslationError AllegraEra NewEpochState = Void

type TranslationError AllegraEra UTxOState

Instance details

type TranslationError AllegraEra UTxOState = Void

type TranslationError AllegraEra ProposedPPUpdates

Instance details

type TranslationError AllegraEra ProposedPPUpdates = Void

type TranslationError AllegraEra Update

Instance details

type TranslationError AllegraEra Update = Void

type TranslationError AllegraEra ShelleyAccounts

Instance details

type TranslationError AllegraEra ShelleyAccounts = Void

type TranslationError AllegraEra ShelleyCertState

Instance details

type TranslationError AllegraEra ShelleyCertState = Void

type TranslationError AllegraEra ShelleyInstantStake

Instance details

type TranslationError AllegraEra ShelleyInstantStake = Void

type TranslationError AllegraEra ShelleyTxOut

Instance details

type TranslationError AllegraEra ShelleyTxOut = Void

type TranslationError AllegraEra ShelleyTxWits

Instance details

type TranslationError AllegraEra ShelleyTxWits = DecoderError

type STxLevel l AllegraEra

Instance details

type STxLevel l AllegraEra = STxTopLevel l AllegraEra

type Forecast t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Forecast

type Forecast t AllegraEra = ShelleyForecast t AllegraEra

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type Rep (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

type RawType (TxBody l AllegraEra)

Instance details

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

type Rep (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

type Rep (TxBody l AllegraEra)

Instance details

HasEraTxLevel TxBody AllegraEra

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

type family Value era Source #

A value is something which quantifies a transaction output.

Instances

Instances details

type Value AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Value AllegraEra = Coin
type Value AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value AlonzoEra = MaryValue
type Value BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Value BabbageEra = MaryValue
type Value ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type Value ConwayEra = MaryValue
type Value DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Era type Value DijkstraEra = MaryValue
type Value MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Value MaryEra = MaryValue
type Value ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin

type family Script era = (r ∷ Type) | r → era Source #

Scripts which may lock transaction outputs in this era

Instances

Instances details

type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Script BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type Script ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type Script DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type Script DijkstraEra = AlonzoScript DijkstraEra
type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details

Instance details

HasEraTxLevel TxBody AlonzoEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

Instance details

HasEraTxLevel TxBody BabbageEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → STxLevel l AlonzoEra Source #

Instance details

HasEraTxLevel TxBody ConwayEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEra → STxLevel l BabbageEra Source #

Instance details

HasEraTxLevel TxBody DijkstraEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ConwayEra → STxLevel l ConwayEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → STxLevel l DijkstraEra Source #

HasEraTxLevel TxBody MaryEra

Instance details

HasEraTxLevel TxBody ShelleyEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → STxLevel l MaryEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

EraTxBody era ⇒ HasOKey TxId (TxBody l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l BabbageEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l BabbageEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l BabbageEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l BabbageEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ConwayEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ConwayEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ConwayEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ConwayEra)) → Text Source #

(Typeable l, Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ DecCBOR (Annotator (TxBody l DijkstraEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l DijkstraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l DijkstraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l DijkstraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Arbitrary (TxBody 'TopTx AllegraEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx AllegraEra) Source #

shrink ∷ TxBody 'TopTx AllegraEra → [TxBody 'TopTx AllegraEra] Source #

Arbitrary (TxBody 'TopTx MaryEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx MaryEra) Source #

shrink ∷ TxBody 'TopTx MaryEra → [TxBody 'TopTx MaryEra] Source #

Arbitrary (TxBody 'TopTx ShelleyEra)

Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx ShelleyEra) Source #

shrink ∷ TxBody 'TopTx ShelleyEra → [TxBody 'TopTx ShelleyEra] Source #

(FromJSON (TxOut DijkstraEra), Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'SubTx DijkstraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'SubTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'SubTx DijkstraEra] Source #

omittedField ∷ Maybe (TxBody 'SubTx DijkstraEra) Source #

FromJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AllegraEra) Source #

FromJSON (TxBody 'TopTx AlonzoEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AlonzoEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AlonzoEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AlonzoEra) Source #

FromJSON (TxOut BabbageEra) ⇒ FromJSON (TxBody 'TopTx BabbageEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx BabbageEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx BabbageEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx BabbageEra) Source #

FromJSON (TxOut ConwayEra) ⇒ FromJSON (TxBody 'TopTx ConwayEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ConwayEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ConwayEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ConwayEra) Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'TopTx DijkstraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx DijkstraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx DijkstraEra) Source #

FromJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx MaryEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx MaryEra) Source #

FromJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (TxOut DijkstraEra) ⇒ ToJSON (TxBody 'SubTx DijkstraEra)

Instance details

Methods

toJSON ∷ TxBody 'SubTx DijkstraEra → Value Source #

toEncoding ∷ TxBody 'SubTx DijkstraEra → Encoding Source #

toJSONList ∷ [TxBody 'SubTx DijkstraEra] → Value Source #

toEncodingList ∷ [TxBody 'SubTx DijkstraEra] → Encoding Source #

omitField ∷ TxBody 'SubTx DijkstraEra → Bool Source #

ToJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx AllegraEra → Value Source #

toEncoding ∷ TxBody 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AllegraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AllegraEra → Bool Source #

ToJSON (TxBody 'TopTx AlonzoEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx AlonzoEra → Value Source #

toEncoding ∷ TxBody 'TopTx AlonzoEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AlonzoEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AlonzoEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AlonzoEra → Bool Source #

ToJSON (TxOut BabbageEra) ⇒ ToJSON (TxBody 'TopTx BabbageEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx BabbageEra → Value Source #

toEncoding ∷ TxBody 'TopTx BabbageEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx BabbageEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx BabbageEra] → Encoding Source #

omitField ∷ TxBody 'TopTx BabbageEra → Bool Source #

ToJSON (TxOut ConwayEra) ⇒ ToJSON (TxBody 'TopTx ConwayEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx ConwayEra → Value Source #

toEncoding ∷ TxBody 'TopTx ConwayEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ConwayEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ConwayEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ConwayEra → Bool Source #

(ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToJSON (TxBody 'TopTx DijkstraEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx DijkstraEra → Value Source #

toEncoding ∷ TxBody 'TopTx DijkstraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx DijkstraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx DijkstraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx DijkstraEra → Bool Source #

ToJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx MaryEra → Value Source #

toEncoding ∷ TxBody 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx MaryEra] → Encoding Source #

omitField ∷ TxBody 'TopTx MaryEra → Bool Source #

ToJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra)

Instance details

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AllegraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra)

Instance details

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l BabbageEra)

Instance details

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l BabbageEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l BabbageEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ConwayEra)

Instance details

Methods

toCBOR ∷ TxBody l ConwayEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ConwayEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ConwayEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l DijkstraEra)

Instance details

Methods

toCBOR ∷ TxBody l DijkstraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l DijkstraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra)

Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra)

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

EncCBOR (TxBody l AllegraEra)

Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l BabbageEra)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

EncCBOR (TxBody l ConwayEra)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l ConwayEra → Encoding Source #

EncCBOR (TxBody l DijkstraEra)

Instance details

Methods

encCBOR ∷ TxBody l DijkstraEra → Encoding Source #

EncCBOR (TxBody l MaryEra)

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra)

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

ToJSON (TxOut DijkstraEra) ⇒ ToKeyValuePairs (TxBody 'SubTx DijkstraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'SubTx DijkstraEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx AllegraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AllegraEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx AlonzoEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AlonzoEra → [kv] Source #

ToJSON (TxOut BabbageEra) ⇒ ToKeyValuePairs (TxBody 'TopTx BabbageEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx BabbageEra → [kv] Source #

ToJSON (TxOut ConwayEra) ⇒ ToKeyValuePairs (TxBody 'TopTx ConwayEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ConwayEra → [kv] Source #

(ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToKeyValuePairs (TxBody 'TopTx DijkstraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx DijkstraEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx MaryEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx MaryEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source #

SafeToHash (TxBody l AllegraEra)

Instance details

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

SafeToHash (TxBody l AlonzoEra)

Instance details

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

SafeToHash (TxBody l BabbageEra)

Instance details

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l BabbageEra → SafeHash i Source #

SafeToHash (TxBody l ConwayEra)

Instance details

Methods

originalBytes ∷ TxBody l ConwayEra → ByteString Source #

originalBytesSize ∷ TxBody l ConwayEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ConwayEra → SafeHash i Source #

SafeToHash (TxBody l DijkstraEra)

Instance details

Methods

originalBytes ∷ TxBody l DijkstraEra → ByteString Source #

originalBytesSize ∷ TxBody l DijkstraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l DijkstraEra → SafeHash i Source #

SafeToHash (TxBody l MaryEra)

Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

SafeToHash (TxBody l ShelleyEra)

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra)

Instance details

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

EqRaw (TxBody l AlonzoEra)

Instance details

Methods

eqRaw ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool Source #

EqRaw (TxBody l BabbageEra)

Instance details

Methods

eqRaw ∷ TxBody l BabbageEra → TxBody l BabbageEra → Bool Source #

EqRaw (TxBody l ConwayEra)

Instance details

Methods

eqRaw ∷ TxBody l ConwayEra → TxBody l ConwayEra → Bool Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ EqRaw (TxBody l DijkstraEra)

Instance details

Methods

eqRaw ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool Source #

EqRaw (TxBody l MaryEra)

Instance details

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

EqRaw (TxBody l ShelleyEra)

Instance details

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l AllegraEra)

Instance details

Associated Types

type RawType (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

Memoized (TxBody l AlonzoEra)

Instance details

Associated Types

type RawType (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

Memoized (TxBody l BabbageEra)

Instance details

Associated Types

type RawType (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

getMemoBytes ∷ TxBody l BabbageEra → MemoBytes (RawType (TxBody l BabbageEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l BabbageEra)) → TxBody l BabbageEra

Memoized (TxBody l ConwayEra)

Instance details

Associated Types

type RawType (TxBody l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEra

Methods

getMemoBytes ∷ TxBody l ConwayEra → MemoBytes (RawType (TxBody l ConwayEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ConwayEra)) → TxBody l ConwayEra

Memoized (TxBody l DijkstraEra)

Instance details

Associated Types

type RawType (TxBody l DijkstraEra)
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEra

Methods

getMemoBytes ∷ TxBody l DijkstraEra → MemoBytes (RawType (TxBody l DijkstraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l DijkstraEra)) → TxBody l DijkstraEra

Memoized (TxBody l MaryEra)

Instance details

Associated Types

type RawType (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

Memoized (TxBody l ShelleyEra)

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l AllegraEra)

Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l AlonzoEra)

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l BabbageEra)

Instance details

Methods

rnf ∷ TxBody l BabbageEra → () #

NFData (TxBody l ConwayEra)

Instance details

Methods

rnf ∷ TxBody l ConwayEra → () #

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ NFData (TxBody l DijkstraEra)

Instance details

Methods

rnf ∷ TxBody l DijkstraEra → () #

NFData (TxBody l MaryEra)

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra)

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra)

Instance details

Associated Types

type Rep (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Generic (TxBody l AlonzoEra)

Instance details

Associated Types

type Rep (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

from ∷ TxBody l AlonzoEra → Rep (TxBody l AlonzoEra) x #

to ∷ Rep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Generic (TxBody l BabbageEra)

Instance details

Associated Types

type Rep (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

from ∷ TxBody l BabbageEra → Rep (TxBody l BabbageEra) x #

to ∷ Rep (TxBody l BabbageEra) x → TxBody l BabbageEra #

Generic (TxBody l ConwayEra)

Instance details

Associated Types

type Rep (TxBody l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))

Methods

from ∷ TxBody l ConwayEra → Rep (TxBody l ConwayEra) x #

to ∷ Rep (TxBody l ConwayEra) x → TxBody l ConwayEra #

Generic (TxBody l DijkstraEra)

Instance details

Associated Types

type Rep (TxBody l DijkstraEra)

Instance details

type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

Methods

from ∷ TxBody l DijkstraEra → Rep (TxBody l DijkstraEra) x #

to ∷ Rep (TxBody l DijkstraEra) x → TxBody l DijkstraEra #

Generic (TxBody l MaryEra)

Instance details

Associated Types

type Rep (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Generic (TxBody l ShelleyEra)

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l AllegraEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l BabbageEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Show (TxBody l ConwayEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ConwayEra → ShowS #

show ∷ TxBody l ConwayEra → String #

showList ∷ [TxBody l ConwayEra] → ShowS #

(Show (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ Show (TxBody l DijkstraEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l DijkstraEra → ShowS #

show ∷ TxBody l DijkstraEra → String #

showList ∷ [TxBody l DijkstraEra] → ShowS #

Show (TxBody l MaryEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra)

Instance details

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Eq (TxBody l AlonzoEra)

Instance details

Methods

(==) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

(/=) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

Eq (TxBody l BabbageEra)

Instance details

Methods

(==) ∷ TxBody l BabbageEra → TxBody l BabbageEra → Bool #

(/=) ∷ TxBody l BabbageEra → TxBody l BabbageEra → Bool #

Eq (TxBody l ConwayEra)

Instance details

Methods

(==) ∷ TxBody l ConwayEra → TxBody l ConwayEra → Bool #

(/=) ∷ TxBody l ConwayEra → TxBody l ConwayEra → Bool #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ Eq (TxBody l DijkstraEra)

Instance details

Methods

(==) ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool #

(/=) ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool #

Eq (TxBody l MaryEra)

Instance details

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Eq (TxBody l ShelleyEra)

Instance details

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AllegraEra)

Instance details

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra)

Instance details

Methods

noThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l BabbageEra)

Instance details

Methods

noThunks ∷ Context → TxBody l BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l BabbageEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ConwayEra)

Instance details

Methods

noThunks ∷ Context → TxBody l ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ConwayEra) → String Source #

(Typeable l, Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ NoThunks (TxBody l DijkstraEra)

Instance details

Methods

noThunks ∷ Context → TxBody l DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l DijkstraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l MaryEra)

Instance details

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra)

Instance details

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

ToExpr (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toExpr ∷ TxBody 'TopTx ShelleyEra → Expr Source #

listToExpr ∷ [TxBody 'TopTx ShelleyEra] → Expr Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ConwayEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l DijkstraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra

Instance details

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

newtype TxBody l AlonzoEra

Instance details

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

newtype TxBody l BabbageEra

Instance details

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

newtype TxBody l ConwayEra

Instance details

newtype TxBody l ConwayEra = MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))

newtype TxBody l DijkstraEra

Instance details

newtype TxBody l DijkstraEra = MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))

newtype TxBody l MaryEra

Instance details

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

newtype TxBody l ShelleyEra

Instance details

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type RawType (TxBody l AllegraEra)

Instance details

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

type RawType (TxBody l AlonzoEra)

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type RawType (TxBody l BabbageEra)

Instance details

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

type RawType (TxBody l ConwayEra)

Instance details

type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEra

type RawType (TxBody l DijkstraEra)

Instance details

type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEra

type RawType (TxBody l MaryEra)

Instance details

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

type RawType (TxBody l ShelleyEra)

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l AllegraEra)

Instance details

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

type Rep (TxBody l AlonzoEra)

Instance details

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

type Rep (TxBody l BabbageEra)

Instance details

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

type Rep (TxBody l ConwayEra)

Instance details

type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))

type Rep (TxBody l DijkstraEra)

Instance details

type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

type Rep (TxBody l MaryEra)

Instance details

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

type Rep (TxBody l ShelleyEra)

Instance details

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

type family TxAuxData era = (r ∷ Type) | r → era Source #

Instances

Instances details

type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
type TxAuxData DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEra
type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era Source #

Instances

Instances details

Era AllegraEra

Instance details

Associated Types

type EraName AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

Era AlonzoEra

Instance details

Associated Types

type EraName AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

Era BabbageEra

Instance details

Associated Types

type EraName BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

Methods

Era ByronEra

Instance details

Associated Types

type EraName ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ByronEra = "Byron"
type PreviousEra ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ByronEra = VoidEra
type ProtVerLow ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ByronEra = 0
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1

Methods

Era ConwayEra

Instance details

Associated Types

type EraName ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

Methods

Era DijkstraEra

Instance details

Associated Types

type EraName DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

Methods

Era MaryEra

Instance details

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

Era ShelleyEra

Instance details

Associated Types

type EraName ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods