Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Era

Synopsis

data ConwayEra c
data ConwayCERT era
data ConwayDELEG era
data ConwayGOVCERT era
data ConwayCERTS era
data ConwayGOV era
data ConwayNEWEPOCH era
data ConwayEPOCH era
data ConwayENACT era
data ConwayUTXO era
data ConwayUTXOS era
data ConwayUTXOW era
data ConwayTICKF era
data ConwayLEDGER era
data ConwayRATIFY era

Documentation

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" 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" 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 "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 → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → PParams (ConwayEra c) → EpochInfo (Either Text) → SystemStart → UTxO (ConwayEra c) → Tx (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV1) Source # toPlutusScriptContext ∷ proxy 'PlutusV1 → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptContext 'PlutusV1) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV2 → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → PParams (ConwayEra c) → EpochInfo (Either Text) → SystemStart → UTxO (ConwayEra c) → Tx (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV2) Source # toPlutusScriptContext ∷ proxy 'PlutusV2 → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptContext 'PlutusV2) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV3 → TxCert (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxCert 'PlutusV3) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV3 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptPurpose 'PlutusV3) Source # toPlutusTxInfo ∷ proxy 'PlutusV3 → PParams (ConwayEra c) → EpochInfo (Either Text) → SystemStart → UTxO (ConwayEra c) → Tx (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusTxInfo 'PlutusV3) Source # toPlutusScriptContext ∷ proxy 'PlutusV3 → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem (ConwayEra c) → Either (ContextError (ConwayEra c)) (PlutusScriptContext '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 ⇒ 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 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 mkPlutusScriptContext ∷ PlutusScript (ConwayEra c) → PlutusPurpose AsIxItem (ConwayEra c) → PParams (ConwayEra c) → EpochInfo (Either Text) → SystemStart → UTxO (ConwayEra c) → Tx (ConwayEra c) → Either (ContextError (ConwayEra c)) (Data (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 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 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 ∷ 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 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 (AuxiliaryData (ConwayEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (ConwayEra c)) Integer 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 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 ⇒ 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 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 ⇒ CanStartFromGenesis (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway Associated Types type AdditionalGenesisConfig (ConwayEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (ConwayEra c) → PParams (ShelleyEra (EraCrypto (ConwayEra c))) → PParams (ConwayEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (ConwayEra c)) → AdditionalGenesisConfig (ConwayEra c) → NewEpochState (ConwayEra c) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTx ∷ MonadError (ApplyTxError (ConwayEra c)) m ⇒ Globals → MempoolEnv (ConwayEra c) → MempoolState (ConwayEra c) → Tx (ConwayEra c) → m (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 ⇒ 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) = AlonzoBBODY (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 "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 "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) = ConwayRATIFY (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) = ConwayUTXO (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 "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 "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) = AlonzoBbodyPredFailure (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 "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.14.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.14.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 type TxBody (ConwayEra c) = ConwayTxBody (ConwayEra c)
type TxBodyUpgradeError (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody 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 ScriptsNeeded (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded (ConwayEra c) = AlonzoScriptsNeeded (ConwayEra c)
type AdditionalGenesisConfig (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway type AdditionalGenesisConfig (ConwayEra c) = ConwayGenesis 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

data ConwayCERT era Source #

Instances

Instances details

(Era era, State (EraRule "DELEG" era) ~ DState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ VState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type State (ConwayCERT era) Source # type Signal (ConwayCERT era) Source # type Environment (ConwayCERT era) Source # type BaseM (ConwayCERT era) ∷ Type → Type Source # type Event (ConwayCERT era) Source # type PredicateFailure (ConwayCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayCERT era)] Source # assertions ∷ [Assertion (ConwayCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERT era) → String Source #
(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source # wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ConwayCERT era) Source #
type BaseM (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type BaseM (ConwayCERT era) = ShelleyBase
type Environment (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Environment (ConwayCERT era) = CertEnv era
type Event (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Event (ConwayCERT era) = ConwayCertEvent era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type Signal (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Signal (ConwayCERT era) = TxCert era
type State (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (ConwayCERT era) = CertState era

data ConwayDELEG era Source #

Instances

Instances details

(EraPParams era, State (EraRule "DELEG" era) ~ DState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ ConwayDELEG era) ⇒ STS (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types type State (ConwayDELEG era) Source # type Signal (ConwayDELEG era) Source # type Environment (ConwayDELEG era) Source # type BaseM (ConwayDELEG era) ∷ Type → Type Source # type Event (ConwayDELEG era) Source # type PredicateFailure (ConwayDELEG era) Source # Methods initialRules ∷ [InitialRule (ConwayDELEG era)] Source # transitionRules ∷ [TransitionRule (ConwayDELEG era)] Source # assertions ∷ [Assertion (ConwayDELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayDELEG era) → String Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type BaseM (ConwayDELEG era) = ShelleyBase
type Environment (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Environment (ConwayDELEG era) = ConwayDelegEnv era
type Event (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Event (ConwayDELEG era) = Void
type PredicateFailure (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type Signal (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Signal (ConwayDELEG era) = ConwayDelegCert (EraCrypto era)
type State (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (ConwayDELEG era) = DState era

data ConwayGOVCERT era Source #

Instances

Instances details

(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ VState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ ConwayGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types type State (ConwayGOVCERT era) Source # type Signal (ConwayGOVCERT era) Source # type Environment (ConwayGOVCERT era) Source # type BaseM (ConwayGOVCERT era) ∷ Type → Type Source # type Event (ConwayGOVCERT era) Source # type PredicateFailure (ConwayGOVCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayGOVCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayGOVCERT era)] Source # assertions ∷ [Assertion (ConwayGOVCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayGOVCERT era) → String Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
type BaseM (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type BaseM (ConwayGOVCERT era) = ShelleyBase
type Environment (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Environment (ConwayGOVCERT era) = ConwayGovCertEnv era
type Event (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Event (ConwayGOVCERT era) = Void
type PredicateFailure (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type Signal (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Signal (ConwayGOVCERT era) = ConwayGovCert (EraCrypto era)
type State (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type State (ConwayGOVCERT era) = VState era

data ConwayCERTS era Source #

Instances

Instances details

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRule "CERT" era) ~ CertState era, Signal (EraRule "CERT" era) ~ TxCert era, Environment (EraRule "CERT" era) ~ CertEnv era, Embed (EraRule "CERT" era) (ConwayCERTS era)) ⇒ STS (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types type State (ConwayCERTS era) Source # type Signal (ConwayCERTS era) Source # type Environment (ConwayCERTS era) Source # type BaseM (ConwayCERTS era) ∷ Type → Type Source # type Event (ConwayCERTS era) Source # type PredicateFailure (ConwayCERTS era) Source # Methods initialRules ∷ [InitialRule (ConwayCERTS era)] Source # transitionRules ∷ [TransitionRule (ConwayCERTS era)] Source # assertions ∷ [Assertion (ConwayCERTS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERTS era) → String Source #
(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source # wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type BaseM (ConwayCERTS era) = ShelleyBase
type Environment (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Environment (ConwayCERTS era) = CertsEnv era
type Event (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Event (ConwayCERTS era) = ConwayCertsEvent era
type PredicateFailure (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type Signal (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Signal (ConwayCERTS era) = Seq (TxCert era)
type State (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (ConwayCERTS era) = CertState era

data ConwayGOV era Source #

Instances

Instances details

(ConwayEraPParams era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ STS (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type State (ConwayGOV era) Source # type Signal (ConwayGOV era) Source # type Environment (ConwayGOV era) Source # type BaseM (ConwayGOV era) ∷ Type → Type Source # type Event (ConwayGOV era) Source # type PredicateFailure (ConwayGOV era) Source # Methods initialRules ∷ [InitialRule (ConwayGOV era)] Source # transitionRules ∷ [TransitionRule (ConwayGOV era)] Source # assertions ∷ [Assertion (ConwayGOV era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayGOV era) → String Source #
(ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type BaseM (ConwayGOV era) = ShelleyBase
type Environment (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Environment (ConwayGOV era) = GovEnv era
type Event (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Event (ConwayGOV era) = ConwayGovEvent era
type PredicateFailure (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type Signal (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Signal (ConwayGOV era) = GovProcedures era
type State (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type State (ConwayGOV era) = Proposals era

data ConwayNEWEPOCH era Source #

Instances

Instances details

(EraTxOut era, ConwayEraGov era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule "RATIFY" era) ~ RatifySignal era, State (EraRule "RATIFY" era) ~ RatifyState era, Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule "RATIFY" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ STS (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type State (ConwayNEWEPOCH era) Source # type Signal (ConwayNEWEPOCH era) Source # type Environment (ConwayNEWEPOCH era) Source # type BaseM (ConwayNEWEPOCH era) ∷ Type → Type Source # type Event (ConwayNEWEPOCH era) Source # type PredicateFailure (ConwayNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source # assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ConwayNEWEPOCH era) → Event (ShelleyTICK era) Source #
type BaseM (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type BaseM (ConwayNEWEPOCH era) = ShelleyBase
type Environment (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Environment (ConwayNEWEPOCH era) = ()
type Event (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Event (ConwayNEWEPOCH era) = ConwayNewEpochEvent era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type Signal (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Signal (ConwayNEWEPOCH era) = EpochNo
type State (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (ConwayNEWEPOCH era) = NewEpochState era

data ConwayEPOCH era Source #

Instances

Instances details

(EraTxOut era, RunConwayRatify era, ConwayEraGov era, Embed (EraRule "SNAP" era) (ConwayEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ConwayEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Eq (UpecPredFailure era), Show (UpecPredFailure era), Embed (EraRule "RATIFY" era) (ConwayEPOCH era), Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule "RATIFY" era) ~ RatifyState era, Signal (EraRule "RATIFY" era) ~ RatifySignal era) ⇒ STS (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types type State (ConwayEPOCH era) Source # type Signal (ConwayEPOCH era) Source # type Environment (ConwayEPOCH era) Source # type BaseM (ConwayEPOCH era) ∷ Type → Type Source # type Event (ConwayEPOCH era) Source # type PredicateFailure (ConwayEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayEPOCH era)] Source # assertions ∷ [Assertion (ConwayEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(EraGov era, PredicateFailure (ConwayRATIFY era) ~ Void, STS (ConwayRATIFY era), BaseM (ConwayRATIFY era) ~ ShelleyBase, Event (ConwayRATIFY era) ~ Void) ⇒ Embed (ConwayRATIFY era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ConwayRATIFY era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ConwayRATIFY era) → Event (ConwayEPOCH era) Source #
(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ConwayEPOCH era) Source #
(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ShelleySNAP era) → Event (ConwayEPOCH era) Source #
type BaseM (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type BaseM (ConwayEPOCH era) = ShelleyBase
type Environment (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Environment (ConwayEPOCH era) = ()
type Event (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Event (ConwayEPOCH era) = ConwayEpochEvent era
type PredicateFailure (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type Signal (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Signal (ConwayEPOCH era) = EpochNo
type State (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (ConwayEPOCH era) = EpochState era

data ConwayENACT era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Associated Types type State (ConwayENACT era) Source # type Signal (ConwayENACT era) Source # type Environment (ConwayENACT era) Source # type BaseM (ConwayENACT era) ∷ Type → Type Source # type Event (ConwayENACT era) Source # type PredicateFailure (ConwayENACT era) Source # Methods initialRules ∷ [InitialRule (ConwayENACT era)] Source # transitionRules ∷ [TransitionRule (ConwayENACT era)] Source # assertions ∷ [Assertion (ConwayENACT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayENACT era) → String Source #
EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify Methods wrapFailed ∷ PredicateFailure (ConwayENACT era) → PredicateFailure (ConwayRATIFY era) Source # wrapEvent ∷ Event (ConwayENACT era) → Event (ConwayRATIFY era) Source #
type BaseM (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type BaseM (ConwayENACT era) = ShelleyBase
type Environment (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Environment (ConwayENACT era) = ()
type Event (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Event (ConwayENACT era) = Void
type PredicateFailure (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type Signal (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Signal (ConwayENACT era) = EnactSignal era
type State (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ConwayENACT era) = EnactState era

data ConwayUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, Tx era ~ AlonzoTx era, EraRule "UTXO" era ~ ConwayUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (ConwayUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era) ⇒ STS (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types type State (ConwayUTXO era) Source # type Signal (ConwayUTXO era) Source # type Environment (ConwayUTXO era) Source # type BaseM (ConwayUTXO era) ∷ Type → Type Source # type Event (ConwayUTXO era) Source # type PredicateFailure (ConwayUTXO era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXO era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXO era)] Source # assertions ∷ [Assertion (ConwayUTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXO era) → String Source #
(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source # wrapEvent ∷ Event (ConwayUTXO era) → Event (ConwayUTXOW era) Source #
(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #
type BaseM (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type BaseM (ConwayUTXO era) = ShelleyBase
type Environment (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Environment (ConwayUTXO era) = UtxoEnv era
type Event (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Event (ConwayUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type Signal (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Signal (ConwayUTXO era) = AlonzoTx era
type State (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type State (ConwayUTXO era) = UTxOState era

data ConwayUTXOS era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type State (ConwayUTXOS era) Source # type Signal (ConwayUTXOS era) Source # type Environment (ConwayUTXOS era) Source # type BaseM (ConwayUTXOS era) ∷ Type → Type Source # type Event (ConwayUTXOS era) Source # type PredicateFailure (ConwayUTXOS era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOS era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source # assertions ∷ [Assertion (ConwayUTXOS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String Source #
(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (ConwayUTXOS era) (BabbageUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (BabbageUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (BabbageUTXO era) Source #
(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #
type BaseM (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type BaseM (ConwayUTXOS era) = ShelleyBase
type Environment (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Environment (ConwayUTXOS era) = UtxoEnv era
type Event (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Event (ConwayUTXOS era) = ConwayUtxosEvent era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type Signal (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Signal (ConwayUTXOS era) = AlonzoTx era
type State (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (ConwayUTXOS era) = UTxOState era

data ConwayUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types type State (ConwayUTXOW era) Source # type Signal (ConwayUTXOW era) Source # type Environment (ConwayUTXOW era) Source # type BaseM (ConwayUTXOW era) ∷ Type → Type Source # type Event (ConwayUTXOW era) Source # type PredicateFailure (ConwayUTXOW era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOW era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source # assertions ∷ [Assertion (ConwayUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW era) → String Source #
(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source # wrapEvent ∷ Event (ConwayUTXO era) → Event (ConwayUTXOW era) Source #
(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type BaseM (ConwayUTXOW era) = ShelleyBase
type Environment (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Environment (ConwayUTXOW era) = UtxoEnv era
type Event (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Event (ConwayUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type Signal (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Signal (ConwayUTXOW era) = Tx era
type State (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (ConwayUTXOW era) = UTxOState era

data ConwayTICKF era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Associated Types type State (ConwayTICKF era) Source # type Signal (ConwayTICKF era) Source # type Environment (ConwayTICKF era) Source # type BaseM (ConwayTICKF era) ∷ Type → Type Source # type Event (ConwayTICKF era) Source # type PredicateFailure (ConwayTICKF era) Source # Methods initialRules ∷ [InitialRule (ConwayTICKF era)] Source # transitionRules ∷ [TransitionRule (ConwayTICKF era)] Source # assertions ∷ [Assertion (ConwayTICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayTICKF era) → String Source #
type BaseM (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type BaseM (ConwayTICKF era) = ShelleyBase
type Environment (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Environment (ConwayTICKF era) = ()
type Event (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Event (ConwayTICKF era) = ConwayTickfEvent era
type PredicateFailure (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type Signal (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Signal (ConwayTICKF era) = SlotNo
type State (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (ConwayTICKF era) = NewEpochState era

data ConwayLEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era) ⇒ STS (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type State (ConwayLEDGER era) Source # type Signal (ConwayLEDGER era) Source # type Environment (ConwayLEDGER era) Source # type BaseM (ConwayLEDGER era) ∷ Type → Type Source # type Event (ConwayLEDGER era) Source # type PredicateFailure (ConwayLEDGER era) Source # Methods initialRules ∷ [InitialRule (ConwayLEDGER era)] Source # transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source # assertions ∷ [Assertion (ConwayLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
(ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ConwayLEDGER era) → Event (ShelleyLEDGERS era) Source #
(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type BaseM (ConwayLEDGER era) = ShelleyBase
type Environment (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Environment (ConwayLEDGER era) = LedgerEnv era
type Event (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Event (ConwayLEDGER era) = ConwayLedgerEvent era
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type Signal (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Signal (ConwayLEDGER era) = Tx era
type State (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (ConwayLEDGER era) = LedgerState era

data ConwayRATIFY era Source #

Instances

Instances details

(ConwayEraPParams era, Embed (EraRule "ENACT" era) (ConwayRATIFY era), State (EraRule "ENACT" era) ~ EnactState era, Environment (EraRule "ENACT" era) ~ (), Signal (EraRule "ENACT" era) ~ EnactSignal era) ⇒ STS (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify Associated Types type State (ConwayRATIFY era) Source # type Signal (ConwayRATIFY era) Source # type Environment (ConwayRATIFY era) Source # type BaseM (ConwayRATIFY era) ∷ Type → Type Source # type Event (ConwayRATIFY era) Source # type PredicateFailure (ConwayRATIFY era) Source # Methods initialRules ∷ [InitialRule (ConwayRATIFY era)] Source # transitionRules ∷ [TransitionRule (ConwayRATIFY era)] Source # assertions ∷ [Assertion (ConwayRATIFY era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayRATIFY era) → String Source #
EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify Methods wrapFailed ∷ PredicateFailure (ConwayENACT era) → PredicateFailure (ConwayRATIFY era) Source # wrapEvent ∷ Event (ConwayENACT era) → Event (ConwayRATIFY era) Source #
(EraGov era, PredicateFailure (ConwayRATIFY era) ~ Void, STS (ConwayRATIFY era), BaseM (ConwayRATIFY era) ~ ShelleyBase, Event (ConwayRATIFY era) ~ Void) ⇒ Embed (ConwayRATIFY era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ConwayRATIFY era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ConwayRATIFY era) → Event (ConwayEPOCH era) Source #
type BaseM (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type BaseM (ConwayRATIFY era) = ShelleyBase
type Environment (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Environment (ConwayRATIFY era) = RatifyEnv era
type Event (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Event (ConwayRATIFY era) = Void
type PredicateFailure (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void
type Signal (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Signal (ConwayRATIFY era) = RatifySignal era
type State (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type State (ConwayRATIFY era) = RatifyState era