Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage

Contents

Orphan instances

Synopsis

type Babbage = BabbageEra StandardCrypto
data BabbageEra c
data BabbageTxOut era
data BabbageTxBody era
data AlonzoScript era
data AlonzoTxAuxData era

Documentation

type Babbage = BabbageEra StandardCrypto Source #

data BabbageEra c Source #

The Babbage era

Instances

Instances details

InjectRuleEvent "UTXOS" AlonzoUtxosEvent (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectEvent ∷ AlonzoUtxosEvent (BabbageEra c) → EraRuleEvent "UTXOS" (BabbageEra c) Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" BabbageUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (BabbageEra c) → EraRuleFailure "BBODY" (BabbageEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "DELEG" (BabbageEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "DELEGS" (BabbageEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (BabbageEra c) → EraRuleFailure "DELEGS" (BabbageEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "DELEGS" (BabbageEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "DELEGS" (BabbageEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "DELPL" (BabbageEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "DELPL" (BabbageEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "DELPL" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGERS" (BabbageEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "POOL" (BabbageEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "PPUP" (BabbageEra c) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "UTXOS" (BabbageEra c) Source #
InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "UTXOS" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem (BabbageEra c) → Maybe (Data (BabbageEra c)) → Data (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusArgs 'PlutusV1) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusTxInfo 'PlutusV2) Source # toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem (BabbageEra c) → Maybe (Data (BabbageEra c)) → Data (BabbageEra c) → Either (ContextError (BabbageEra c)) (PlutusArgs 'PlutusV2) Source #
Crypto c ⇒ FromJSON (TransitionConfig (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (BabbageEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (BabbageEra c)] Source # omittedField ∷ Maybe (TransitionConfig (BabbageEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods toJSON ∷ TransitionConfig (BabbageEra c) → Value Source # toEncoding ∷ TransitionConfig (BabbageEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (BabbageEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (BabbageEra c)] → Encoding Source # omitField ∷ TransitionConfig (BabbageEra c) → Bool Source #
Generic (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types type Rep (PlutusScript (BabbageEra c)) ∷ Type → Type Source # Methods from ∷ PlutusScript (BabbageEra c) → Rep (PlutusScript (BabbageEra c)) x Source # to ∷ Rep (PlutusScript (BabbageEra c)) x → PlutusScript (BabbageEra c) Source #
Show (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods showsPrec ∷ Int → PlutusScript (BabbageEra c) → ShowS Source # show ∷ PlutusScript (BabbageEra c) → String Source # showList ∷ [PlutusScript (BabbageEra c)] → ShowS Source #
Crypto c ⇒ Show (TransitionConfig (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods showsPrec ∷ Int → TransitionConfig (BabbageEra c) → ShowS Source # show ∷ TransitionConfig (BabbageEra c) → String Source # showList ∷ [TransitionConfig (BabbageEra c)] → ShowS Source #
Crypto c ⇒ AllegraEraScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript (BabbageEra c) Source # getTimeStart ∷ NativeScript (BabbageEra c) → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript (BabbageEra c) Source # getTimeExpire ∷ NativeScript (BabbageEra c) → Maybe SlotNo Source #
Crypto c ⇒ AllegraEraTxAuxData (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (BabbageEra c)) (StrictSeq (Timelock (BabbageEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody (BabbageEra c)) ValidityInterval Source #
Crypto c ⇒ AlonzoEraPParams (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (BabbageEra c)) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source #
Crypto c ⇒ EraPlutusContext (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Associated Types type ContextError (BabbageEra c) = (r ∷ Type) Source # Methods mkPlutusWithContext ∷ PlutusScript (BabbageEra c) → ScriptHash (EraCrypto (BabbageEra c)) → PlutusPurpose AsIxItem (BabbageEra c) → LedgerTxInfo (BabbageEra c) → (Data (BabbageEra c), ExUnits) → CostModel → Either (ContextError (BabbageEra c)) (PlutusWithContext (EraCrypto (BabbageEra c))) Source #
Crypto c ⇒ AlonzoEraScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types data PlutusScript (BabbageEra c) Source # type PlutusPurpose f (BabbageEra c) = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script (BabbageEra c) → Maybe (PlutusScript (BabbageEra c)) Source # fromPlutusScript ∷ PlutusScript (BabbageEra c) → Script (BabbageEra c) Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (BabbageEra c)) Source # withPlutusScript ∷ PlutusScript (BabbageEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (BabbageEra c) → PlutusPurpose f (BabbageEra c) Source # mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source # toSpendingPurpose ∷ PlutusPurpose f (BabbageEra c) → Maybe (f Word32 (TxIn (EraCrypto (BabbageEra c)))) Source # mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source # toMintingPurpose ∷ PlutusPurpose f (BabbageEra c) → Maybe (f Word32 (PolicyID (EraCrypto (BabbageEra c)))) Source # mkCertifyingPurpose ∷ f Word32 (TxCert (BabbageEra c)) → PlutusPurpose f (BabbageEra c) Source # toCertifyingPurpose ∷ PlutusPurpose f (BabbageEra c) → Maybe (f Word32 (TxCert (BabbageEra c))) Source # mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source # toRewardingPurpose ∷ PlutusPurpose f (BabbageEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (BabbageEra c)))) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra (BabbageEra c)) → PlutusPurpose AsIx (BabbageEra c) Source #
Crypto c ⇒ AlonzoEraTx (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Methods isValidTxL ∷ Lens' (Tx (BabbageEra c)) IsValid Source #
Crypto c ⇒ AlonzoEraTxAuxData (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (BabbageEra c)) (Map Language (NonEmpty PlutusBinary)) Source #
Crypto c ⇒ AlonzoEraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (KeyHash 'Witness (EraCrypto (BabbageEra c)))) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (BabbageEra c)))) Source # networkIdTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody (BabbageEra c) → PlutusPurpose AsItem (BabbageEra c) → StrictMaybe (PlutusPurpose AsIx (BabbageEra c)) Source # redeemerPointerInverse ∷ TxBody (BabbageEra c) → PlutusPurpose AsIx (BabbageEra c) → StrictMaybe (PlutusPurpose AsIxItem (BabbageEra c)) Source #
Crypto c ⇒ AlonzoEraTxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (DataHash (EraCrypto (BabbageEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #
Crypto c ⇒ AlonzoEraTxWits (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (TxDats (BabbageEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Redeemers (BabbageEra c)) Source #
Crypto c ⇒ AlonzoEraUTxO (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO Methods getSupplementalDataHashes ∷ UTxO (BabbageEra c) → TxBody (BabbageEra c) → Set (DataHash (EraCrypto (BabbageEra c))) Source # getSpendingDatum ∷ UTxO (BabbageEra c) → Tx (BabbageEra c) → PlutusPurpose AsItem (BabbageEra c) → Maybe (Data (BabbageEra c)) Source #
Crypto c ⇒ BabbageEraPParams (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #
Crypto c ⇒ BabbageEraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # totalCollateralTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (TxOut (BabbageEra c))) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Sized (TxOut (BabbageEra c)))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #
Crypto c ⇒ BabbageEraTxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Script (BabbageEra c))) Source # dataTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Data (BabbageEra c))) Source # datumTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #
Crypto c ⇒ EraScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types type Script (BabbageEra c) = (r ∷ Type) Source # type NativeScript (BabbageEra c) = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra (BabbageEra c)) → Script (BabbageEra c) Source # scriptPrefixTag ∷ Script (BabbageEra c) → ByteString Source # getNativeScript ∷ Script (BabbageEra c) → Maybe (NativeScript (BabbageEra c)) Source # fromNativeScript ∷ NativeScript (BabbageEra c) → Script (BabbageEra c) Source #
Crypto c ⇒ EraSegWits (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Associated Types type TxSeq (BabbageEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (BabbageEra c) → StrictSeq (Tx (BabbageEra c)) Source # toTxSeq ∷ StrictSeq (Tx (BabbageEra c)) → TxSeq (BabbageEra c) Source # hashTxSeq ∷ TxSeq (BabbageEra c) → Hash (HASH (EraCrypto (BabbageEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
Crypto c ⇒ EraTx (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Associated Types type Tx (BabbageEra c) = (r ∷ Type) Source # type TxUpgradeError (BabbageEra c) Source # Methods mkBasicTx ∷ TxBody (BabbageEra c) → Tx (BabbageEra c) Source # bodyTxL ∷ Lens' (Tx (BabbageEra c)) (TxBody (BabbageEra c)) Source # witsTxL ∷ Lens' (Tx (BabbageEra c)) (TxWits (BabbageEra c)) Source # auxDataTxL ∷ Lens' (Tx (BabbageEra c)) (StrictMaybe (TxAuxData (BabbageEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (BabbageEra c)) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx (BabbageEra c)) Word32 Source # validateNativeScript ∷ Tx (BabbageEra c) → NativeScript (BabbageEra c) → Bool Source # getMinFeeTx ∷ PParams (BabbageEra c) → Tx (BabbageEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (BabbageEra c)) → Either (TxUpgradeError (BabbageEra c)) (Tx (BabbageEra c)) Source #
Crypto c ⇒ EraTxAuxData (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Associated Types type TxAuxData (BabbageEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (BabbageEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (BabbageEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (BabbageEra c)) → TxAuxData (BabbageEra c) Source # hashTxAuxData ∷ TxAuxData (BabbageEra c) → AuxiliaryDataHash (EraCrypto (BabbageEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (BabbageEra c) → Bool Source #
Crypto c ⇒ EraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type TxBody (BabbageEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (BabbageEra c) Source # Methods mkBasicTxBody ∷ TxBody (BabbageEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (TxOut (BabbageEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (BabbageEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Withdrawals (EraCrypto (BabbageEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (BabbageEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (TxCert (BabbageEra c))) Source # getTotalDepositsTxBody ∷ PParams (BabbageEra c) → (KeyHash 'StakePool (EraCrypto (BabbageEra c)) → Bool) → TxBody (BabbageEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (BabbageEra c) → (Credential 'Staking (EraCrypto (BabbageEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (BabbageEra c)) → Maybe Coin) → TxBody (BabbageEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (BabbageEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (BabbageEra c)) → Either (TxBodyUpgradeError (BabbageEra c)) (TxBody (BabbageEra c)) Source #
Crypto c ⇒ EraTxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type TxOut (BabbageEra c) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (BabbageEra c)) → Value (BabbageEra c) → TxOut (BabbageEra c) Source # upgradeTxOut ∷ TxOut (PreviousEra (BabbageEra c)) → TxOut (BabbageEra c) Source # valueTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Value (BabbageEra c)) Source # compactValueTxOutL ∷ Lens' (TxOut (BabbageEra c)) (CompactForm (Value (BabbageEra c))) Source # valueEitherTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Either (Value (BabbageEra c)) (CompactForm (Value (BabbageEra c)))) Source # addrTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Addr (EraCrypto (BabbageEra c))) Source # compactAddrTxOutL ∷ Lens' (TxOut (BabbageEra c)) (CompactAddr (EraCrypto (BabbageEra c))) Source # addrEitherTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Either (Addr (EraCrypto (BabbageEra c))) (CompactAddr (EraCrypto (BabbageEra c)))) Source # getMinCoinSizedTxOut ∷ PParams (BabbageEra c) → Sized (TxOut (BabbageEra c)) → Coin Source # getMinCoinTxOut ∷ PParams (BabbageEra c) → TxOut (BabbageEra c) → Coin Source #
Crypto c ⇒ EraTxWits (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits Associated Types type TxWits (BabbageEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (BabbageEra c) Source # addrTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Set (WitVKey 'Witness (EraCrypto (BabbageEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Set (BootstrapWitness (EraCrypto (BabbageEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Map (ScriptHash (EraCrypto (BabbageEra c))) (Script (BabbageEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (BabbageEra c)) → TxWits (BabbageEra c) Source #
Crypto c ⇒ Era (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type EraCrypto (BabbageEra c) Source # type PreviousEra (BabbageEra c) = (r ∷ Type) Source # type ProtVerLow (BabbageEra c) ∷ Nat Source # type ProtVerHigh (BabbageEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Associated Types type PParamsHKD f (BabbageEra c) = (r ∷ Type) Source # type UpgradePParams f (BabbageEra c) Source # type DowngradePParams f (BabbageEra c) Source # Methods applyPPUpdates ∷ PParams (BabbageEra c) → PParamsUpdate (BabbageEra c) → PParams (BabbageEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (BabbageEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (BabbageEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (BabbageEra c))) ⇒ UpgradePParams f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) → PParamsHKD f (BabbageEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (BabbageEra c))) ⇒ DowngradePParams f (BabbageEra c) → PParamsHKD f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (BabbageEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 8) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (BabbageEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (BabbageEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 4) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #
Crypto c ⇒ EraTxCert (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert Associated Types type TxCert (BabbageEra c) = (r ∷ Type) Source # type TxCertUpgradeError (BabbageEra c) Source # Methods upgradeTxCert ∷ TxCert (PreviousEra (BabbageEra c)) → Either (TxCertUpgradeError (BabbageEra c)) (TxCert (BabbageEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (BabbageEra c) → Maybe (KeyHash 'Witness (EraCrypto (BabbageEra c))) Source # getScriptWitnessTxCert ∷ TxCert (BabbageEra c) → Maybe (ScriptHash (EraCrypto (BabbageEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getRegPoolTxCert ∷ TxCert (BabbageEra c) → Maybe (PoolParams (EraCrypto (BabbageEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (BabbageEra c)) → EpochNo → TxCert (BabbageEra c) Source # getRetirePoolTxCert ∷ TxCert (BabbageEra c) → Maybe (KeyHash 'StakePool (EraCrypto (BabbageEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (BabbageEra c) → Maybe (Credential 'Staking (EraCrypto (BabbageEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (BabbageEra c) → Maybe (Credential 'Staking (EraCrypto (BabbageEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (BabbageEra c) → (KeyHash 'StakePool (EraCrypto (BabbageEra c)) → Bool) → f (TxCert (BabbageEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (BabbageEra c) → (Credential 'Staking (EraCrypto (BabbageEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (BabbageEra c)) → Maybe Coin) → f (TxCert (BabbageEra c)) → Coin Source #
Crypto c ⇒ EraGenesis (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type Genesis (BabbageEra c) Source #
Crypto c ⇒ SafeToHash (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods originalBytes ∷ PlutusScript (BabbageEra c) → ByteString Source # originalBytesSize ∷ PlutusScript (BabbageEra c) → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (BabbageEra c) → SafeHash c0 index Source #
Crypto c ⇒ EraUTxO (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO Associated Types type ScriptsNeeded (BabbageEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (BabbageEra c) → (Credential 'Staking (EraCrypto (BabbageEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (BabbageEra c)) → Maybe Coin) → UTxO (BabbageEra c) → TxBody (BabbageEra c) → Value (BabbageEra c) Source # getProducedValue ∷ PParams (BabbageEra c) → (KeyHash 'StakePool (EraCrypto (BabbageEra c)) → Bool) → TxBody (BabbageEra c) → Value (BabbageEra c) Source # getScriptsProvided ∷ UTxO (BabbageEra c) → Tx (BabbageEra c) → ScriptsProvided (BabbageEra c) Source # getScriptsNeeded ∷ UTxO (BabbageEra c) → TxBody (BabbageEra c) → ScriptsNeeded (BabbageEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (BabbageEra c) → Set (ScriptHash (EraCrypto (BabbageEra c))) Source # getWitsVKeyNeeded ∷ CertState (BabbageEra c) → UTxO (BabbageEra c) → TxBody (BabbageEra c) → Set (KeyHash 'Witness (EraCrypto (BabbageEra c))) Source # getMinFeeTxUtxo ∷ PParams (BabbageEra c) → Tx (BabbageEra c) → UTxO (BabbageEra c) → Coin Source #
Crypto c ⇒ MaryEraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (MultiAsset (EraCrypto (BabbageEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (Value (BabbageEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (Set (PolicyID (EraCrypto (BabbageEra c)))) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (BabbageEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Tx (BabbageEra c) → m (EventReturnType ep (EraRule "LEDGER" (BabbageEra c)) (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c)))) Source # reapplyTx ∷ MonadError (ApplyTxError (BabbageEra c)) m ⇒ Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Validated (Tx (BabbageEra c)) → m (MempoolState (BabbageEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (BabbageEra c)) (NewEpochState (BabbageEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (BabbageEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (EraCrypto (BabbageEra c))) (BabbageEra c) → m (EventReturnType ep (EraRule "BBODY" (BabbageEra c)) (NewEpochState (BabbageEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (EraCrypto (BabbageEra c))) (BabbageEra c) → NewEpochState (BabbageEra c) Source #
Crypto c ⇒ EraGov (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Associated Types type GovState (BabbageEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (BabbageEra c) Source # getProposedPPUpdates ∷ GovState (BabbageEra c) → Maybe (ProposedPPUpdates (BabbageEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (BabbageEra c)) (PParams (BabbageEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (BabbageEra c)) (PParams (BabbageEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (BabbageEra c)) (FuturePParams (BabbageEra c)) Source # obligationGovState ∷ GovState (BabbageEra c) → Obligations Source #
Crypto c ⇒ ShelleyEraScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (BabbageEra c)) → NativeScript (BabbageEra c) Source # getRequireSignature ∷ NativeScript (BabbageEra c) → Maybe (KeyHash 'Witness (EraCrypto (BabbageEra c))) Source # mkRequireAllOf ∷ StrictSeq (NativeScript (BabbageEra c)) → NativeScript (BabbageEra c) Source # getRequireAllOf ∷ NativeScript (BabbageEra c) → Maybe (StrictSeq (NativeScript (BabbageEra c))) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript (BabbageEra c)) → NativeScript (BabbageEra c) Source # getRequireAnyOf ∷ NativeScript (BabbageEra c) → Maybe (StrictSeq (NativeScript (BabbageEra c))) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript (BabbageEra c)) → NativeScript (BabbageEra c) Source # getRequireMOf ∷ NativeScript (BabbageEra c) → Maybe (Int, StrictSeq (NativeScript (BabbageEra c))) Source #
Crypto c ⇒ EraTransition (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Associated Types data TransitionConfig (BabbageEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (BabbageEra c) → TransitionConfig (PreviousEra (BabbageEra c)) → TransitionConfig (BabbageEra c) Source # injectIntoTestState ∷ TransitionConfig (BabbageEra c) → NewEpochState (BabbageEra c) → NewEpochState (BabbageEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (BabbageEra c)) (TransitionConfig (PreviousEra (BabbageEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (BabbageEra c)) (TranslationContext (BabbageEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (BabbageEra c)) (ShelleyGenesis (EraCrypto (BabbageEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (BabbageEra c)) (PParams (BabbageEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods ttlTxBodyL ∷ Lens' (TxBody (BabbageEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Update (BabbageEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getRegTxCert ∷ TxCert (BabbageEra c) → Maybe (StakeCredential (EraCrypto (BabbageEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getUnRegTxCert ∷ TxCert (BabbageEra c) → Maybe (StakeCredential (EraCrypto (BabbageEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (BabbageEra c)) → KeyHash 'StakePool (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getDelegStakeTxCert ∷ TxCert (BabbageEra c) → Maybe (StakeCredential (EraCrypto (BabbageEra c)), KeyHash 'StakePool (EraCrypto (BabbageEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getGenesisDelegTxCert ∷ TxCert (BabbageEra c) → Maybe (GenesisDelegCert (EraCrypto (BabbageEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (BabbageEra c)) → TxCert (BabbageEra c) Source # getMirTxCert ∷ TxCert (BabbageEra c) → Maybe (MIRCert (EraCrypto (BabbageEra c))) Source #
NFData (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods rnf ∷ PlutusScript (BabbageEra c) → () Source #
Eq (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods (==) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source # (/=) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source #
Crypto c ⇒ Eq (TransitionConfig (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods (==) ∷ TransitionConfig (BabbageEra c) → TransitionConfig (BabbageEra c) → Bool Source # (/=) ∷ TransitionConfig (BabbageEra c) → TransitionConfig (BabbageEra c) → Bool Source #
Ord (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods compare ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Ordering Source # (<) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source # (<=) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source # (>) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source # (>=) ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → Bool Source # max ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) Source # min ∷ PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) → PlutusScript (BabbageEra c) Source #
NoThunks (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods noThunks ∷ Context → PlutusScript (BabbageEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript (BabbageEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript (BabbageEra c)) → String Source #
Crypto c ⇒ NoThunks (TransitionConfig (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods noThunks ∷ Context → TransitionConfig (BabbageEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (BabbageEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (BabbageEra c)) → String Source #
Crypto c ⇒ TranslateEra (BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) Tx Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → Tx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) Tx) (Tx (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) CertState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → CertState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) CertState) (CertState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) CommitteeState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → CommitteeState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) CommitteeState) (CommitteeState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) DState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) DState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → DState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) DState) (DState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) PState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) PState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → PState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) PState) (PState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) VState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) VState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → VState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) VState) (VState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) PParams Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → PParams (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) PParams) (PParams (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) UTxO Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → UTxO (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) UTxO) (UTxO (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) FuturePParams Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → FuturePParams (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) FuturePParams) (FuturePParams (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) ShelleyGovState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → ShelleyGovState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) ShelleyGovState) (ShelleyGovState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) EpochState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → EpochState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) EpochState) (EpochState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) LedgerState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → LedgerState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) LedgerState) (LedgerState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) NewEpochState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → NewEpochState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) NewEpochState) (NewEpochState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) UTxOState Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → UTxOState (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) UTxOState) (UTxOState (BabbageEra c)) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → ProposedPPUpdates (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) ProposedPPUpdates) (ProposedPPUpdates (BabbageEra c)) Source #
type PlutusPurpose f (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f (BabbageEra c) = AlonzoPlutusPurpose f (BabbageEra c)
type EraRule "BBODY" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "BBODY" (BabbageEra c) = AlonzoBBODY (BabbageEra c)
type EraRule "DELEG" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEG" (BabbageEra c) = ShelleyDELEG (BabbageEra c)
type EraRule "DELEGS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEGS" (BabbageEra c) = ShelleyDELEGS (BabbageEra c)
type EraRule "DELPL" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELPL" (BabbageEra c) = ShelleyDELPL (BabbageEra c)
type EraRule "EPOCH" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "EPOCH" (BabbageEra c) = ShelleyEPOCH (BabbageEra c)
type EraRule "LEDGER" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGER" (BabbageEra c) = BabbageLEDGER (BabbageEra c)
type EraRule "LEDGERS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGERS" (BabbageEra c) = ShelleyLEDGERS (BabbageEra c)
type EraRule "MIR" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "MIR" (BabbageEra c) = ShelleyMIR (BabbageEra c)
type EraRule "NEWEPOCH" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWEPOCH" (BabbageEra c) = ShelleyNEWEPOCH (BabbageEra c)
type EraRule "NEWPP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWPP" (BabbageEra c) = ShelleyNEWPP (BabbageEra c)
type EraRule "POOL" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOL" (BabbageEra c) = ShelleyPOOL (BabbageEra c)
type EraRule "POOLREAP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOLREAP" (BabbageEra c) = ShelleyPOOLREAP (BabbageEra c)
type EraRule "PPUP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "PPUP" (BabbageEra c) = ShelleyPPUP (BabbageEra c)
type EraRule "RUPD" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "RUPD" (BabbageEra c) = ShelleyRUPD (BabbageEra c)
type EraRule "SNAP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "SNAP" (BabbageEra c) = ShelleySNAP (BabbageEra c)
type EraRule "TICK" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICK" (BabbageEra c) = ShelleyTICK (BabbageEra c)
type EraRule "TICKF" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICKF" (BabbageEra c) = ShelleyTICKF (BabbageEra c)
type EraRule "UPEC" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UPEC" (BabbageEra c) = ShelleyUPEC (BabbageEra c)
type EraRule "UTXO" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXO" (BabbageEra c) = BabbageUTXO (BabbageEra c)
type EraRule "UTXOS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOS" (BabbageEra c) = BabbageUTXOS (BabbageEra c)
type EraRule "UTXOW" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOW" (BabbageEra c) = BabbageUTXOW (BabbageEra c)
type EraRuleEvent "LEDGER" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "LEDGER" (BabbageEra c) = ShelleyLedgerEvent (BabbageEra c)
type EraRuleEvent "PPUP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "PPUP" (BabbageEra c) = PpupEvent (BabbageEra c)
type EraRuleEvent "TICK" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "TICK" (BabbageEra c) = ShelleyTickEvent (BabbageEra c)
type EraRuleEvent "UTXOS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleEvent "UTXOS" (BabbageEra c) = AlonzoUtxosEvent (BabbageEra c)
type EraRuleFailure "BBODY" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody type EraRuleFailure "BBODY" (BabbageEra c) = AlonzoBbodyPredFailure (BabbageEra c)
type EraRuleFailure "DELEG" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg type EraRuleFailure "DELEG" (BabbageEra c) = ShelleyDelegPredFailure (BabbageEra c)
type EraRuleFailure "DELEGS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs type EraRuleFailure "DELEGS" (BabbageEra c) = ShelleyDelegsPredFailure (BabbageEra c)
type EraRuleFailure "DELPL" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl type EraRuleFailure "DELPL" (BabbageEra c) = ShelleyDelplPredFailure (BabbageEra c)
type EraRuleFailure "LEDGER" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type EraRuleFailure "LEDGER" (BabbageEra c) = ShelleyLedgerPredFailure (BabbageEra c)
type EraRuleFailure "LEDGERS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers type EraRuleFailure "LEDGERS" (BabbageEra c) = ShelleyLedgersPredFailure (BabbageEra c)
type EraRuleFailure "POOL" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool type EraRuleFailure "POOL" (BabbageEra c) = ShelleyPoolPredFailure (BabbageEra c)
type EraRuleFailure "PPUP" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup type EraRuleFailure "PPUP" (BabbageEra c) = ShelleyPpupPredFailure (BabbageEra c)
type EraRuleFailure "UTXO" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type EraRuleFailure "UTXO" (BabbageEra c) = BabbageUtxoPredFailure (BabbageEra c)
type EraRuleFailure "UTXOS" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleFailure "UTXOS" (BabbageEra c) = AlonzoUtxosPredFailure (BabbageEra c)
type EraRuleFailure "UTXOW" (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type EraRuleFailure "UTXOW" (BabbageEra c) = BabbageUtxowPredFailure (BabbageEra c)
type DowngradePParams f (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f (BabbageEra c) = DowngradeBabbagePParams f
type PParamsHKD f (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f (BabbageEra c) = BabbagePParams f (BabbageEra c)
type UpgradePParams f (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f (BabbageEra c) = ()
type Rep (PlutusScript (BabbageEra c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript (BabbageEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.10.1.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))
type ContextError (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError (BabbageEra c) = BabbageContextError (BabbageEra c)
data PlutusScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript (BabbageEra c) = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type NativeScript (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript (BabbageEra c) = Timelock (BabbageEra c)
type Script (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script (BabbageEra c) = AlonzoScript (BabbageEra c)
type Tx (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type Tx (BabbageEra c) = AlonzoTx (BabbageEra c)
type TxAuxData (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData (BabbageEra c) = AlonzoTxAuxData (BabbageEra c)
type TxBody (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBody (BabbageEra c) = BabbageTxBody (BabbageEra c)
type TxBodyUpgradeError (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBodyUpgradeError (BabbageEra c) = BabbageTxBodyUpgradeError
type TxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut (BabbageEra c) = BabbageTxOut (BabbageEra c)
type TxSeq (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxSeq (BabbageEra c) = AlonzoTxSeq (BabbageEra c)
type TxUpgradeError (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError (BabbageEra c)
type TxWits (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits (BabbageEra c) = AlonzoTxWits (BabbageEra c)
type Value (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type Value (BabbageEra c) = MaryValue c
type EraCrypto (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraCrypto (BabbageEra c) = c
type PreviousEra (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra (BabbageEra c) = AlonzoEra c
type ProtVerHigh (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh (BabbageEra c) = 8
type ProtVerLow (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow (BabbageEra c) = 7
type TranslationContext (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type TranslationContext (BabbageEra c) = NoGenesis (BabbageEra c)
type TxCert (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert (BabbageEra c) = ShelleyTxCert (BabbageEra c)
type TxCertUpgradeError (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError (BabbageEra c) = Void
type Genesis (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis (BabbageEra c) = NoGenesis (BabbageEra c)
type ScriptsNeeded (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded (BabbageEra c) = AlonzoScriptsNeeded (BabbageEra c)
type GovState (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState (BabbageEra c) = ShelleyGovState (BabbageEra c)
newtype TransitionConfig (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig (AlonzoEra c) }
type TranslationError (BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) Tx = DecoderError
type TranslationError (BabbageEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) CertState = Void
type TranslationError (BabbageEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) CommitteeState = Void
type TranslationError (BabbageEra c) DState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) DState = Void
type TranslationError (BabbageEra c) PState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PState = Void
type TranslationError (BabbageEra c) VState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) VState = Void
type TranslationError (BabbageEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PParams = Void
type TranslationError (BabbageEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxO = Void
type TranslationError (BabbageEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) FuturePParams = Void
type TranslationError (BabbageEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ShelleyGovState = Void
type TranslationError (BabbageEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) EpochState = Void
type TranslationError (BabbageEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) LedgerState = Void
type TranslationError (BabbageEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) NewEpochState = Void
type TranslationError (BabbageEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxOState = Void
type TranslationError (BabbageEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ProposedPPUpdates = Void

data BabbageTxOut era Source #

Instances

Instances details

(Era era, ToJSON (Datum era), ToJSON (Script era), Val (Value era)) ⇒ ToJSON (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods toJSON ∷ BabbageTxOut era → Value Source # toEncoding ∷ BabbageTxOut era → Encoding Source # toJSONList ∷ [BabbageTxOut era] → Value Source # toEncodingList ∷ [BabbageTxOut era] → Encoding Source # omitField ∷ BabbageTxOut era → Bool Source #
Generic (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Rep (BabbageTxOut era) ∷ Type → Type Source # Methods from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x Source # to ∷ Rep (BabbageTxOut era) x → BabbageTxOut era Source #
(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods showsPrec ∷ Int → BabbageTxOut era → ShowS Source # show ∷ BabbageTxOut era → String Source # showList ∷ [BabbageTxOut era] → ShowS Source #
(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods fromCBOR ∷ Decoder s (BabbageTxOut era) Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods toCBOR ∷ BabbageTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #
(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods decCBOR ∷ Decoder s (BabbageTxOut era) Source # dropCBOR ∷ Proxy (BabbageTxOut era) → Decoder s () Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(EraScript era, Val (Value era)) ⇒ DecShareCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Share (BabbageTxOut era) Source # Methods getShare ∷ BabbageTxOut era → Share (BabbageTxOut era) Source # decShareCBOR ∷ Share (BabbageTxOut era) → Decoder s (BabbageTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (BabbageTxOut era)) (Decoder s) (BabbageTxOut era) Source #
(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods encCBOR ∷ BabbageTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #
NFData (BabbageTxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods rnf ∷ BabbageTxOut era → () Source #
(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods (==) ∷ BabbageTxOut era → BabbageTxOut era → Bool Source # (/=) ∷ BabbageTxOut era → BabbageTxOut era → Bool Source #
(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods noThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #
type Rep (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.10.1.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))
type Share (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking (EraCrypto era))

data BabbageTxBody era Source #

Instances

Instances details

Memoized BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type RawType BabbageTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ BabbageTxBody era → MemoBytes (RawType BabbageTxBody) era wrapMemoBytes ∷ MemoBytes (RawType BabbageTxBody) era → BabbageTxBody era
Generic (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type Rep (BabbageTxBody era) ∷ Type → Type Source # Methods from ∷ BabbageTxBody era → Rep (BabbageTxBody era) x Source # to ∷ Rep (BabbageTxBody era) x → BabbageTxBody era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods showsPrec ∷ Int → BabbageTxBody era → ShowS Source # show ∷ BabbageTxBody era → String Source # showList ∷ [BabbageTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods toCBOR ∷ BabbageTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxBody era] → Size Source #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (BabbageTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (BabbageTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (BabbageTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (BabbageTxBody era)) → Text Source #
Era era ⇒ EncCBOR (BabbageTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods encCBOR ∷ BabbageTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxBody era] → Size Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods eqRaw ∷ BabbageTxBody era → BabbageTxBody era → Bool Source #
SafeToHash (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods originalBytes ∷ BabbageTxBody era → ByteString Source # originalBytesSize ∷ BabbageTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → BabbageTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods rnf ∷ BabbageTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods (==) ∷ BabbageTxBody era → BabbageTxBody era → Bool Source # (/=) ∷ BabbageTxBody era → BabbageTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods noThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBody era) → String Source #
c ~ EraCrypto era ⇒ HashAnnotated (BabbageTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods indexProxy ∷ BabbageTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ BabbageTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type RawType BabbageTxBody = BabbageTxBodyRaw
type Rep (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type Rep (BabbageTxBody era) = Rep (MemoBytes BabbageTxBodyRaw era)

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Instances

Instances details

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toJSON ∷ AlonzoScript era → Value Source # toEncoding ∷ AlonzoScript era → Encoding Source # toJSONList ∷ [AlonzoScript era] → Value Source # toEncodingList ∷ [AlonzoScript era] → Encoding Source # omitField ∷ AlonzoScript era → Bool Source #
Generic (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (AlonzoScript era) ∷ Type → Type Source # Methods from ∷ AlonzoScript era → Rep (AlonzoScript era) x Source # to ∷ Rep (AlonzoScript era) x → AlonzoScript era Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → AlonzoScript era → ShowS Source # show ∷ AlonzoScript era → String Source # showList ∷ [AlonzoScript era] → ShowS Source #
AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR ∷ AlonzoScript era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #
AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods decCBOR ∷ Decoder s (Annotator (AlonzoScript era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoScript era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoScript era)) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods encCBOR ∷ AlonzoScript era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #
Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #
SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era)	Both constructors know their original bytes
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ AlonzoScript era → ByteString Source # originalBytesSize ∷ AlonzoScript era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoScript era → SafeHash c index Source #
NFData (PlutusScript era) ⇒ NFData (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ AlonzoScript era → () Source #
Eq (PlutusScript era) ⇒ Eq (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ AlonzoScript era → AlonzoScript era → Bool Source # (/=) ∷ AlonzoScript era → AlonzoScript era → Bool Source #
(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoScript era) → String Source #
type Rep (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details

Memoized AlonzoTxAuxData
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType AlonzoTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxAuxData) era → AlonzoTxAuxData era
Generic (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x Source # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS Source # show ∷ AlonzoTxAuxData era → String Source # showList ∷ [AlonzoTxAuxData era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
Era era ⇒ DecCBOR (Annotator (AlonzoTxAuxData era))
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxData era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxData era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
EqRaw (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
SafeToHash (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxAuxData era → SafeHash c index Source #
NFData (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () Source #
Eq (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
NoThunks (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods noThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxAuxData era) → String Source #
EraCrypto era ~ c ⇒ HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData c
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods indexProxy ∷ AlonzoTxAuxData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ AlonzoTxAuxData era → SafeHash c EraIndependentTxAuxData Source #
type RawType AlonzoTxAuxData
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw
type Rep (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "AlonzoTxAuxDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

Orphan instances

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (BabbageEra c) Source #
Instance details Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (BabbageEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Tx (BabbageEra c) → m (EventReturnType ep (EraRule "LEDGER" (BabbageEra c)) (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c)))) Source # reapplyTx ∷ MonadError (ApplyTxError (BabbageEra c)) m ⇒ Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Validated (Tx (BabbageEra c)) → m (MempoolState (BabbageEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (BabbageEra c) Source #
Instance details Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (BabbageEra c)) (NewEpochState (BabbageEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (BabbageEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (EraCrypto (BabbageEra c))) (BabbageEra c) → m (EventReturnType ep (EraRule "BBODY" (BabbageEra c)) (NewEpochState (BabbageEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (EraCrypto (BabbageEra c))) (BabbageEra c) → NewEpochState (BabbageEra c) Source #