cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Era

Synopsis

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

InjectRuleEvent "UTXOS" AlonzoUtxosEvent (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "BBODY" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERT" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERT" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERT" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "CERTS" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "CERTS" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "CERTS" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Crypto c ⇒ EraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Crypto c ⇒ ConwayEraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Crypto c ⇒ FromJSON (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Crypto c ⇒ ToJSON (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Generic (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (PlutusScript (ConwayEra c)) ∷ TypeType Source #

Generic (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

type Rep (TransitionConfig (ConwayEra c)) ∷ TypeType Source #

Show (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ Show (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Crypto c ⇒ AllegraEraScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ AllegraEraTxAuxData (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Crypto c ⇒ AllegraEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Crypto c ⇒ AlonzoEraPParams (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Crypto c ⇒ EraPlutusContext (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Associated Types

type ContextError (ConwayEra c) = (r ∷ Type) 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

eraMaxLanguageLanguage Source #

toPlutusScriptScript (ConwayEra c) → Maybe (PlutusScript (ConwayEra c)) Source #

fromPlutusScriptPlutusScript (ConwayEra c) → Script (ConwayEra c) Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (ConwayEra c)) Source #

withPlutusScriptPlutusScript (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 #

toSpendingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxIn (EraCrypto (ConwayEra c)))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source #

toMintingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (PolicyID (EraCrypto (ConwayEra c)))) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert (ConwayEra c)) → PlutusPurpose f (ConwayEra c) Source #

toCertifyingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxCert (ConwayEra c))) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source #

toRewardingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (ConwayEra c)))) Source #

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (ConwayEra c)) → PlutusPurpose AsIx (ConwayEra c) Source #

