Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.Rules.Ledger

Contents

Orphan instances

Documentation

data BabbageLEDGER c Source #

Instances

Instances details

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (BabbageLEDGER era), Embed (EraRule "UTXOW" era) (BabbageLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Associated Types type State (BabbageLEDGER era) Source # type Signal (BabbageLEDGER era) Source # type Environment (BabbageLEDGER era) Source # type BaseM (BabbageLEDGER era) ∷ Type → Type Source # type Event (BabbageLEDGER era) Source # type PredicateFailure (BabbageLEDGER era) Source # Methods initialRules ∷ [InitialRule (BabbageLEDGER era)] Source # transitionRules ∷ [TransitionRule (BabbageLEDGER era)] Source # assertions ∷ [Assertion (BabbageLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (BabbageLEDGER era) → String Source #
(Era era, STS (BabbageLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (BabbageLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (BabbageLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (BabbageLEDGER era) → Event (ShelleyLEDGERS era) Source #
(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (BabbageUTXOW era) → PredicateFailure (BabbageLEDGER era) Source # wrapEvent ∷ Event (BabbageUTXOW era) → Event (BabbageLEDGER era) Source #
(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (BabbageLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (BabbageLEDGER era) Source #
type BaseM (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type BaseM (BabbageLEDGER era) = ShelleyBase
type Environment (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Environment (BabbageLEDGER era) = LedgerEnv era
type Event (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Event (BabbageLEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type Signal (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Signal (BabbageLEDGER era) = Tx era
type State (BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State (BabbageLEDGER era) = LedgerState era

Orphan instances

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelegPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelegsPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelplPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyLedgerPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPoolPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPpupPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (BabbageEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxowPredFailure (BabbageEra c) → EraRuleFailure "LEDGER" (BabbageEra c) Source #
(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (BabbageLEDGER era), Embed (EraRule "UTXOW" era) (BabbageLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (BabbageLEDGER era) Source #
Instance details Associated Types type State (BabbageLEDGER era) Source # type Signal (BabbageLEDGER era) Source # type Environment (BabbageLEDGER era) Source # type BaseM (BabbageLEDGER era) ∷ Type → Type Source # type Event (BabbageLEDGER era) Source # type PredicateFailure (BabbageLEDGER era) Source # Methods initialRules ∷ [InitialRule (BabbageLEDGER era)] Source # transitionRules ∷ [TransitionRule (BabbageLEDGER era)] Source # assertions ∷ [Assertion (BabbageLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (BabbageLEDGER era) → String Source #
(Era era, STS (BabbageLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (BabbageLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (BabbageLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (BabbageLEDGER era) → Event (ShelleyLEDGERS era) Source #
(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (BabbageUTXOW era) → PredicateFailure (BabbageLEDGER era) Source # wrapEvent ∷ Event (BabbageUTXOW era) → Event (BabbageLEDGER era) Source #
(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (BabbageLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (BabbageLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (BabbageLEDGER era) Source #