Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.Rules

46 types
41 values

Packagecardano-ledger-conway-1.23.0.0
Exports90
LicenceApache-2.0

valuealonzoToConwayBbodyPredFailure

:: AlonzoBbodyPredFailure era
-> ConwayBbodyPredFailure era

value

conwayBbodyTransition :: (Signal (EraRule "BBODY" era) ~ BbodySignal era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, BaseM (EraRule "BBODY" era) ~ ShelleyBase, STS (EraRule "BBODY" era), AlonzoEraTx era, EraBlockBody era, BabbageEraTxBody era, ConwayEraPParams era) => TransitionRule (EraRule "BBODY" era)

valueshelleyToConwayBbodyPredFailure

:: ShelleyBbodyPredFailure era
-> ConwayBbodyPredFailure era

valuetotalRefScriptSizeInBlock

:: (AlonzoEraTx era, BabbageEraTxBody era)
=> ProtVer
-> StrictSeq (Tx TopTx era)
-> UTxO era
-> Int

valuevalidateBodyRefScriptsSizeTooBig

:: (AlonzoEraTx era, BabbageEraTxBody era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraBlockBody era, ConwayEraPParams era)
=> PParams era
-> BlockBody era
-> UTxO era
-> Rule (EraRule "BBODY" era) 'Transition ()

valueupdateDormantDRepExpiries

:: (EraTx era, ConwayEraTxBody era, ConwayEraCertState era)
=> Tx l era
-> EpochNo
-> CertState era
-> CertState era

valueupdateDormantDRepExpiry :: EpochNo -> VState era -> VState era

valueupdateVotingDRepExpiries

:: (EraTx era, ConwayEraTxBody era, ConwayEraCertState era)
=> Tx l era
-> EpochNo
-> EpochInterval
-> CertState era
-> CertState era

value

conwayDelegTransition :: (EraPParams era, ConwayEraCertState era, Signal (EraRule rule era) ~ ConwayDelegCert, Environment (EraRule rule era) ~ ConwayDelegEnv era, State (EraRule rule era) ~ CertState era, InjectRuleFailure rule ConwayDelegPredFailure era) => TransitionRule (EraRule rule era)

valueprocessDelegation

:: ConwayEraCertState era
=> Credential Staking
-> Delegatee
-> CertState era
-> CertState era

patternpattern InvalidPolicyHash :: StrictMaybe ScriptHash -> StrictMaybe ScriptHash -> ConwayGovPredFailure era

Deprecated. In favor of InvalidGuardrailsScriptHash

valuecheckGuardrailsScriptHash

valuecheckPolicy

Deprecated. In favor of checkGuardrailsScriptHash

value

conwayGovTransition :: (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, STS (EraRule rule era), Signal (EraRule rule era) ~ GovSignal era, BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ GovEnv era, State (EraRule rule era) ~ Proposals era, InjectRuleFailure rule ConwayGovPredFailure era, InjectRuleEvent rule ConwayGovEvent era) => TransitionRule (EraRule rule era)

valueunelectedCommitteeVoters

valuecomputeDRepExpiry :: EpochInterval -> EpochNo -> EpochNo -> EpochNo

value

conwayGovCertTransition :: (ConwayEraPParams era, ConwayEraCertState era, InjectRuleFailure rule ConwayGovCertPredFailure era, State (EraRule rule era) ~ CertState era, Signal (EraRule rule era) ~ ConwayGovCert, Environment (EraRule rule era) ~ ConwayGovCertEnv era) => TransitionRule (EraRule rule era)

value

conwayLedgerTransition :: (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) => TransitionRule (someLEDGER era)

valueconwayLedgerTransitionTRC

:: (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era)
=> TRC (someLEDGER era)
-> TransitionRule (someLEDGER era)

valueshelleyToConwayLedgerPredFailure

:: ShelleyLedgerPredFailure era
-> ConwayLedgerPredFailure era

valuevalidateRefScriptSize

:: (EraTx era, BabbageEraTxBody era, ConwayEraPParams era)
=> PParams era
-> UTxO era
-> Tx l era
-> Test (ConwayLedgerPredFailure era)

valuevalidateTreasuryValue

:: ConwayEraTxBody era
=> TxBody l era
-> Coin
-> Test (ConwayLedgerPredFailure era)

valuevalidateWithdrawalsDelegated

:: (EraTx era, ConwayEraCertState era)
=> Accounts era
-> Tx l era
-> Test (ConwayLedgerPredFailure era)

valueacceptedByEveryone

:: (ConwayEraPParams era, ConwayEraAccounts era)
=> RatifyEnv era
-> RatifyState era
-> GovActionState era
-> Bool

valuecommitteeAccepted

