Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway

Contents

Orphan instances

Synopsis

type Conway = ConwayEra StandardCrypto
data ConwayEra c

Documentation

type Conway = ConwayEra StandardCrypto Source #

data ConwayEra c Source #

The Conway era

Instances

Instances details

InjectRuleEvent "TICK" ConwayEpochEvent (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayEpochEvent (ConwayEra c) → EraRuleEvent "TICK" (ConwayEra c) Source #
InjectRuleEvent "UTXOS" AlonzoUtxosEvent (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ AlonzoUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERT" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "DELEG" (ConwayEra c) Source #
InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "GOV" (ConwayEra c) Source #
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "GOVCERT" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayMempoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "MEMPOOL" (ConwayEra c) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem (ConwayEra c) → Maybe (Data (ConwayEra c)) → Data (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusArgs 'PlutusV1) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV2) Source # toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem (ConwayEra c) → Maybe (Data (ConwayEra c)) → Data (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusArgs 'PlutusV2) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV3 → ProtVer → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV3) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV3 → ProtVer → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV3) Source # toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV3) Source # toPlutusArgs ∷ proxy 'PlutusV3 → ProtVer → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem (ConwayEra c) → Maybe (Data (ConwayEra c)) → Data (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusArgs 'PlutusV3) Source #
Crypto c ⇒ ConwayEraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate (ConwayEra c) → ChangedParameters Source #
Crypto c ⇒ FromJSON (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (ConwayEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (ConwayEra c)] Source # omittedField ∷ Maybe (TransitionConfig (ConwayEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods toJSON ∷ TransitionConfig (ConwayEra c) → Value Source # toEncoding ∷ TransitionConfig (ConwayEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (ConwayEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (ConwayEra c)] → Encoding Source # omitField ∷ TransitionConfig (ConwayEra c) → Bool Source #
Generic (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types type Rep (PlutusScript (ConwayEra c)) ∷ Type → Type Source # Methods from ∷ PlutusScript (ConwayEra c) → Rep (PlutusScript (ConwayEra c)) x Source # to ∷ Rep (PlutusScript (ConwayEra c)) x → PlutusScript (ConwayEra c) Source #
Generic (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Associated Types type Rep (TransitionConfig (ConwayEra c)) ∷ Type → Type Source # Methods from ∷ TransitionConfig (ConwayEra c) → Rep (TransitionConfig (ConwayEra c)) x Source # to ∷ Rep (TransitionConfig (ConwayEra c)) x → TransitionConfig (ConwayEra c) Source #
Show (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods showsPrec ∷ Int → PlutusScript (ConwayEra c) → ShowS Source # show ∷ PlutusScript (ConwayEra c) → String Source # showList ∷ [PlutusScript (ConwayEra c)] → ShowS Source #
Crypto c ⇒ Show (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods showsPrec ∷ Int → TransitionConfig (ConwayEra c) → ShowS Source # show ∷ TransitionConfig (ConwayEra c) → String Source # showList ∷ [TransitionConfig (ConwayEra c)] → ShowS Source #
Crypto c ⇒ AllegraEraScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript (ConwayEra c) Source # getTimeStart ∷ NativeScript (ConwayEra c) → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript (ConwayEra c) Source # getTimeExpire ∷ NativeScript (ConwayEra c) → Maybe SlotNo Source #
Crypto c ⇒ AllegraEraTxAuxData (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (ConwayEra c)) (StrictSeq (Timelock (ConwayEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody (ConwayEra c)) ValidityInterval Source #
Crypto c ⇒ AlonzoEraPParams (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (ConwayEra c)) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #
Crypto c ⇒ EraPlutusContext (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Associated Types type ContextError (ConwayEra c) = (r ∷ Type) Source # Methods mkPlutusWithContext ∷ PlutusScript (ConwayEra c) → ScriptHash (EraCrypto (ConwayEra c)) → PlutusPurpose AsIxItem (ConwayEra c) → LedgerTxInfo (ConwayEra c) → (Data (ConwayEra c), ExUnits) → CostModel → Either (ContextError (ConwayEra c)) (PlutusWithContext (EraCrypto (ConwayEra c))) Source #
Crypto c ⇒ AlonzoEraScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types data PlutusScript (ConwayEra c) Source # type PlutusPurpose f (ConwayEra c) = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script (ConwayEra c) → Maybe (PlutusScript (ConwayEra c)) Source # fromPlutusScript ∷ PlutusScript (ConwayEra c) → Script (ConwayEra c) Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (ConwayEra c)) Source # withPlutusScript ∷ PlutusScript (ConwayEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (ConwayEra c) → PlutusPurpose f (ConwayEra c) Source # mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source # toSpendingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxIn (EraCrypto (ConwayEra c)))) Source # mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source # toMintingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (PolicyID (EraCrypto (ConwayEra c)))) Source # mkCertifyingPurpose ∷ f Word32 (TxCert (ConwayEra c)) → PlutusPurpose f (ConwayEra c) Source # toCertifyingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxCert (ConwayEra c))) Source # mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source # toRewardingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (ConwayEra c)))) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra (ConwayEra c)) → PlutusPurpose AsIx (ConwayEra c) Source #
Crypto c ⇒ AlonzoEraTx (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods isValidTxL ∷ Lens' (Tx (ConwayEra c)) IsValid Source #
Crypto c ⇒ AlonzoEraTxAuxData (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (ConwayEra c)) (Map Language (NonEmpty PlutusBinary)) Source #
Crypto c ⇒ AlonzoEraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Set (TxIn (EraCrypto (ConwayEra c)))) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Set (KeyHash 'Witness (EraCrypto (ConwayEra c)))) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (ConwayEra c)))) Source # networkIdTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody (ConwayEra c) → PlutusPurpose AsItem (ConwayEra c) → StrictMaybe (PlutusPurpose AsIx (ConwayEra c)) Source # redeemerPointerInverse ∷ TxBody (ConwayEra c) → PlutusPurpose AsIx (ConwayEra c) → StrictMaybe (PlutusPurpose AsIxItem (ConwayEra c)) Source #
Crypto c ⇒ AlonzoEraTxOut (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (ConwayEra c)) (StrictMaybe (DataHash (EraCrypto (ConwayEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (ConwayEra c)) (Datum (ConwayEra c)) Source #
Crypto c ⇒ AlonzoEraTxWits (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (TxDats (ConwayEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (Redeemers (ConwayEra c)) Source #
Crypto c ⇒ AlonzoEraUTxO (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO Methods getSupplementalDataHashes ∷ UTxO (ConwayEra c) → TxBody (ConwayEra c) → Set (DataHash (EraCrypto (ConwayEra c))) Source # getSpendingDatum ∷ UTxO (ConwayEra c) → Tx (ConwayEra c) → PlutusPurpose AsItem (ConwayEra c) → Maybe (Data (ConwayEra c)) Source #
Crypto c ⇒ BabbageEraPParams (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CoinPerByte) Source #
Crypto c ⇒ BabbageEraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictSeq (Sized (TxOut (ConwayEra c)))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Set (TxIn (EraCrypto (ConwayEra c)))) Source # totalCollateralTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe (TxOut (ConwayEra c))) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe (Sized (TxOut (ConwayEra c)))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (ConwayEra c)) (StrictSeq (Sized (TxOut (ConwayEra c)))) Source #
Crypto c ⇒ BabbageEraTxOut (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut (ConwayEra c)) (StrictMaybe (Script (ConwayEra c))) Source # dataTxOutL ∷ Lens' (TxOut (ConwayEra c)) (StrictMaybe (Data (ConwayEra c))) Source # datumTxOutL ∷ Lens' (TxOut (ConwayEra c)) (Datum (ConwayEra c)) Source #
Crypto c ⇒ ConwayEraGov (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL ∷ Lens' (GovState (ConwayEra c)) (Constitution (ConwayEra c)) Source # proposalsGovStateL ∷ Lens' (GovState (ConwayEra c)) (Proposals (ConwayEra c)) Source # drepPulsingStateGovStateL ∷ Lens' (GovState (ConwayEra c)) (DRepPulsingState (ConwayEra c)) Source # committeeGovStateL ∷ Lens' (GovState (ConwayEra c)) (StrictMaybe (Committee (ConwayEra c))) Source #
Crypto c ⇒ RunConwayRatify (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway Methods runConwayRatify ∷ Globals → RatifyEnv (ConwayEra c) → RatifyState (ConwayEra c) → RatifySignal (ConwayEra c) → RatifyState (ConwayEra c) Source #
Crypto c ⇒ ConwayEraPParams (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source # ppuWellFormed ∷ ProtVer → PParamsUpdate (ConwayEra c) → Bool Source # hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f PoolVotingThresholds) Source # hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f DRepVotingThresholds) Source # hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source # hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source # hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source # hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source # hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #
Crypto c ⇒ ConwayEraScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkVotingPurpose ∷ f Word32 (Voter (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source # toVotingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (Voter (EraCrypto (ConwayEra c)))) Source # mkProposingPurpose ∷ f Word32 (ProposalProcedure (ConwayEra c)) → PlutusPurpose f (ConwayEra c) Source # toProposingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (ProposalProcedure (ConwayEra c))) Source #
Crypto c ⇒ ConwayEraTransition (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'Staking (EraCrypto (ConwayEra c))) (Delegatee (EraCrypto (ConwayEra c)))) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'DRepRole (EraCrypto (ConwayEra c))) (DRepState (EraCrypto (ConwayEra c)))) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ConwayGenesis (EraCrypto (ConwayEra c))) Source #
Crypto c ⇒ ConwayEraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods currentTreasuryValueTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (VotingProcedures (ConwayEra c)) Source # proposalProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (OSet (ProposalProcedure (ConwayEra c))) Source # treasuryDonationTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source #
Crypto c ⇒ ConwayEraTxCert (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getUnRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source # mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getRegDepositDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getAuthCommitteeHotKeyTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getResignCommitteeColdTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getUnRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getUpdateDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #
Crypto c ⇒ EraScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types type Script (ConwayEra c) = (r ∷ Type) Source # type NativeScript (ConwayEra c) = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra (ConwayEra c)) → Script (ConwayEra c) Source # scriptPrefixTag ∷ Script (ConwayEra c) → ByteString Source # getNativeScript ∷ Script (ConwayEra c) → Maybe (NativeScript (ConwayEra c)) Source # fromNativeScript ∷ NativeScript (ConwayEra c) → Script (ConwayEra c) Source #
Crypto c ⇒ EraSegWits (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type TxSeq (ConwayEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (ConwayEra c) → StrictSeq (Tx (ConwayEra c)) Source # toTxSeq ∷ StrictSeq (Tx (ConwayEra c)) → TxSeq (ConwayEra c) Source # hashTxSeq ∷ TxSeq (ConwayEra c) → Hash (HASH (EraCrypto (ConwayEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
Crypto c ⇒ EraTx (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type Tx (ConwayEra c) = (r ∷ Type) Source # type TxUpgradeError (ConwayEra c) Source # Methods mkBasicTx ∷ TxBody (ConwayEra c) → Tx (ConwayEra c) Source # bodyTxL ∷ Lens' (Tx (ConwayEra c)) (TxBody (ConwayEra c)) Source # witsTxL ∷ Lens' (Tx (ConwayEra c)) (TxWits (ConwayEra c)) Source # auxDataTxL ∷ Lens' (Tx (ConwayEra c)) (StrictMaybe (TxAuxData (ConwayEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (ConwayEra c)) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx (ConwayEra c)) Word32 Source # validateNativeScript ∷ Tx (ConwayEra c) → NativeScript (ConwayEra c) → Bool Source # getMinFeeTx ∷ PParams (ConwayEra c) → Tx (ConwayEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (ConwayEra c)) → Either (TxUpgradeError (ConwayEra c)) (Tx (ConwayEra c)) Source #
Crypto c ⇒ EraTxAuxData (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData Associated Types type TxAuxData (ConwayEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (ConwayEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (ConwayEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (ConwayEra c)) → TxAuxData (ConwayEra c) Source # hashTxAuxData ∷ TxAuxData (ConwayEra c) → AuxiliaryDataHash (EraCrypto (ConwayEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (ConwayEra c) → Bool Source #
Crypto c ⇒ EraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Associated Types type TxBody (ConwayEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (ConwayEra c) Source # Methods mkBasicTxBody ∷ TxBody (ConwayEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Set (TxIn (EraCrypto (ConwayEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictSeq (TxOut (ConwayEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Withdrawals (EraCrypto (ConwayEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (ConwayEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (ConwayEra c)) (Set (TxIn (EraCrypto (ConwayEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (ConwayEra c)) (Set (TxIn (EraCrypto (ConwayEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictSeq (TxCert (ConwayEra c))) Source # getTotalDepositsTxBody ∷ PParams (ConwayEra c) → (KeyHash 'StakePool (EraCrypto (ConwayEra c)) → Bool) → TxBody (ConwayEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (ConwayEra c) → (Credential 'Staking (EraCrypto (ConwayEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ConwayEra c)) → Maybe Coin) → TxBody (ConwayEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (ConwayEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (ConwayEra c)) → Either (TxBodyUpgradeError (ConwayEra c)) (TxBody (ConwayEra c)) Source #
Crypto c ⇒ EraTxOut (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut Associated Types type TxOut (ConwayEra c) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (ConwayEra c)) → Value (ConwayEra c) → TxOut (ConwayEra c) Source # upgradeTxOut ∷ TxOut (PreviousEra (ConwayEra c)) → TxOut (ConwayEra c) Source # valueTxOutL ∷ Lens' (TxOut (ConwayEra c)) (Value (ConwayEra c)) Source # compactValueTxOutL ∷ Lens' (TxOut (ConwayEra c)) (CompactForm (Value (ConwayEra c))) Source # valueEitherTxOutL ∷ Lens' (TxOut (ConwayEra c)) (Either (Value (ConwayEra c)) (CompactForm (Value (ConwayEra c)))) Source # addrTxOutL ∷ Lens' (TxOut (ConwayEra c)) (Addr (EraCrypto (ConwayEra c))) Source # compactAddrTxOutL ∷ Lens' (TxOut (ConwayEra c)) (CompactAddr (EraCrypto (ConwayEra c))) Source # addrEitherTxOutL ∷ Lens' (TxOut (ConwayEra c)) (Either (Addr (EraCrypto (ConwayEra c))) (CompactAddr (EraCrypto (ConwayEra c)))) Source # getMinCoinSizedTxOut ∷ PParams (ConwayEra c) → Sized (TxOut (ConwayEra c)) → Coin Source # getMinCoinTxOut ∷ PParams (ConwayEra c) → TxOut (ConwayEra c) → Coin Source #
Crypto c ⇒ EraTxWits (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxWits Associated Types type TxWits (ConwayEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (ConwayEra c) Source # addrTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (Set (WitVKey 'Witness (EraCrypto (ConwayEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (Set (BootstrapWitness (EraCrypto (ConwayEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (Map (ScriptHash (EraCrypto (ConwayEra c))) (Script (ConwayEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (ConwayEra c)) → TxWits (ConwayEra c) Source #
Crypto c ⇒ Era (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type EraCrypto (ConwayEra c) Source # type PreviousEra (ConwayEra c) = (r ∷ Type) Source # type ProtVerLow (ConwayEra c) ∷ Nat Source # type ProtVerHigh (ConwayEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Associated Types type PParamsHKD f (ConwayEra c) = (r ∷ Type) Source # type UpgradePParams f (ConwayEra c) Source # type DowngradePParams f (ConwayEra c) Source # Methods applyPPUpdates ∷ PParams (ConwayEra c) → PParamsUpdate (ConwayEra c) → PParams (ConwayEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (ConwayEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (ConwayEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (ConwayEra c))) ⇒ UpgradePParams f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) → PParamsHKD f (ConwayEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (ConwayEra c))) ⇒ DowngradePParams f (ConwayEra c) → PParamsHKD f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (ConwayEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 8) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (ConwayEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (ConwayEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 4) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #
Crypto c ⇒ EraTxCert (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type TxCert (ConwayEra c) = (r ∷ Type) Source # type TxCertUpgradeError (ConwayEra c) Source # Methods upgradeTxCert ∷ TxCert (PreviousEra (ConwayEra c)) → Either (TxCertUpgradeError (ConwayEra c)) (TxCert (ConwayEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (ConwayEra c) → Maybe (KeyHash 'Witness (EraCrypto (ConwayEra c))) Source # getScriptWitnessTxCert ∷ TxCert (ConwayEra c) → Maybe (ScriptHash (EraCrypto (ConwayEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getRegPoolTxCert ∷ TxCert (ConwayEra c) → Maybe (PoolParams (EraCrypto (ConwayEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (ConwayEra c)) → EpochNo → TxCert (ConwayEra c) Source # getRetirePoolTxCert ∷ TxCert (ConwayEra c) → Maybe (KeyHash 'StakePool (EraCrypto (ConwayEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'Staking (EraCrypto (ConwayEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'Staking (EraCrypto (ConwayEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (ConwayEra c) → (KeyHash 'StakePool (EraCrypto (ConwayEra c)) → Bool) → f (TxCert (ConwayEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (ConwayEra c) → (Credential 'Staking (EraCrypto (ConwayEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ConwayEra c)) → Maybe Coin) → f (TxCert (ConwayEra c)) → Coin Source #
Crypto c ⇒ EraGenesis (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis Associated Types type Genesis (ConwayEra c) Source #
Crypto c ⇒ ToPlutusData (PParamsUpdate (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusData ∷ PParamsUpdate (ConwayEra c) → Data Source # fromPlutusData ∷ Data → Maybe (PParamsUpdate (ConwayEra c)) Source #
Crypto c ⇒ SafeToHash (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods originalBytes ∷ PlutusScript (ConwayEra c) → ByteString Source # originalBytesSize ∷ PlutusScript (ConwayEra c) → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (ConwayEra c) → SafeHash c0 index Source #
Crypto c ⇒ EraUTxO (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO Associated Types type ScriptsNeeded (ConwayEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (ConwayEra c) → (Credential 'Staking (EraCrypto (ConwayEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ConwayEra c)) → Maybe Coin) → UTxO (ConwayEra c) → TxBody (ConwayEra c) → Value (ConwayEra c) Source # getProducedValue ∷ PParams (ConwayEra c) → (KeyHash 'StakePool (EraCrypto (ConwayEra c)) → Bool) → TxBody (ConwayEra c) → Value (ConwayEra c) Source # getScriptsProvided ∷ UTxO (ConwayEra c) → Tx (ConwayEra c) → ScriptsProvided (ConwayEra c) Source # getScriptsNeeded ∷ UTxO (ConwayEra c) → TxBody (ConwayEra c) → ScriptsNeeded (ConwayEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (ConwayEra c) → Set (ScriptHash (EraCrypto (ConwayEra c))) Source # getWitsVKeyNeeded ∷ CertState (ConwayEra c) → UTxO (ConwayEra c) → TxBody (ConwayEra c) → Set (KeyHash 'Witness (EraCrypto (ConwayEra c))) Source # getMinFeeTxUtxo ∷ PParams (ConwayEra c) → Tx (ConwayEra c) → UTxO (ConwayEra c) → Coin Source #
Crypto c ⇒ MaryEraTxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (MultiAsset (EraCrypto (ConwayEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (ConwayEra c)) (Value (ConwayEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (ConwayEra c)) (Set (PolicyID (EraCrypto (ConwayEra c)))) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (ConwayEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (ConwayEra c) → MempoolState (ConwayEra c) → Tx (ConwayEra c) → m (EventReturnType ep (EraRule "LEDGER" (ConwayEra c)) (MempoolState (ConwayEra c), Validated (Tx (ConwayEra c)))) Source # reapplyTx ∷ MonadError (ApplyTxError (ConwayEra c)) m ⇒ Globals → MempoolEnv (ConwayEra c) → MempoolState (ConwayEra c) → Validated (Tx (ConwayEra c)) → m (MempoolState (ConwayEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ConwayEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ConwayEra c)) (NewEpochState (ConwayEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ConwayEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ConwayEra c) → Block (BHeaderView (EraCrypto (ConwayEra c))) (ConwayEra c) → m (EventReturnType ep (EraRule "BBODY" (ConwayEra c)) (NewEpochState (ConwayEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (ConwayEra c) → Block (BHeaderView (EraCrypto (ConwayEra c))) (ConwayEra c) → NewEpochState (ConwayEra c) Source #
EraPParams (ConwayEra c) ⇒ EraGov (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance Associated Types type GovState (ConwayEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (ConwayEra c) Source # getProposedPPUpdates ∷ GovState (ConwayEra c) → Maybe (ProposedPPUpdates (ConwayEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (ConwayEra c)) (PParams (ConwayEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (ConwayEra c)) (PParams (ConwayEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (ConwayEra c)) (FuturePParams (ConwayEra c)) Source # obligationGovState ∷ GovState (ConwayEra c) → Obligations Source #
Crypto c ⇒ ShelleyEraScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (ConwayEra c)) → NativeScript (ConwayEra c) Source # getRequireSignature ∷ NativeScript (ConwayEra c) → Maybe (KeyHash 'Witness (EraCrypto (ConwayEra c))) Source # mkRequireAllOf ∷ StrictSeq (NativeScript (ConwayEra c)) → NativeScript (ConwayEra c) Source # getRequireAllOf ∷ NativeScript (ConwayEra c) → Maybe (StrictSeq (NativeScript (ConwayEra c))) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript (ConwayEra c)) → NativeScript (ConwayEra c) Source # getRequireAnyOf ∷ NativeScript (ConwayEra c) → Maybe (StrictSeq (NativeScript (ConwayEra c))) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript (ConwayEra c)) → NativeScript (ConwayEra c) Source # getRequireMOf ∷ NativeScript (ConwayEra c) → Maybe (Int, StrictSeq (NativeScript (ConwayEra c))) Source #
Crypto c ⇒ EraTransition (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Associated Types data TransitionConfig (ConwayEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (ConwayEra c) → TransitionConfig (PreviousEra (ConwayEra c)) → TransitionConfig (ConwayEra c) Source # injectIntoTestState ∷ TransitionConfig (ConwayEra c) → NewEpochState (ConwayEra c) → NewEpochState (ConwayEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ConwayEra c)) (TransitionConfig (PreviousEra (ConwayEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (ConwayEra c)) (TranslationContext (ConwayEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ShelleyGenesis (EraCrypto (ConwayEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ConwayEra c)) (PParams (ConwayEra c)) Source #
Crypto c ⇒ ShelleyEraTxCert (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getRegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getUnRegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → KeyHash 'StakePool (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getDelegStakeTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), KeyHash 'StakePool (EraCrypto (ConwayEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getGenesisDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (GenesisDelegCert (EraCrypto (ConwayEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getMirTxCert ∷ TxCert (ConwayEra c) → Maybe (MIRCert (EraCrypto (ConwayEra c))) Source #
NFData (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods rnf ∷ PlutusScript (ConwayEra c) → () Source #
Eq (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods (==) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source # (/=) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source #
Crypto c ⇒ Eq (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods (==) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra c) → Bool Source # (/=) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra c) → Bool Source #
Ord (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods compare ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Ordering Source # (<) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source # (<=) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source # (>) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source # (>=) ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Bool Source # max ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source # min ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source #
NoThunks (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods noThunks ∷ Context → PlutusScript (ConwayEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript (ConwayEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript (ConwayEra c)) → String Source #
Crypto c ⇒ NoThunks (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods noThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (ConwayEra c)) → String Source #
Crypto c ⇒ TranslateEra (ConwayEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) Tx Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → Tx (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) Tx) (Tx (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) CertState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → CertState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) CertState) (CertState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) CommitteeState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → CommitteeState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) CommitteeState) (CommitteeState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) DState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) DState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → DState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) DState) (DState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) PState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) PState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → PState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) PState) (PState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) VState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) VState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → VState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) VState) (VState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) PParams Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → PParams (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) PParams) (PParams (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) UTxO Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → UTxO (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) UTxO) (UTxO (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) FuturePParams Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → FuturePParams (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) FuturePParams) (FuturePParams (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) EpochState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → EpochState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) EpochState) (EpochState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) LedgerState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → LedgerState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) LedgerState) (LedgerState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) NewEpochState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → NewEpochState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) NewEpochState) (NewEpochState (ConwayEra c)) Source #
Crypto c ⇒ TranslateEra (ConwayEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) UTxOState Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → UTxOState (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) UTxOState) (UTxOState (ConwayEra c)) Source #
Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON ∷ ConwayPParams Identity (ConwayEra c) → Value Source # toEncoding ∷ ConwayPParams Identity (ConwayEra c) → Encoding Source # toJSONList ∷ [ConwayPParams Identity (ConwayEra c)] → Value Source # toEncodingList ∷ [ConwayPParams Identity (ConwayEra c)] → Encoding Source # omitField ∷ ConwayPParams Identity (ConwayEra c) → Bool Source #
type PlutusPurpose f (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f (ConwayEra c) = ConwayPlutusPurpose f (ConwayEra c)
type EraRule "BBODY" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "BBODY" (ConwayEra c) = ConwayBBODY (ConwayEra c)
type EraRule "CERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERT" (ConwayEra c) = ConwayCERT (ConwayEra c)
type EraRule "CERTS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERTS" (ConwayEra c) = ConwayCERTS (ConwayEra c)
type EraRule "DELEG" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEG" (ConwayEra c) = ConwayDELEG (ConwayEra c)
type EraRule "DELEGS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRule "ENACT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "ENACT" (ConwayEra c) = ConwayENACT (ConwayEra c)
type EraRule "EPOCH" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "EPOCH" (ConwayEra c) = ConwayEPOCH (ConwayEra c)
type EraRule "GOV" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOV" (ConwayEra c) = ConwayGOV (ConwayEra c)
type EraRule "GOVCERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOVCERT" (ConwayEra c) = ConwayGOVCERT (ConwayEra c)
type EraRule "HARDFORK" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "HARDFORK" (ConwayEra c) = ConwayHARDFORK (ConwayEra c)
type EraRule "LEDGER" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGER" (ConwayEra c) = ConwayLEDGER (ConwayEra c)
type EraRule "LEDGERS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGERS" (ConwayEra c) = ShelleyLEDGERS (ConwayEra c)
type EraRule "MEMPOOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MEMPOOL" (ConwayEra c) = ConwayMEMPOOL (ConwayEra c)
type EraRule "MIR" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRule "NEWEPOCH" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWEPOCH" (ConwayEra c) = ConwayNEWEPOCH (ConwayEra c)
type EraRule "NEWPP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRule "POOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOL" (ConwayEra c) = ShelleyPOOL (ConwayEra c)
type EraRule "POOLREAP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOLREAP" (ConwayEra c) = ShelleyPOOLREAP (ConwayEra c)
type EraRule "PPUP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRule "RATIFY" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RATIFY" (ConwayEra c)
type EraRule "RUPD" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RUPD" (ConwayEra c) = ShelleyRUPD (ConwayEra c)
type EraRule "SNAP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "SNAP" (ConwayEra c) = ShelleySNAP (ConwayEra c)
type EraRule "TICK" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICK" (ConwayEra c) = ShelleyTICK (ConwayEra c)
type EraRule "TICKF" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICKF" (ConwayEra c) = ConwayTICKF (ConwayEra c)
type EraRule "UPEC" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRule "UTXO" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXO" (ConwayEra c)
type EraRule "UTXOS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOS" (ConwayEra c) = ConwayUTXOS (ConwayEra c)
type EraRule "UTXOW" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOW" (ConwayEra c) = ConwayUTXOW (ConwayEra c)
type EraRuleEvent "BBODY" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleEvent "BBODY" (ConwayEra c) = AlonzoBbodyEvent (ConwayEra c)
type EraRuleEvent "CERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleEvent "CERT" (ConwayEra c) = ConwayCertEvent (ConwayEra c)
type EraRuleEvent "CERTS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleEvent "CERTS" (ConwayEra c) = ConwayCertsEvent (ConwayEra c)
type EraRuleEvent "DELEG" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleEvent "DELEG" (ConwayEra c) = VoidEraRule "DELEG" (ConwayEra c)
type EraRuleEvent "DELEGS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleEvent "ENACT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type EraRuleEvent "ENACT" (ConwayEra c) = VoidEraRule "ENACT" (ConwayEra c)
type EraRuleEvent "EPOCH" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type EraRuleEvent "EPOCH" (ConwayEra c) = ConwayEpochEvent (ConwayEra c)
type EraRuleEvent "GOV" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleEvent "GOV" (ConwayEra c) = ConwayGovEvent (ConwayEra c)
type EraRuleEvent "GOVCERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleEvent "GOVCERT" (ConwayEra c) = VoidEraRule "GOVCERT" (ConwayEra c)
type EraRuleEvent "HARDFORK" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type EraRuleEvent "HARDFORK" (ConwayEra c) = ConwayHardForkEvent (ConwayEra c)
type EraRuleEvent "LEDGER" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleEvent "LEDGER" (ConwayEra c) = ConwayLedgerEvent (ConwayEra c)
type EraRuleEvent "LEDGERS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleEvent "LEDGERS" (ConwayEra c) = ShelleyLedgersEvent (ConwayEra c)
type EraRuleEvent "MEMPOOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleEvent "MEMPOOL" (ConwayEra c) = ConwayMempoolEvent (ConwayEra c)
type EraRuleEvent "MIR" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleEvent "NEWEPOCH" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" (ConwayEra c) = ConwayNewEpochEvent (ConwayEra c)
type EraRuleEvent "NEWPP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleEvent "POOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleEvent "POOL" (ConwayEra c) = PoolEvent (ConwayEra c)
type EraRuleEvent "PPUP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleEvent "TICK" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules type EraRuleEvent "TICK" (ConwayEra c) = ShelleyTickEvent (ConwayEra c)
type EraRuleEvent "UPEC" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleEvent "UTXO" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleEvent "UTXO" (ConwayEra c) = AlonzoUtxoEvent (ConwayEra c)
type EraRuleEvent "UTXOS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleEvent "UTXOS" (ConwayEra c) = ConwayUtxosEvent (ConwayEra c)
type EraRuleEvent "UTXOW" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleEvent "UTXOW" (ConwayEra c) = AlonzoUtxowEvent (ConwayEra c)
type EraRuleFailure "BBODY" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleFailure "BBODY" (ConwayEra c) = ConwayBbodyPredFailure (ConwayEra c)
type EraRuleFailure "CERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleFailure "CERT" (ConwayEra c) = ConwayCertPredFailure (ConwayEra c)
type EraRuleFailure "CERTS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleFailure "CERTS" (ConwayEra c) = ConwayCertsPredFailure (ConwayEra c)
type EraRuleFailure "DELEG" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleFailure "DELEG" (ConwayEra c) = ConwayDelegPredFailure (ConwayEra c)
type EraRuleFailure "DELEGS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleFailure "GOV" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleFailure "GOV" (ConwayEra c) = ConwayGovPredFailure (ConwayEra c)
type EraRuleFailure "GOVCERT" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleFailure "GOVCERT" (ConwayEra c) = ConwayGovCertPredFailure (ConwayEra c)
type EraRuleFailure "LEDGER" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleFailure "LEDGER" (ConwayEra c) = ConwayLedgerPredFailure (ConwayEra c)
type EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleFailure "LEDGERS" (ConwayEra c) = ShelleyLedgersPredFailure (ConwayEra c)
type EraRuleFailure "MEMPOOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleFailure "MEMPOOL" (ConwayEra c) = ConwayMempoolPredFailure (ConwayEra c)
type EraRuleFailure "MIR" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleFailure "NEWPP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleFailure "POOL" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleFailure "POOL" (ConwayEra c) = ShelleyPoolPredFailure (ConwayEra c)
type EraRuleFailure "PPUP" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleFailure "UPEC" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleFailure "UTXO" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleFailure "UTXO" (ConwayEra c) = ConwayUtxoPredFailure (ConwayEra c)
type EraRuleFailure "UTXOS" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleFailure "UTXOS" (ConwayEra c) = ConwayUtxosPredFailure (ConwayEra c)
type EraRuleFailure "UTXOW" (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleFailure "UTXOW" (ConwayEra c) = ConwayUtxowPredFailure (ConwayEra c)
type DowngradePParams f (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f (ConwayEra c) = ()
type PParamsHKD f (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f (ConwayEra c) = ConwayPParams f (ConwayEra c)
type UpgradePParams f (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f (ConwayEra c) = UpgradeConwayPParams f
type Rep (PlutusScript (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript (ConwayEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))
type Rep (TransitionConfig (ConwayEra c)) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGenesis c)) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (BabbageEra c)))))
type ContextError (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError (ConwayEra c) = ConwayContextError (ConwayEra c)
data PlutusScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript (ConwayEra c) = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type NativeScript (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript (ConwayEra c) = Timelock (ConwayEra c)
type Script (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script (ConwayEra c) = AlonzoScript (ConwayEra c)
type Tx (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type Tx (ConwayEra c) = AlonzoTx (ConwayEra c)
type TxAuxData (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData (ConwayEra c) = AlonzoTxAuxData (ConwayEra c)
type TxBody (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody (ConwayEra c) = ConwayTxBody (ConwayEra c)
type TxBodyUpgradeError (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBodyUpgradeError (ConwayEra c)
type TxOut (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut (ConwayEra c) = BabbageTxOut (ConwayEra c)
type TxSeq (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type TxSeq (ConwayEra c) = AlonzoTxSeq (ConwayEra c)
type TxUpgradeError (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type TxUpgradeError (ConwayEra c) = TxBodyUpgradeError (ConwayEra c)
type TxWits (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxWits type TxWits (ConwayEra c) = AlonzoTxWits (ConwayEra c)
type Value (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type Value (ConwayEra c) = MaryValue c
type EraCrypto (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraCrypto (ConwayEra c) = c
type PreviousEra (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra (ConwayEra c) = BabbageEra c
type ProtVerHigh (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh (ConwayEra c) = 10
type ProtVerLow (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow (ConwayEra c) = 9
type TranslationContext (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationContext (ConwayEra c) = ConwayGenesis c
type TxCert (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert (ConwayEra c) = ConwayTxCert (ConwayEra c)
type TxCertUpgradeError (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError (ConwayEra c) = ConwayTxCertUpgradeError
type Genesis (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis (ConwayEra c) = ConwayGenesis c
type ScriptsNeeded (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded (ConwayEra c) = AlonzoScriptsNeeded (ConwayEra c)
type GovState (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState (ConwayEra c) = ConwayGovState (ConwayEra c)
data TransitionConfig (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig (ConwayEra c) = ConwayTransitionConfig { ctcConwayGenesis ∷ !(ConwayGenesis c) ctcBabbageTransitionConfig ∷ !(TransitionConfig (BabbageEra c)) }
type TranslationError (ConwayEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) Tx = DecoderError
type TranslationError (ConwayEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) CertState = Void
type TranslationError (ConwayEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) CommitteeState = Void
type TranslationError (ConwayEra c) DState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) DState = Void
type TranslationError (ConwayEra c) PState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PState = Void
type TranslationError (ConwayEra c) VState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) VState = Void
type TranslationError (ConwayEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PParams = Void
type TranslationError (ConwayEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) UTxO = Void
type TranslationError (ConwayEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) FuturePParams = Void
type TranslationError (ConwayEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) EpochState = Void
type TranslationError (ConwayEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) LedgerState = Void
type TranslationError (ConwayEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) NewEpochState = Void
type TranslationError (ConwayEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) UTxOState = Void

Orphan instances

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