Crypto c ⇒ AlonzoEraTx (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

Crypto c ⇒ AlonzoEraTxAuxData (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Crypto c ⇒ AlonzoEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Crypto c ⇒ AlonzoEraTxOut (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Crypto c ⇒ AlonzoEraTxWits (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Crypto c ⇒ AlonzoEraUTxO (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

Crypto c ⇒ BabbageEraPParams (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ TypeType). 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

Crypto c ⇒ BabbageEraTxOut (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Crypto c ⇒ ConwayEraGov (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Crypto c ⇒ RunConwayRatify (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway

Crypto c ⇒ ConwayEraPParams (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Crypto c ⇒ ConwayEraScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ ConwayEraTransition (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Crypto c ⇒ ConwayEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Crypto c ⇒ ConwayEraTxCert (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

mkAuthCommitteeHotKeyTxCertCredential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getAuthCommitteeHotKeyTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCertCredential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinStrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getRegDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkUnRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCertTxCert (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 #

Crypto c ⇒ EraSegWits (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

type TxSeq (ConwayEra c) = (r ∷ Type) 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 #

Crypto c ⇒ EraTxAuxData (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Associated Types

type TxAuxData (ConwayEra c) = (r ∷ Type) 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 #

Crypto c ⇒ EraTxOut (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Associated Types

type TxOut (ConwayEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxWits (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Associated Types

type TxWits (ConwayEra c) = (r ∷ Type) 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

eraNameString 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

applyPPUpdatesPParams (ConwayEra c) → PParamsUpdate (ConwayEra c) → PParams (ConwayEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (ConwayEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (ConwayEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (ConwayEra c))) ⇒ UpgradePParams f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) → PParamsHKD f (ConwayEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (ConwayEra c))) ⇒ DowngradePParams f (ConwayEra c) → PParamsHKD f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (ConwayEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 8) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (ConwayEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (ConwayEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 4) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). 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 #

Crypto c ⇒ ToPlutusData (PParamsUpdate (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Crypto c ⇒ SafeToHash (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ EraUTxO (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

Associated Types

type ScriptsNeeded (ConwayEra c) = (r ∷ Type) Source #

Crypto c ⇒ MaryEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Crypto c ⇒ CanStartFromGenesis (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway

Associated Types

type AdditionalGenesisConfig (ConwayEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway

EraPParams (ConwayEra c) ⇒ EraGov (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

type GovState (ConwayEra c) = (r ∷ Type) Source #

Crypto c ⇒ ShelleyEraScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ EraTransition (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

data TransitionConfig (ConwayEra c) Source #

Crypto c ⇒ ShelleyEraTxCert (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

NFData (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnfPlutusScript (ConwayEra c) → () Source #

Eq (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ Eq (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Ord (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

NoThunks (PlutusScript (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ NoThunks (TransitionConfig (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Crypto c ⇒ TranslateEra (ConwayEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) Tx Source #

Crypto c ⇒ TranslateEra (ConwayEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) CertState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Crypto c ⇒ TranslateEra (ConwayEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) DState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) PState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) VState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) PParams Source #

Crypto c ⇒ TranslateEra (ConwayEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) UTxO Source #

Crypto c ⇒ TranslateEra (ConwayEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Crypto c ⇒ TranslateEra (ConwayEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) EpochState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) LedgerState Source #

Crypto c ⇒ TranslateEra (ConwayEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Crypto c ⇒ TranslateEra (ConwayEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) UTxOState Source #

Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type PlutusPurpose f (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type EraRule "BBODY" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" (ConwayEra c) = ConwayBBODY (ConwayEra c)
type EraRule "CERT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERT" (ConwayEra c) = ConwayCERT (ConwayEra c)
type EraRule "CERTS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERTS" (ConwayEra c) = ConwayCERTS (ConwayEra c)
type EraRule "DELEG" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEG" (ConwayEra c) = ConwayDELEG (ConwayEra c)
type EraRule "DELEGS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRule "ENACT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "ENACT" (ConwayEra c) = ConwayENACT (ConwayEra c)
type EraRule "EPOCH" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "EPOCH" (ConwayEra c) = ConwayEPOCH (ConwayEra c)
type EraRule "GOV" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOV" (ConwayEra c) = ConwayGOV (ConwayEra c)
type EraRule "GOVCERT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOVCERT" (ConwayEra c) = ConwayGOVCERT (ConwayEra c)
type EraRule "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 "CERT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleEvent "CERTS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

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 "GOV" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

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 "LEDGERS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

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 "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 "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 "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 "UTXOS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleEvent "UTXOW" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleFailure "BBODY" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleFailure "CERT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleFailure "CERTS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleFailure "DELEG" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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 "GOVCERT" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleFailure "LEDGER" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleFailure "LEDGERS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

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 "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 "UTXOS" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleFailure "UTXOW" (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

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 UpgradePParams f (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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.16.0.1-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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.16.0.1-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

data PlutusScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type NativeScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Script (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Tx (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxAuxData (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

type TxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type TxBodyUpgradeError (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type TxOut (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

type TxSeq (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxUpgradeError (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxWits (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

type Value (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

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 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 TxCert (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCertUpgradeError (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type ScriptsNeeded (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

type AdditionalGenesisConfig (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway

type GovState (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

data TransitionConfig (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type TranslationError (ConwayEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

data ConwayBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, EraSegWits era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, EraTx era, BabbageEraTxBody era) ⇒ STS (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type State (ConwayBBODY era) Source #

type Signal (ConwayBBODY era) Source #

type Environment (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) ∷ TypeType Source #

type Event (ConwayBBODY era) Source #

type PredicateFailure (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Environment (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Event (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type PredicateFailure (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Signal (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Signal (ConwayBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

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) ∷ TypeType Source #

type Event (ConwayCERT era) Source #

type PredicateFailure (ConwayCERT era) 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

(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

(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

(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

type BaseM (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

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 PredicateFailure (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

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) ∷ TypeType Source #

type Event (ConwayDELEG era) Source #

type PredicateFailure (ConwayDELEG 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

(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

type BaseM (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Environment (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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 Signal (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

(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

type BaseM (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Environment (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

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 Signal (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

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) ∷ TypeType Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) 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

(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

type BaseM (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Environment (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Event (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

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
(ConwayEraTxCert era, 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) ∷ TypeType Source #

type Event (ConwayGOV era) Source #

type PredicateFailure (ConwayGOV era) Source #

(ConwayEraTxCert era, 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

type BaseM (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

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 Signal (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Signal (ConwayGOV era) = GovSignal 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

(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(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

type BaseM (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

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 PredicateFailure (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Signal (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type State (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

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) ∷ TypeType Source #

type Event (ConwayEPOCH era) Source #

type PredicateFailure (ConwayEPOCH era) 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

(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

(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

(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

type BaseM (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

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 PredicateFailure (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type Signal (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

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) ∷ TypeType Source #

type Event (ConwayENACT era) Source #

type PredicateFailure (ConwayENACT era) Source #

EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

type BaseM (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

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 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) ∷ TypeType Source #

type Event (ConwayUTXO era) Source #

type PredicateFailure (ConwayUTXO era) 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

(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

type BaseM (ConwayUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

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 PredicateFailure (ConwayUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

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