:: ConwayEraPParams era
=> RatifyEnv era
-> RatifyState era
-> GovActionState era
-> Bool

valuecommitteeAcceptedRatio

:: Map (Credential ColdCommitteeRole) EpochNo
-> Map (Credential HotCommitteeRole) Vote
-> CommitteeState era
-> EpochNo
-> Rational

valuedRepAccepted

:: ConwayEraPParams era
=> RatifyEnv era
-> RatifyState era
-> GovActionState era
-> Bool

valuedRepAcceptedRatio

:: RatifyEnv era
-> Map (Credential DRepRole) Vote
-> GovAction era
-> Rational

valueprevActionAsExpected

valuespoAccepted

:: (ConwayEraPParams era, ConwayEraAccounts era)
=> RatifyEnv era
-> RatifyState era
-> GovActionState era
-> Bool

valuespoAcceptedRatio

:: ConwayEraAccounts era
=> RatifyEnv era
-> GovActionState era
-> ProtVer
-> Rational

valuevalidCommitteeTerm

:: ConwayEraPParams era
=> GovAction era
-> PParams era
-> EpochNo
-> Bool

valuewithdrawalCanWithdraw :: GovAction era -> Coin -> Bool

valueallegraToConwayUtxoPredFailure

:: EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era
=> AllegraUtxoPredFailure era
-> ConwayUtxoPredFailure era

valuealonzoToConwayUtxoPredFailure

:: AlonzoUtxoPredFailure era
-> ConwayUtxoPredFailure era

valuebabbageToConwayUtxoPredFailure

:: BabbageUtxoPredFailure era
-> ConwayUtxoPredFailure era

valueupdateTreasuryDonation

:: (AlonzoEraTx era, ConwayEraTxBody era)
=> Tx TopTx era
-> UTxOState era
-> UTxOState era

valuealonzoToConwayUtxosEvent

:: EraRuleEvent "PPUP" era ~ VoidEraRule "PPUP" era
=> AlonzoUtxosEvent era
-> ConwayUtxosEvent era

valuealonzoToConwayUtxosPredFailure

:: EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era
=> AlonzoUtxosPredFailure era
-> ConwayUtxosPredFailure era

valuealonzoToConwayUtxowPredFailure

:: AlonzoUtxowPredFailure era
-> ConwayUtxowPredFailure era

valuebabbageToConwayUtxowPredFailure

:: BabbageUtxowPredFailure era
-> ConwayUtxowPredFailure era

valueshelleyToConwayUtxowPredFailure

:: ShelleyUtxowPredFailure era
-> ConwayUtxowPredFailure era

datadata BBODY era

