Documentation

AlonzoEraTxAuxData AlonzoEra

Associated Types

newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source #

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript AlonzoEra) Source #

withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source #

toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f AlonzoEra Source #

toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 AccountAddress) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #

AlonzoEraTx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxBody AlonzoEra

Instance details

AlonzoEraTxWits AlonzoEra

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" AlonzoEra ⇒ Lens' (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #

AlonzoEraTxOut AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

AlonzoEraUTxO AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → TxBody l AlonzoEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → Tx l AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #

scriptsProvidedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l AlonzoEra → ScriptsProvided AlonzoEra Source #

EraBlockBody AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type BlockBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

Methods

mkBasicBlockBody ∷ BlockBody AlonzoEra Source #

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

hashBlockBody ∷ BlockBody AlonzoEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

blockBodySize ∷ ProtVer → BlockBody AlonzoEra → Int Source #

EraScript AlonzoEra

Instance details

Associated Types

type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type NativeScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra

Methods

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

scriptPrefixTag ∷ Script AlonzoEra → ByteString Source #

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

fromNativeScript ∷ NativeScript AlonzoEra → Script AlonzoEra Source #

EraTx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

newtype Tx l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx l AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx l AlonzoEra }
type StAnnTx l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type StAnnTx l AlonzoEra = AlonzoStAnnTx l AlonzoEra

Methods

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

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

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

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

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

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

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

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

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

EraTxAuxData AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

Methods

mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source #

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

validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #

EraTxBody AlonzoEra

Instance details

Associated Types

newtype TxBody l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

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

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

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

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

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

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

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

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

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

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody l AlonzoEra → Coin Source #

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

EraTxOut AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #

EraTxWits AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

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

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

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

EraPParams AlonzoEra

Instance details

Associated Types

type PParamsHKD f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type DowngradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

Methods

applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AlonzoEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam AlonzoEra] Source #

EraTxCert AlonzoEra

Instance details

Associated Types

type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void

Methods

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

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

getScriptWitnessTxCert ∷ TxCert AlonzoEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe StakePoolParams Source #

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

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

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

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

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

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

EraTxLevel AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type STxLevel l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

EraGenesis AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis

EraAccounts AlonzoEra

Instance details

Associated Types

type AccountState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

Methods

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

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

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

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

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

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

EraCertState AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

Associated Types

type CertState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState type CertState AlonzoEra = ShelleyCertState AlonzoEra

Methods

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

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

obligationCertState ∷ CertState AlonzoEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AlonzoEra ⇒ PParams AlonzoEra → CertState AlonzoEra → TxBody t AlonzoEra → Coin Source #

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

EraGov AlonzoEra

Instance details

Associated Types

type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra

Methods

emptyGovState ∷ GovState AlonzoEra Source #

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

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

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

obligationGovState ∷ GovState AlonzoEra → Obligations Source #

EraStake AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

Associated Types

type InstantStake AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Stake type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

Methods

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

addInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

deleteInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

resolveInstantStake ∷ InstantStake AlonzoEra → Accounts AlonzoEra → ActiveStake Source #

EraUTxO AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Associated Types

type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → CertState AlonzoEra → UTxO AlonzoEra → TxBody t AlonzoEra → Value AlonzoEra Source #

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

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody t AlonzoEra → Value AlonzoEra Source #

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded AlonzoEra → Set ScriptHash Source #

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

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

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

eraName ∷ String Source #

MaryEraTxBody AlonzoEra

Instance details

ShelleyEraForecast AlonzoEra

Methods

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

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

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

EraForecast AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

Associated Types

type Forecast t AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Forecast type Forecast t AlonzoEra = ShelleyForecast t AlonzoEra

Methods

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

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

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

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

Methods

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

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

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

ApplyTx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

newtype ApplyTxError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

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

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

ApplyTick AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

ShelleyEraScript AlonzoEra

Instance details

ShelleyEraAccounts AlonzoEra

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AlonzoEra Source #

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

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

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

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

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

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

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

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AlonzoEra Source #

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

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

ptrAccountStateG ∷ SimpleGetter (AccountState AlonzoEra) Ptr Source #

EraTransition AlonzoEra

Instance details

ShelleyEraTxBody AlonzoEra

Associated Types

data TransitionConfig AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }

