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

Cardano.Ledger.Conway

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

Orphan instances

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

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

Associated Types

type AdditionalGenesisConfig (ConwayEra c) Source #

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

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