Instances8Embed, STS, BaseM, Environment, Event, PredicateFailure, …

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers) => Embed ledgers (BBODY era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx TopTx era), AlonzoEraTxWits era, EraBlockBody era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, EraRule "BBODY" era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) => STS (BBODY era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type BaseM (BBODY era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type Environment (BBODY era) = BbodyEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type Event (BBODY era) = AlonzoBbodyEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type Signal (BBODY era) = BbodySignal eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan

datadata CERT era

Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ ConwayTxCert era, EraCertState era) => STS (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
(Era era, STS (CERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) => Embed (CERT era) (CERTS era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
(Era era, STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) => Embed (DELEG era) (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
(Era era, STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
(Era era, STS (POOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (POOL era) ~ ShelleyPoolPredFailure era, BaseM (POOL era) ~ ShelleyBase) => Embed (POOL era) (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type BaseM (CERT era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type Environment (CERT era) = CertEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type Event (CERT era) = ConwayCertEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type Signal (CERT era) = TxCert eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type State (CERT era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan

datadata CERTS era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRule "CERT" era) ~ CertState era, Signal (EraRule "CERT" era) ~ TxCert era, Environment (EraRule "CERT" era) ~ CertEnv era, Embed (EraRule "CERT" era) (CERTS era), EraCertState era, ConwayEraCertState era, EraRuleFailure "CERT" era ~ PredicateFailure (EraRule "CERT" era)) => STS (CERTS era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (CERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ CERTS era, ConwayEraCertState era) => Embed (CERTS era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(Era era, STS (CERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) => Embed (CERT era) (CERTS era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type BaseM (CERTS era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type Environment (CERTS era) = CertsEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type Event (CERTS era) = ConwayCertsEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type Signal (CERTS era) = Seq (TxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type State (CERTS era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan

datadata DELEG era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraPParams era, EraCertState era, ConwayEraCertState era, State (EraRule "DELEG" era) ~ CertState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ DELEG era, InjectRuleFailure "DELEG" ConwayDelegPredFailure era) => STS (DELEG era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
(Era era, STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) => Embed (DELEG era) (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type BaseM (DELEG era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type Environment (DELEG era) = ConwayDelegEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type Event (DELEG era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type Signal (DELEG era) = ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type State (DELEG era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan

datadata ENACT era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

EraGov era => STS (ENACT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
EraGov era => Embed (ENACT era) (RATIFY era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type BaseM (ENACT era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type Environment (ENACT era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type Event (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type Signal (ENACT era) = EnactSignal eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type State (ENACT era) = EnactState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan

datadata EPOCH era

Instances12STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "SNAP" era) (EPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots era, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (EPOCH era), Environment (EraRule "POOLREAP" era) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "RATIFY" era) (EPOCH era), Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule "RATIFY" era) ~ RatifyState era, Signal (EraRule "RATIFY" era) ~ RatifySignal era, Embed (EraRule "HARDFORK" era) (EPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) => STS (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
(EraTxOut era, EraStake era, EraCertState era, Event (EraRule "SNAP" era) ~ SnapEvent era) => Embed (SNAP era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
(Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) => Embed (POOLREAP era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
(EraGov era, PredicateFailure (HARDFORK era) ~ Void, STS (HARDFORK era), BaseM (HARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) => Embed (HARDFORK era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
(EraGov era, PredicateFailure (RATIFY era) ~ Void, STS (RATIFY era), BaseM (RATIFY era) ~ ShelleyBase, Event (RATIFY era) ~ Void) => Embed (RATIFY era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
(STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) => Embed (EPOCH era) (NEWEPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type BaseM (EPOCH era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type Environment (EPOCH era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type Event (EPOCH era) = ConwayEpochEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type Signal (EPOCH era) = EpochNoDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type State (EPOCH era) = EpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan

datadata GOV era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) => STS (GOV era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) => Embed (GOV era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type BaseM (GOV era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type Environment (GOV era) = GovEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type Event (GOV era) = ConwayGovEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type Signal (GOV era) = GovSignal eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type State (GOV era) = Proposals eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan

datadata GOVCERT era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ GOVCERT era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era)), ConwayEraCertState era) => STS (GOVCERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
(Era era, STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type BaseM (GOVCERT era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type Environment (GOVCERT era) = ConwayGovCertEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type Event (GOVCERT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type Signal (GOVCERT era) = ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type State (GOVCERT era) = CertState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan

datadata HARDFORK era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraGov era, EraStake era, EraCertState era, ConwayEraCertState era) => STS (HARDFORK era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
(EraGov era, PredicateFailure (HARDFORK era) ~ Void, STS (HARDFORK era), BaseM (HARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) => Embed (HARDFORK era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type BaseM (HARDFORK era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type Environment (HARDFORK era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type Event (HARDFORK era) = ConwayHardForkEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type Signal (HARDFORK era) = ProtVerDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type State (HARDFORK era) = EpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan

datadata LEDGER era

Instances12STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) => STS (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) => Embed (LEDGER era) (MEMPOOL era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) => Embed (GOV era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (CERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ CERTS era, ConwayEraCertState era) => Embed (CERTS era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, EraRule "GOV" era ~ GOV era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayCertsPredFailure era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type Event (LEDGER era) = ConwayLedgerEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan

datadata MEMPOOL era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (MEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era) => STS (MEMPOOL era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) => Embed (LEDGER era) (MEMPOOL era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type BaseM (MEMPOOL era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type Environment (MEMPOOL era) = LedgerEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type Event (MEMPOOL era) = ConwayLedgerEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type Signal (MEMPOOL era) = StAnnTx TopTx eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type State (MEMPOOL era) = LedgerState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan

datadata NEWEPOCH era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTxOut era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "EPOCH" era) (NEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule "RATIFY" era) ~ RatifySignal era, State (EraRule "RATIFY" era) ~ RatifyState era, Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule "RATIFY" era)), Show (PredicateFailure (EraRule "RATIFY" era)), Eq (PredicateFailure (NEWEPOCH era)), Show (PredicateFailure (NEWEPOCH era))) => STS (NEWEPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
(STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) => Embed (EPOCH era) (NEWEPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
(STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, PredicateFailure (EraRule "NEWEPOCH" era) ~ PredicateFailure (NEWEPOCH era)) => Embed (NEWEPOCH era) (TICK era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type BaseM (NEWEPOCH era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type Environment (NEWEPOCH era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type Event (NEWEPOCH era) = ConwayNewEpochEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type Signal (NEWEPOCH era) = EpochNoDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan

datadata RATIFY era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraPParams era, ConwayEraAccounts era, Embed (EraRule "ENACT" era) (RATIFY era), State (EraRule "ENACT" era) ~ EnactState era, Environment (EraRule "ENACT" era) ~ (), Signal (EraRule "ENACT" era) ~ EnactSignal era) => STS (RATIFY era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
EraGov era => Embed (ENACT era) (RATIFY era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
(EraGov era, PredicateFailure (RATIFY era) ~ Void, STS (RATIFY era), BaseM (RATIFY era) ~ ShelleyBase, Event (RATIFY era) ~ Void) => Embed (RATIFY era) (EPOCH era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type BaseM (RATIFY era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type Environment (RATIFY era) = RatifyEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type Event (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type Signal (RATIFY era) = RatifySignal eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type State (RATIFY era) = RatifyState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan

datadata TICKF era

Instances7STS, BaseM, Environment, Event, PredicateFailure, Signal, …

EraGov era => STS (TICKF era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type BaseM (TICKF era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type Environment (TICKF era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type Event (TICKF era) = ConwayTickfEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type Signal (TICKF era) = SlotNoDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan

datadata UTXO era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTx era, EraStake era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx TopTx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) => STS (UTXO era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type Environment (UTXO era) = UtxoEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type Event (UTXO era) = AlonzoUtxoEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan

datadata UTXOS era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx TopTx era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) => STS (UTXOS era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx TopTx era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type BaseM (UTXOS era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type Environment (UTXOS era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type Event (UTXOS era) = ConwayUtxosEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type Signal (UTXOS era) = StAnnTx TopTx eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type State (UTXOS era) = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan

datadata UTXOW era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) => STS (UTXOW era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type Environment (UTXOW era) = UtxoEnv eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type Event (UTXOW era) = AlonzoUtxowEvent eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan

datadata EnactState era

Constructors

EnactState
- ensCommittee :: !StrictMaybe (Committee era)
- ensConstitution :: !Constitution era
- ensCurPParams :: !PParams era
- ensPrevPParams :: !PParams era
- ensTreasury :: !Coin
- ensWithdrawals :: !Map (Credential Staking) Coin
- ensPrevGovActionIds :: !GovRelation StrictMaybe

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

(Era era, Eq (PParams era)) => Eq (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Era era, Show (PParams era)) => Show (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NFData (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToJSON (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Default (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NoThunks (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecShareCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => EncCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToKeyValuePairs (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Share (EnactState era) = Interns (Credential Staking)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

datadata RatifyState era

Constructors

RatifyState
- rsEnactState :: !EnactState era
- rsEnacted :: !Seq (GovActionState era)
- rsExpired :: !Set GovActionId
- rsDelayed :: !Bool

Instances16Show, Generic, ToJSON, Default, DecCBOR, DecShareCBOR, …

EraPParams era => Eq (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Show (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NFData (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToJSON (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Default (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NoThunks (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecShareCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => EncCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToKeyValuePairs (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(EraPParams era, EraStake era, ConwayEraAccounts era) => Eq (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set GovActionId)) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Share (RatifyState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

datadata ConwayBbodyPredFailure era

Constructors

WrongBlockBodySizeBBODY (Mismatch RelEQ Int)
InvalidBodyHashBBODY (Mismatch RelEQ (Hash HASH EraIndependentBlockBody))
LedgersFailure (PredicateFailure (EraRule "LEDGERS" era))
TooManyExUnits (Mismatch RelLTEQ ExUnits)
BodyRefScriptsSizeTooBig (Mismatch RelLTEQ Int)
HeaderProtVerTooHigh (Mismatch RelLTEQ Version)

Instances8InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) => Eq (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) => Show (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
Generic (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
(Era era, NFData (PredicateFailure (EraRule "LEDGERS" era))) => NFData (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) => DecCBOR (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) => EncCBOR (ConwayBbodyPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
type Rep (ConwayBbodyPredFailure era) = D1 ('MetaData "ConwayBbodyPredFailure" "Cardano.Ledger.Conway.Rules.Bbody" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Int))) :+: (C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits))) :+: (C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Int))) :+: C1 ('MetaCons "HeaderProtVerTooHigh" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Version))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody

datadata CertEnv era

Constructors

CertEnv
- cePParams :: PParams era
- ceCurrentEpoch :: EpochNo
- ceCurrentCommittee :: StrictMaybe (Committee era)
- ceCommitteeProposals :: Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

EraPParams era => Eq (CertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
EraPParams era => Show (CertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
Generic (CertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
EraPParams era => NFData (CertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
EraPParams era => EncCBOR (CertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "ceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert

datadata ConwayCertEvent era

Constructors

DelegEvent (Event (EraRule "DELEG" era))
PoolEvent (Event (EraRule "POOL" era))
GovCertEvent (Event (EraRule "GOVCERT" era))

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) => Eq (ConwayCertEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
Generic (ConwayCertEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) => NFData (ConwayCertEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert

datadata ConwayCertPredFailure era

Constructors

DelegFailure (PredicateFailure (EraRule "DELEG" era))
PoolFailure (PredicateFailure (EraRule "POOL" era))
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))

Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) => Eq (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) => Show (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
Generic (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) => NFData (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) => DecCBOR (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
(EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) => EncCBOR (ConwayCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOVCERT" era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert

datadata CertsEnv era

Constructors

CertsEnv
- certsTx :: Tx TopTx era
- certsPParams :: PParams era
- certsCurrentEpoch :: EpochNo
- certsCurrentCommittee :: StrictMaybe (Committee era)
- certsCommitteeProposals :: Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

(EraPParams era, Eq (Tx TopTx era)) => Eq (CertsEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
(EraPParams era, Show (Tx TopTx era)) => Show (CertsEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
Generic (CertsEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
(EraPParams era, NFData (Tx TopTx era)) => NFData (CertsEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
EraTx era => EncCBOR (CertsEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx TopTx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs

newtypenewtype ConwayCertsEvent era

Constructors

CertEvent (Event (EraRule "CERT" era))

Instances4Eq, Generic, NFData, Rep

Eq (Event (EraRule "CERT" era)) => Eq (ConwayCertsEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
Generic (ConwayCertsEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
NFData (Event (EraRule "CERT" era)) => NFData (ConwayCertsEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
type Rep (ConwayCertsEvent era) = D1 ('MetaData "ConwayCertsEvent" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs

datadata ConwayCertsPredFailure era

Constructors

WithdrawalsNotInRewardsCERTS Withdrawals
CertFailure (PredicateFailure (EraRule "CERT" era))

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
Eq (PredicateFailure (EraRule "CERT" era)) => Eq (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
Show (PredicateFailure (EraRule "CERT" era)) => Show (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
Generic (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
NFData (PredicateFailure (EraRule "CERT" era)) => NFData (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
(Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) => DecCBOR (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
(Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) => EncCBOR (ConwayCertsPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERT" era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs

datadata ConwayDelegEnv era

Constructors

ConwayDelegEnv
- cdePParams :: PParams era
- cdePools :: Map (KeyHash StakePool) StakePoolState

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

Eq (PParams era) => Eq (ConwayDelegEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Show (PParams era) => Show (ConwayDelegEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Generic (ConwayDelegEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
(Era era, NFData (PParams era)) => NFData (ConwayDelegEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
EraPParams era => EncCBOR (ConwayDelegEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayDelegEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cdePools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash StakePool) StakePoolState))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg

datadata ConwayDelegPredFailure era

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
Eq (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Show (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Generic (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
NFData (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Era era => DecCBOR (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
Era era => EncCBOR (ConwayDelegPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (((C1 ('MetaCons "IncorrectDepositDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "StakeKeyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking)))) :+: (C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking))) :+: C1 ('MetaCons "StakeKeyHasNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :+: ((C1 ('MetaCons "DelegateeDRepNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential DRepRole))) :+: C1 ('MetaCons "DelegateeStakePoolNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool)))) :+: (C1 ('MetaCons "DepositIncorrectDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons "RefundIncorrectDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg

datadata EnactSignal era

Constructors

EnactSignal
- esGovActionId :: !GovActionId
- esGovAction :: !GovAction era

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

EraPParams era => Eq (EnactSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact
EraPParams era => Show (EnactSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact
Generic (EnactSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact
EraPParams era => NFData (EnactSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact
EraPParams era => EncCBOR (EnactSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact
type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "EnactSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "esGovActionId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :*: S1 ('MetaSel ('Just "esGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact

datadata ConwayEpochEvent era

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era))
SnapEvent (Event (EraRule "SNAP" era))
EpochBoundaryRatifyState (RatifyState era)
GovInfoEvent (Set (GovActionState era)) (Set (GovActionState era)) (Set (GovActionState era)) (Map GovActionId Coin)
HardForkEvent (Event (EraRule "HARDFORK" era))

Instances6InjectRuleEvent, Eq, Generic, NFData, Rep

InjectRuleEvent "NEWEPOCH" ConwayEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules · orphan
(EraPParams era, Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "HARDFORK" era))) => Eq (ConwayEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch
Generic (ConwayEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch
(EraPParams era, NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "HARDFORK" era))) => NFData (ConwayEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch
type Rep (ConwayEpochEvent era) = D1 ('MetaData "ConwayEpochEvent" "Cardano.Ledger.Conway.Rules.Epoch" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era))))) :+: (C1 ('MetaCons "EpochBoundaryRatifyState" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RatifyState era))) :+: (C1 ('MetaCons "GovInfoEvent" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map GovActionId Coin)))) :+: C1 ('MetaCons "HardForkEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "HARDFORK" era)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch

datadata ConwayGovEvent era

Constructors

GovNewProposals !TxId !(Proposals era)
GovRemovedVotes !TxId !(Set (Voter, GovActionId)) !(Set (Credential DRepRole))

Instances5InjectRuleEvent, Eq, Generic, NFData, Rep

InjectRuleEvent "GOV" ConwayGovEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => Eq (ConwayGovEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
Generic (ConwayGovEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => NFData (ConwayGovEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era))) :+: C1 ('MetaCons "GovRemovedVotes" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Voter, GovActionId))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential DRepRole))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov

datadata ConwayGovPredFailure era

Constructors

GovActionsDoNotExist (NonEmpty GovActionId)
MalformedProposal (GovAction era)
ProposalProcedureNetworkIdMismatch AccountAddress Network
TreasuryWithdrawalsNetworkIdMismatch (NonEmptySet AccountAddress) Network
ProposalDepositIncorrect (Mismatch RelEQ Coin)
DisallowedVoters (NonEmpty (Voter, GovActionId))
ConflictingCommitteeUpdate (NonEmptySet (Credential ColdCommitteeRole))
ExpirationEpochTooSmall (NonEmptyMap (Credential ColdCommitteeRole) EpochNo)
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
ProposalCantFollow (StrictMaybe (GovPurposeId 'HardForkPurpose)) (Mismatch RelGT ProtVer)
InvalidGuardrailsScriptHash (StrictMaybe ScriptHash) (StrictMaybe ScriptHash)
DisallowedProposalDuringBootstrap (ProposalProcedure era)
DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId))
VotersDoNotExist (NonEmpty Voter)
ZeroTreasuryWithdrawals (GovAction era)
ProposalReturnAccountDoesNotExist AccountAddress
TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty AccountAddress)
UnelectedCommitteeVoters (NonEmpty (Credential HotCommitteeRole))

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
EraPParams era => Eq (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => Show (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
Generic (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => NFData (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => DecCBOR (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
EraPParams era => EncCBOR (ConwayGovPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
type Rep (ConwayGovPredFailure era) = D1 ('MetaData "ConwayGovPredFailure" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GovActionId))) :+: C1 ('MetaCons "MalformedProposal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons "ProposalProcedureNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))) :+: (C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential ColdCommitteeRole)))) :+: (C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap (Credential ColdCommitteeRole) EpochNo))) :+: C1 ('MetaCons "InvalidPrevGovActionId" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))))))) :+: (((C1 ('MetaCons "VotingOnExpiredGovAction" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId)))) :+: C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGT ProtVer)))) :+: (C1 ('MetaCons "InvalidGuardrailsScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash))) :+: (C1 ('MetaCons "DisallowedProposalDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))) :+: C1 ('MetaCons "DisallowedVotesDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))))) :+: ((C1 ('MetaCons "VotersDoNotExist" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Voter))) :+: C1 ('MetaCons "ZeroTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons "ProposalReturnAccountDoesNotExist" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress)) :+: (C1 ('MetaCons "TreasuryWithdrawalReturnAccountsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AccountAddress))) :+: C1 ('MetaCons "UnelectedCommitteeVoters" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Credential HotCommitteeRole)))))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov

datadata GovEnv era

Constructors

GovEnv
- geTxId :: TxId
- geEpoch :: EpochNo
- gePParams :: PParams era
- geGuardrailsScriptHash :: StrictMaybe ScriptHash
- geCertState :: CertState era
- geCommittee :: StrictMaybe (Committee era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

(Eq (PParams era), EraCertState era) => Eq (GovEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(Show (PParams era), Era era, EraCertState era) => Show (GovEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
Generic (GovEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(NFData (PParams era), Era era, EraCertState era) => NFData (GovEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(EraGov era, EraPParams era, EraCertState era) => EncCBOR (GovEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
type Rep (GovEnv era) = D1 ('MetaData "GovEnv" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: (S1 ('MetaSel ('Just "geEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)))) :*: (S1 ('MetaSel ('Just "geGuardrailsScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: (S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)) :*: S1 ('MetaSel ('Just "geCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov

datadata GovSignal era

Constructors

GovSignal
- gsVotingProcedures :: !VotingProcedures era
- gsProposalProcedures :: !OSet (ProposalProcedure era)
- gsCertificates :: !StrictSeq (TxCert era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

(EraPParams era, Eq (TxCert era)) => Eq (GovSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(EraPParams era, Show (TxCert era)) => Show (GovSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
Generic (GovSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(EraPParams era, NFData (TxCert era)) => NFData (GovSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
(EraPParams era, EraTxCert era) => EncCBOR (GovSignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: (S1 ('MetaSel ('Just "gsProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era))) :*: S1 ('MetaSel ('Just "gsCertificates") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov

datadata ConwayGovCertEnv era

Constructors

ConwayGovCertEnv
- cgcePParams :: PParams era
- cgceCurrentEpoch :: EpochNo
- cgceCurrentCommittee :: StrictMaybe (Committee era)
- cgceCommitteeProposals :: Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

EraPParams era => Eq (ConwayGovCertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
EraPParams era => Show (ConwayGovCertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
Generic (ConwayGovCertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
EraPParams era => NFData (ConwayGovCertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
EraPParams era => EncCBOR (ConwayGovCertEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "cgceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert

datadata ConwayGovCertPredFailure era

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
Eq (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
Show (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
Generic (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
NFData (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
Typeable era => DecCBOR (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
Era era => EncCBOR (ConwayGovCertPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
type Rep (ConwayGovCertPredFailure era) = D1 ('MetaData "ConwayGovCertPredFailure" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential DRepRole))) :+: (C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential DRepRole))) :+: C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))))) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential ColdCommitteeRole))) :+: (C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons "ConwayCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential ColdCommitteeRole))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert

newtypenewtype ConwayHardForkEvent era

Constructors

ConwayHardForkEvent ProtVer

Instances7InjectRuleEvent, Eq, Generic, NFData, Rep, …

InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules · orphan
Eq (ConwayHardForkEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork
Generic (ConwayHardForkEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork
NFData (ConwayHardForkEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork
type Rep (ConwayHardForkEvent era) = D1 ('MetaData "ConwayHardForkEvent" "Cardano.Ledger.Conway.Rules.HardFork" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "ConwayHardForkEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork

datadata ConwayLedgerEvent era

Constructors

UtxowEvent (Event (EraRule "UTXOW" era))
CertsEvent (Event (EraRule "CERTS" era))
GovEvent (Event (EraRule "GOV" era))

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era))) => Eq (ConwayLedgerEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
Generic (ConwayLedgerEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era))) => NFData (ConwayLedgerEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
type Rep (ConwayLedgerEvent era) = D1 ('MetaData "ConwayLedgerEvent" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: (C1 ('MetaCons "CertsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERTS" era)))) :+: C1 ('MetaCons "GovEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOV" era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger

datadata ConwayLedgerPredFailure era

Constructors

ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era))
ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era))
ConwayGovFailure (PredicateFailure (EraRule "GOV" era))
ConwayWdrlNotDelegatedToDRep (NonEmpty (KeyHash Staking))
ConwayTreasuryValueMismatch (Mismatch RelEQ Coin)
ConwayTxRefScriptsSizeTooBig (Mismatch RelLTEQ Int)
ConwayMempoolFailure Text
ConwayWithdrawalsMissingAccounts Withdrawals
ConwayIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch RelEQ Coin))

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) => Eq (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) => Show (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
Generic (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) => NFData (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) => DecCBOR (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) => EncCBOR (ConwayLedgerPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
type Rep (ConwayLedgerPredFailure era) = D1 ('MetaData "ConwayLedgerPredFailure" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (((C1 ('MetaCons "ConwayUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "ConwayCertsFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERTS" era))))) :+: (C1 ('MetaCons "ConwayGovFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOV" era)))) :+: C1 ('MetaCons "ConwayWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (KeyHash Staking)))))) :+: ((C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons "ConwayTxRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Int)))) :+: (C1 ('MetaCons "ConwayMempoolFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ConwayWithdrawalsMissingAccounts" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "ConwayIncompleteWithdrawals" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelEQ Coin))))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger

datadata ConwayNewEpochEvent era

Constructors

DeltaRewardEvent !(Event (EraRule "RUPD" era))
RestrainedRewards !EpochNo !(Map (Credential Staking) (Set Reward)) !(Set (Credential Staking))
TotalRewardEvent !EpochNo !(Map (Credential Staking) (Set Reward))
EpochEvent !(Event (EraRule "EPOCH" era))
TotalAdaPotsEvent !AdaPots

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) => Eq (ConwayNewEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch
Generic (ConwayNewEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch
(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "RUPD" era))) => NFData (ConwayNewEpochEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch
type Rep (ConwayNewEpochEvent era) = D1 ('MetaData "ConwayNewEpochEvent" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "RUPD" era)))) :+: C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) (Set Reward))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential Staking)))))) :+: (C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) (Set Reward)))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "EPOCH" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AdaPots)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch

datadata ConwayTickfEvent era

datadata ConwayUtxoPredFailure era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))
BadInputsUTxO (NonEmptySet TxIn)
OutsideValidityIntervalUTxO ValidityInterval SlotNo
MaxTxSizeUTxO (Mismatch RelLTEQ Word32)
InputSetEmptyUTxO
FeeTooSmallUTxO (Mismatch RelGTEQ Coin)
ValueNotConservedUTxO (Mismatch RelEQ (Value era))
WrongNetwork Network (NonEmptySet Addr)
WrongNetworkWithdrawal Network (NonEmptySet AccountAddress)
OutputTooSmallUTxO (NonEmpty (TxOut era))
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))
OutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))
InsufficientCollateral DeltaCoin Coin
ScriptsNotPaidUTxO (NonEmptyMap TxIn (TxOut era))
ExUnitsTooBigUTxO (Mismatch RelLTEQ ExUnits)
CollateralContainsNonADA (Value era)
WrongNetworkInTxBody (Mismatch RelEQ Network)
OutsideForecast SlotNo
TooManyCollateralInputs (Mismatch RelLTEQ Word16)
NoCollateralInputs
IncorrectTotalCollateralField DeltaCoin Coin
BabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))
BabbageNonDisjointRefInputs (NonEmpty TxIn)

Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
(Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) => Eq (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
(Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show TxIn) => Show (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
Generic (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) => NFData (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) => DecCBOR (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) => EncCBOR (ConwayUtxoPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
type Rep (ConwayUtxoPredFailure era) = D1 ('MetaData "ConwayUtxoPredFailure" "Cardano.Ledger.Conway.Rules.Utxo" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn)))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word32))) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGTEQ Coin))) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Int, Int, TxOut era)))) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap TxIn (TxOut era)))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Network)))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word16))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era, Coin)))) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn))))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo

datadata ConwayUtxosEvent era

Constructors

Instances5InjectRuleEvent, Eq, Generic, NFData, Rep

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
Eq (ConwayUtxosEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
Generic (ConwayUtxosEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
NFData (ConwayUtxosEvent era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))) :+: C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos

datadata ConwayUtxosPredFailure era

Constructors

ValidationTagMismatch IsPhase2Valid TagMismatchDescription
CollectErrors (NonEmpty (CollectError era))

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
(ConwayEraScript era, Eq (TxCert era), Eq (ContextError era)) => Eq (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
(ConwayEraScript era, Show (TxCert era), Show (ContextError era)) => Show (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
Generic (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
(ConwayEraScript era, NFData (TxCert era), NFData (ContextError era)) => NFData (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
(EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) => DecCBOR (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
(EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) => EncCBOR (ConwayUtxosPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
type Rep (ConwayUtxosPredFailure era) = D1 ('MetaData "ConwayUtxosPredFailure" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsPhase2Valid) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CollectError era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos

datadata ConwayUtxowPredFailure era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW (NonEmpty (VKey Witness))
MissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash Witness))
MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash)
ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)
MissingTxBodyMetadataHash TxAuxDataHash
MissingTxMetadata TxAuxDataHash
ConflictingMetadataHash (Mismatch RelEQ TxAuxDataHash)
InvalidMetadata
ExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash)
MissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))
MissingRequiredDatums (NonEmptySet DataHash) (Set DataHash)
NotAllowedSupplementalDatums (NonEmptySet DataHash) (Set DataHash)
PPViewHashesDontMatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))
UnspendableUTxONoDatumHash (NonEmptySet TxIn)
ExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))
MalformedScriptWitnesses (NonEmptySet ScriptHash)
MalformedReferenceScripts (NonEmptySet ScriptHash)
ScriptIntegrityHashMismatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) => Eq (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) => Show (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
Generic (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) => NFData (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) => DecCBOR (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) => EncCBOR (ConwayUtxowPredFailure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((((C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era)))) :+: C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (VKey Witness))))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (KeyHash Witness)))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ TxAuxDataHash))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsItem era, ScriptHash))))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: (C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))))))) :+: ((C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsIx era))))) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: (C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "ScriptIntegrityHashMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow

datadata UtxoEnv era

Constructors

UtxoEnv
- ueSlot :: SlotNo
- uePParams :: PParams era
- ueCertState :: CertState era

Instances7Eq, Show, Generic, NFData, DecCBOR, EncCBOR, …

(Eq (PParams era), Eq (CertState era)) => Eq (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Show (PParams era), Show (CertState era)) => Show (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
Generic (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Era era, NFData (PParams era), NFData (CertState era)) => NFData (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(EraPParams era, EraCertState era, Typeable (CertState era)) => DecCBOR (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(EraPParams era, EraCertState era) => EncCBOR (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo

familytype family PredicateFailure a

Instances51PredicateFailure, …

type PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended

familytype family PredicateFailure a

Instances51PredicateFailure, …

type PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended

Orphan instances

2 instances

InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra
InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra