InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxos |
InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Cert |
InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Certs |
InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Deleg |
InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Gov |
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.GovCert |
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Ledger |
InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxo |
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxos |
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxow |
IsConwayUniv fn ⇒ HasSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
Crypto c ⇒ ConwayEraGov (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Governance |
Crypto c ⇒ ConwayEraPParams (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
Crypto c ⇒ ConwayEraScript (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
Crypto c ⇒ ConwayEraTransition (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Transition |
Crypto c ⇒ ConwayEraTxBody (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxBody |
Crypto c ⇒ ConwayEraTxCert (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getUnRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source # mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getRegDepositDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source # getAuthCommitteeHotKeyTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getResignCommitteeColdTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source # getUnRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source # getUpdateDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # |
Crypto c ⇒ Era (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
Terse (PParamsUpdate (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.Same |
Reflect (ConwayEra StandardCrypto) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.Proof |
Crypto c ⇒ HasTokens (ConwayEra c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.Scriptic |
Crypto c ⇒ PostShelley (ConwayEra c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.Scriptic |
Crypto c ⇒ Scriptic (ConwayEra c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.Scriptic |
Crypto c ⇒ GetLedgerView (ConwayEra c) | |
Instance detailsDefined in Cardano.Protocol.TPraos.API |
HasSimpleRep (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
Crypto c ⇒ HasSimpleRep (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
Crypto c ⇒ TranslateEra (ConwayEra c) Tx | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
HasSimpleRep (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type PlutusPurpose f (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
type EraRule "BBODY" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "CERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "CERTS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "DELEG" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "DELEGS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "ENACT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "EPOCH" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "GOV" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "GOVCERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "LEDGER" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "LEDGERS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "MIR" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "NEWEPOCH" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "NEWPP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "POOL" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "POOLREAP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "PPUP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "RATIFY" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "RUPD" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "SNAP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "TICK" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "TICKF" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "UPEC" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "UTXO" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "UTXOS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRule "UTXOW" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "BBODY" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Bbody |
type EraRuleEvent "CERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Cert |
type EraRuleEvent "CERTS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Certs |
type EraRuleEvent "DELEG" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Deleg |
type EraRuleEvent "DELEGS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "ENACT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Enact |
type EraRuleEvent "EPOCH" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Epoch |
type EraRuleEvent "GOV" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Gov |
type EraRuleEvent "GOVCERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.GovCert |
type EraRuleEvent "LEDGER" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Ledger |
type EraRuleEvent "LEDGERS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Ledgers |
type EraRuleEvent "MIR" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "NEWEPOCH" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.NewEpoch |
type EraRuleEvent "NEWPP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "POOL" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Pool |
type EraRuleEvent "PPUP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "TICK" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules |
type EraRuleEvent "UPEC" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleEvent "UTXO" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxo |
type EraRuleEvent "UTXOS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxos |
type EraRuleEvent "UTXOW" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxow |
type EraRuleFailure "BBODY" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Bbody |
type EraRuleFailure "CERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Cert |
type EraRuleFailure "CERTS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Certs |
type EraRuleFailure "DELEG" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Deleg |
type EraRuleFailure "DELEGS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleFailure "GOV" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Gov |
type EraRuleFailure "GOVCERT" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.GovCert |
type EraRuleFailure "LEDGER" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Ledger |
type EraRuleFailure "LEDGERS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Ledgers |
type EraRuleFailure "MIR" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleFailure "NEWPP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleFailure "POOL" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Pool |
type EraRuleFailure "PPUP" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleFailure "UPEC" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraRuleFailure "UTXO" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxo |
type EraRuleFailure "UTXOS" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxos |
type EraRuleFailure "UTXOW" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxow |
type DowngradePParams f (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
type PParamsHKD f (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
type UpgradePParams f (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
type Prerequisites fn (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Rep (PlutusScript (ConwayEra c)) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
type Rep (TransitionConfig (ConwayEra c)) | |
Instance detailsDefined in Cardano.Ledger.Conway.Transition |
type ContextError (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxInfo |
data PlutusScript (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
type NativeScript (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
type Script (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Scripts |
type Tx (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Tx |
type TxAuxData (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxAuxData |
type TxBody (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxBody |
type TxBodyUpgradeError (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxBody |
type TxOut (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxOut |
type TxSeq (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Tx |
type TxUpgradeError (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Tx |
type TxWits (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxWits |
type Value (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type EraCrypto (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type PreviousEra (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type ProtVerHigh (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type ProtVerLow (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Era |
type TranslationContext (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TxCert (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxCert |
type TxCertUpgradeError (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxCert |
type ScriptsNeeded (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.UTxO |
type AdditionalGenesisConfig (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway |
type GovState (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Governance |
data TransitionConfig (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Transition |
type SimpleRep (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (AlonzoTx (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (AlonzoTxWits (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (ConwayGovState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (DRepPulsingState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (PulsingSnapshot (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (EnactState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifyEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifySignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifyState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (Committee (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (GovActionState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (Proposals (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (CertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (EnactSignal (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (GovEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (PParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (UTxO (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (FuturePParams (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (EpochState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (LedgerState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (UTxOState (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (PoolEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (UtxoEnv (ConwayEra StandardCrypto)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TranslationError (ConwayEra c) Tx | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) CertState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) CommitteeState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) DState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) PState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) VState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) PParams | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) UTxO | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) FuturePParams | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) EpochState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) LedgerState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) NewEpochState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type TranslationError (ConwayEra c) UTxOState | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
type SimpleRep (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |