EraPP Conway Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.SimplePParams |
IsConwayUniv fn ⇒ LedgerEra Conway fn Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Utxos |
InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Bbody |
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 "MEMPOOL" ConwayMempoolPredFailure (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Mempool |
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 |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTx Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
IsConwayUniv fn ⇒ HasSpec fn (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (GovAction Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (ProposalProcedure Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (EnactSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraTxCert Conway, EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (GovSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovCertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP (ConwayEra c), IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (ConwayTxBody (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (PoolEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulser Conway Identity (RatifyState Conway)) 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.Internal |
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 |
Crypto c ⇒ PrettyA (PParamsUpdate (ConwayEra c)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Generic.PrettyCore |
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 (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
HasSimpleRep (ConwayGovCertEnv Conway) 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 (PoolEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
Crypto c ⇒ TranslateEra (ConwayEra c) Tx | |
Instance detailsDefined in Cardano.Ledger.Conway.Translation |
WellFormed (ConwayGovState Conway) Conway Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
WellFormed (GovEnv Conway) Conway Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) | |
Instance detailsDefined in Cardano.Ledger.Conway.PParams |
HasSimpleRep (DRepPulser Conway Identity (RatifyState Conway)) 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 "HARDFORK" (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 "MEMPOOL" (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 "HARDFORK" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.HardFork |
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 "MEMPOOL" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Mempool |
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 "MEMPOOL" (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Rules.Mempool |
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 Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (GovAction Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ProposalProcedure Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (EnactSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (GovSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (ConwayGovCertEnv Conway) 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 (PoolEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTx Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (GovAction Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ProposalProcedure Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (EnactSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (GovSignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (ConwayGovCertEnv Conway) 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 (PoolEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type Prerequisites fn (DRepPulser Conway Identity (RatifyState Conway)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) 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.Internal |
type TxBodyUpgradeError (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.TxBody.Internal |
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 Genesis (ConwayEra c) | |
Instance detailsDefined in Cardano.Ledger.Conway.Genesis |
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 (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type SimpleRep (ConwayGovCertEnv Conway) 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 (PoolEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (AlonzoTxAuxData Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (AlonzoTxWits Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (ConwayGovState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (DRepPulsingState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (PulsingSnapshot Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (EnactState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifyEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifySignal Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (RatifyState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (Committee Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (GovActionState Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (Proposals Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (CertEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (CertsEnv Conway) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (ConwayGovCertEnv Conway) 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 (PoolEnv Conway) 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 Conway Identity (RatifyState Conway)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |
type TheSop (DRepPulser Conway Identity (RatifyState Conway)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Constrained.Conway.Instances |