Methods

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

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

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig AlonzoEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AlonzoEra)

Instance details

ShelleyEraTxCert AlonzoEra

Methods

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

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

Instance details

TranslateEra AlonzoEra PParams

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

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

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

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

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AlonzoEra Source #

getGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AlonzoEra Source #

getMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → PlutusTxInfoResult 'PlutusV1 AlonzoEra Source #

toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Maybe (Data AlonzoEra) → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO AlonzoEra → TxIn → Either (ContextError AlonzoEra) (PlutusTxInInfo AlonzoEra 'PlutusV1) Source #

Instance details

TranslateEra AlonzoEra CommitteeState

Associated Types

type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void

Methods

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

Instance details

TranslateEra AlonzoEra DState

Associated Types

type TranslationError AlonzoEra CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void

Methods

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

Instance details

TranslateEra AlonzoEra PState

Associated Types

type TranslationError AlonzoEra DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void

Methods

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

Instance details

TranslateEra AlonzoEra FuturePParams

Associated Types

type TranslationError AlonzoEra PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void

Methods

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

Instance details

Associated Types

type TranslationError AlonzoEra FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void

Methods

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

TranslateEra AlonzoEra UTxO

Instance details

TranslateEra AlonzoEra ShelleyGovState

Associated Types

type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void

Methods

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

Instance details

TranslateEra AlonzoEra EpochState

Associated Types

type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void

Methods

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

Instance details

TranslateEra AlonzoEra LedgerState

Associated Types

type TranslationError AlonzoEra EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void

Methods

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

Instance details

TranslateEra AlonzoEra NewEpochState

Associated Types

type TranslationError AlonzoEra LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void

Methods

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

Instance details

TranslateEra AlonzoEra UTxOState

Associated Types

type TranslationError AlonzoEra NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void

Methods

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

Instance details

TranslateEra AlonzoEra ProposedPPUpdates

Associated Types

type TranslationError AlonzoEra UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void

Methods

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

Instance details

TranslateEra AlonzoEra ShelleyAccounts

Associated Types

type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void

Methods

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

Instance details

TranslateEra AlonzoEra ShelleyCertState

Associated Types

type TranslationError AlonzoEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyAccounts = Void

Methods

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

Instance details

TranslateEra AlonzoEra ShelleyInstantStake

Associated Types

type TranslationError AlonzoEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyCertState = Void

Methods

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

Instance details

HasEraTxLevel AlonzoTxBodyRaw AlonzoEra

Associated Types

type TranslationError AlonzoEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyInstantStake = Void

Methods

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

Instance details

HasEraTxLevel TxBody AlonzoEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AlonzoTxBodyRaw l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel Tx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

Instance details

Methods

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

HuddleGroup "account_registration_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "account_registration_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "account_unregistration_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "delegation_to_stake_pool_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "genesis_delegation_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "move_instantaneous_rewards_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "multi_host_name" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "multi_host_name" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "operational_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "operational_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_params" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_params" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_registration_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_registration_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_retirement_cert" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "protocol_version" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "protocol_version" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_all" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_all" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_any" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_any" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_before" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_invalid_before" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_hereafter" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_invalid_hereafter" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_n_of_k" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_n_of_k" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_pubkey" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_pubkey" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_addr" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "single_host_addr" → Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_name" AlonzoEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "single_host_name" → Proxy AlonzoEra → GroupDef Source #

HuddleRule "asset_name" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "asset_name" → Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "auxiliary_data" → Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_array" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "auxiliary_data_array" → Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "auxiliary_data_map" → Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_scripts" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "auxiliary_scripts" → Proxy AlonzoEra → Rule Source #

HuddleRule "big_int" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "big_int" → Proxy AlonzoEra → Rule Source #

HuddleRule "big_nint" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "big_nint" → Proxy AlonzoEra → Rule Source #

HuddleRule "big_uint" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "big_uint" → Proxy AlonzoEra → Rule Source #

HuddleRule "block" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "block" → Proxy AlonzoEra → Rule Source #

HuddleRule "bootstrap_witness" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "bootstrap_witness" → Proxy AlonzoEra → Rule Source #

HuddleRule "bounded_bytes" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "bounded_bytes" → Proxy AlonzoEra → Rule Source #

HuddleRule "certificate" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "certificate" → Proxy AlonzoEra → Rule Source #

HuddleRule "cost_model" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "cost_model" → Proxy AlonzoEra → Rule Source #

HuddleRule "cost_models" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "cost_models" → Proxy AlonzoEra → Rule Source #

HuddleRule "delta_coin" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "delta_coin" → Proxy AlonzoEra → Rule Source #

HuddleRule "dns_name" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "dns_name" → Proxy AlonzoEra → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "ex_unit_prices" → Proxy AlonzoEra → Rule Source #

HuddleRule "ex_units" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "ex_units" → Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_delegate_hash" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "genesis_delegate_hash" → Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_hash" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "genesis_hash" → Proxy AlonzoEra → Rule Source #

HuddleRule "header" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "header" → Proxy AlonzoEra → Rule Source #

HuddleRule "header_body" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "header_body" → Proxy AlonzoEra → Rule Source #

HuddleRule "language" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "language" → Proxy AlonzoEra → Rule Source #

HuddleRule "major_protocol_version" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "major_protocol_version" → Proxy AlonzoEra → Rule Source #

HuddleRule "metadatum" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "metadatum" → Proxy AlonzoEra → Rule Source #

HuddleRule "mint" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "mint" → Proxy AlonzoEra → Rule Source #

HuddleRule "move_instantaneous_reward" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "move_instantaneous_reward" → Proxy AlonzoEra → Rule Source #

HuddleRule "native_script" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "native_script" → Proxy AlonzoEra → Rule Source #

HuddleRule "network_id" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "network_id" → Proxy AlonzoEra → Rule Source #

HuddleRule "policy_id" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "policy_id" → Proxy AlonzoEra → Rule Source #

HuddleRule "pool_metadata" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "pool_metadata" → Proxy AlonzoEra → Rule Source #

HuddleRule "positive_interval" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "positive_interval" → Proxy AlonzoEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "proposed_protocol_parameter_updates" → Proxy AlonzoEra → Rule Source #

HuddleRule "protocol_param_update" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "protocol_param_update" → Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "redeemer" → Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer_tag" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "redeemer_tag" → Proxy AlonzoEra → Rule Source #

HuddleRule "redeemers" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "redeemers" → Proxy AlonzoEra → Rule Source #

HuddleRule "relay" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "relay" → Proxy AlonzoEra → Rule Source #

HuddleRule "required_signers" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "required_signers" → Proxy AlonzoEra → Rule Source #

HuddleRule "script_data_hash" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "script_data_hash" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_body" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_body" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_id" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_id" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_input" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_input" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_output" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_output" → Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_witness_set" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_witness_set" → Proxy AlonzoEra → Rule Source #

HuddleRule "update" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "update" → Proxy AlonzoEra → Rule Source #

HuddleRule "url" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "url" → Proxy AlonzoEra → Rule Source #

HuddleRule "value" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "value" → Proxy AlonzoEra → Rule Source #

HuddleRule "vkeywitness" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "vkeywitness" → Proxy AlonzoEra → Rule Source #

HuddleRule "withdrawals" AlonzoEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "withdrawals" → Proxy AlonzoEra → Rule Source #

HuddleRule1 "multiasset" AlonzoEra Source #

Instance details

Methods

huddleRule1Named ∷ IsType0 a ⇒ Proxy "multiasset" → Proxy AlonzoEra → a → GRuleCall Source #

HuddleRule1 "set" AlonzoEra Source #

Instance details

Methods

huddleRule1Named ∷ IsType0 a ⇒ Proxy "set" → Proxy AlonzoEra → a → GRuleCall Source #

EraBlockHeader h AlonzoEra ⇒ ApplyBlock h AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

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

InjectRuleEvent "POOL" PoolEvent AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra

Instance details

Methods

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

TranslateEra AlonzoEra (Tx 'TopTx)

Instance details

Associated Types

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

Methods

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

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Text Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

label ∷ Proxy (Annotator (Tx l AlonzoEra)) → 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 #

DecCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

decCBOR ∷ Decoder s (ApplyTxError AlonzoEra) Source #

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

label ∷ Proxy (ApplyTxError AlonzoEra) → Text Source #

EncCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

encCBOR ∷ ApplyTxError AlonzoEra → Encoding Source #

SafeToHash (PlutusScript AlonzoEra)

Instance details

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra)

Instance details

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Semigroup (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

sconcat ∷ NonEmpty (ApplyTxError AlonzoEra) → ApplyTxError AlonzoEra #

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

Generic (PlutusScript AlonzoEra)

Instance details

Associated Types

type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Generic (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type Rep (ApplyTxError AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

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

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

Generic (TransitionConfig AlonzoEra)

Instance details

Associated Types

type Rep (TransitionConfig AlonzoEra)

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

Methods

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

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

Show (PlutusScript AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

showsPrec ∷ Int → ApplyTxError AlonzoEra → ShowS #

show ∷ ApplyTxError AlonzoEra → String #

showList ∷ [ApplyTxError AlonzoEra] → ShowS #

Show (TransitionConfig AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Eq (PlutusScript AlonzoEra)

Instance details

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Eq (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

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

Eq (TransitionConfig AlonzoEra)

Instance details

Methods

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

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

Ord (PlutusScript AlonzoEra)

Instance details

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

NoThunks (PlutusScript AlonzoEra)

Instance details

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (TransitionConfig AlonzoEra)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

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

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l AlonzoEra] → 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 ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra)

Instance details

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw l AlonzoEra) Source #

dropCBOR ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Decoder s () Source #

label ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Text Source #

EncCBOR (AlonzoTxBodyRaw l AlonzoEra)

Instance details

Methods

encCBOR ∷ AlonzoTxBodyRaw l AlonzoEra → Encoding Source #

EncCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding 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 #

EqRaw (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

EqRaw (TxBody l AlonzoEra)

Instance details

Methods

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

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

NFData (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (TxBody l AlonzoEra)

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

Generic (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

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

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

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.16.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 #

Show (AlonzoTxBodyRaw l AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw l AlonzoEra → ShowS #

show ∷ AlonzoTxBodyRaw l AlonzoEra → String #

showList ∷ [AlonzoTxBodyRaw l AlonzoEra] → ShowS #

Show (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (TxBody l AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Eq (AlonzoTxBodyRaw l AlonzoEra)

Instance details

Methods

(==) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

(/=) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

Eq (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

Eq (TxBody l AlonzoEra)

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra)

Instance details

Methods

noThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

showTypeOf ∷ Proxy (Tx l AlonzoEra) → 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 #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

type ContextError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra

newtype TxInfoResult AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (PlutusTxInfoResult 'PlutusV1 AlonzoEra)

newtype PlutusScript AlonzoEra

Instance details

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)

type BlockBody AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

type NativeScript AlonzoEra

Instance details

type NativeScript AlonzoEra = Timelock AlonzoEra

type Script AlonzoEra

Instance details

type Script AlonzoEra = AlonzoScript AlonzoEra

type TxAuxData AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

type TxOut AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

type TxWits AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

type Value AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value AlonzoEra = MaryValue

type TranslationContext AlonzoEra

Instance details

type TranslationContext AlonzoEra = AlonzoGenesis

type TxCert AlonzoEra

Instance details

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra

type TxCertUpgradeError AlonzoEra

Instance details

type TxCertUpgradeError AlonzoEra = Void

type Genesis AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis

type AccountState AlonzoEra

Instance details

type AccountState AlonzoEra = ShelleyAccountState AlonzoEra

type Accounts AlonzoEra

Instance details

type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

type CertState AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra

type GovState AlonzoEra

Instance details

type GovState AlonzoEra = ShelleyGovState AlonzoEra

type InstantStake AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

type ScriptsNeeded AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

type EraName AlonzoEra

Instance details

type EraName AlonzoEra = "Alonzo"

type PreviousEra AlonzoEra

Instance details

type PreviousEra AlonzoEra = MaryEra

type ProtVerHigh AlonzoEra

Instance details

type ProtVerHigh AlonzoEra = 6

type ProtVerLow AlonzoEra

Instance details

type ProtVerLow AlonzoEra = 5

newtype ApplyTxError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

data TransitionConfig AlonzoEra

Instance details

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {

atcAlonzoGenesis ∷ !AlonzoGenesis
atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra)

}

type PlutusPurpose f AlonzoEra

Instance details

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

type StAnnTx l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type StAnnTx l AlonzoEra = AlonzoStAnnTx l AlonzoEra

newtype Tx l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype TxBody l AlonzoEra

Instance details

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

type EraRule "BBODY" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra

type EraRule "DELEG" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra

type EraRule "DELEGS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra

type EraRule "DELPL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra

type EraRule "EPOCH" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra

type EraRule "LEDGER" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra

type EraRule "LEDGERS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra

type EraRule "MIR" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra

type EraRule "NEWEPOCH" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra

type EraRule "NEWPP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra

type EraRule "POOL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra

type EraRule "POOLREAP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra

type EraRule "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra

type EraRule "RUPD" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra

type EraRule "SNAP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra

type EraRule "TICK" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra

type EraRule "TICKF" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra

type EraRule "UPEC" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra

type EraRule "UTXO" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra

type EraRule "UTXOS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra

type EraRule "UTXOW" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra

type EraRuleEvent "LEDGER" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra

type EraRuleEvent "POOL" AlonzoEra

Instance details

type EraRuleEvent "POOL" AlonzoEra = PoolEvent AlonzoEra

type EraRuleEvent "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra

type EraRuleEvent "TICK" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra

type EraRuleFailure "BBODY" AlonzoEra

Instance details

type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra

type EraRuleFailure "DELEG" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra

type EraRuleFailure "DELEGS" AlonzoEra

Instance details

type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra

type EraRuleFailure "DELPL" AlonzoEra

Instance details

type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra

type EraRuleFailure "LEDGER" AlonzoEra

Instance details

type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra

type EraRuleFailure "LEDGERS" AlonzoEra

Instance details

type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra

type EraRuleFailure "POOL" AlonzoEra

Instance details

type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra

type EraRuleFailure "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra

type EraRuleFailure "UTXO" AlonzoEra

Instance details

type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra

type EraRuleFailure "UTXOS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra

type EraRuleFailure "UTXOW" AlonzoEra

Instance details

type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra

type DowngradePParams f AlonzoEra

Instance details

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

type PParamsHKD f AlonzoEra

Instance details

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra

type UpgradePParams f AlonzoEra

Instance details

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f

type TranslationError AlonzoEra PParams

Instance details

type TranslationError AlonzoEra PParams = Void

type TranslationError AlonzoEra CommitteeState

Instance details

type TranslationError AlonzoEra CommitteeState = Void

type TranslationError AlonzoEra DState

Instance details

type TranslationError AlonzoEra DState = Void

type TranslationError AlonzoEra PState

Instance details

type TranslationError AlonzoEra PState = Void

type TranslationError AlonzoEra FuturePParams

Instance details

type TranslationError AlonzoEra FuturePParams = Void

type TranslationError AlonzoEra UTxO

Instance details

type TranslationError AlonzoEra UTxO = Void

type TranslationError AlonzoEra ShelleyGovState

Instance details

type TranslationError AlonzoEra ShelleyGovState = Void

type TranslationError AlonzoEra EpochState

Instance details

type TranslationError AlonzoEra EpochState = Void

type TranslationError AlonzoEra LedgerState

Instance details

type TranslationError AlonzoEra LedgerState = Void

type TranslationError AlonzoEra NewEpochState

Instance details

type TranslationError AlonzoEra NewEpochState = Void

type TranslationError AlonzoEra UTxOState

Instance details

type TranslationError AlonzoEra UTxOState = Void

type TranslationError AlonzoEra ProposedPPUpdates

Instance details

type TranslationError AlonzoEra ProposedPPUpdates = Void

type TranslationError AlonzoEra ShelleyAccounts

Instance details

type TranslationError AlonzoEra ShelleyAccounts = Void

type TranslationError AlonzoEra ShelleyCertState

Instance details

type TranslationError AlonzoEra ShelleyCertState = Void

type TranslationError AlonzoEra ShelleyInstantStake

Instance details

type TranslationError AlonzoEra ShelleyInstantStake = Void

type STxLevel l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

type Forecast t AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

type Forecast t AlonzoEra = ShelleyForecast t AlonzoEra

type TranslationError AlonzoEra (Tx 'TopTx)

Instance details

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript AlonzoEra)

Instance details

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

type Rep (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

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

type Rep (TransitionConfig AlonzoEra)

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

type RawType (TxBody l AlonzoEra)

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type Rep (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

type Rep (TxBody l AlonzoEra)

Instance details