Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Rules.Ledger

Contents

Orphan instances

Synopsis

data AlonzoLEDGER era
ledgerTransition ∷ ∀ (someLEDGER ∷ Type → Type) era. (Signal (someLEDGER era) ~ Tx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "DELEGS" era) (someLEDGER era), Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, AlonzoEraTx era) ⇒ TransitionRule (someLEDGER era)

Documentation

data AlonzoLEDGER era Source #

Instances

Instances details

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

ledgerTransition ∷ ∀ (someLEDGER ∷ Type → Type) era. (Signal (someLEDGER era) ~ Tx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "DELEGS" era) (someLEDGER era), Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, AlonzoEraTx era) ⇒ TransitionRule (someLEDGER era) Source #

An abstract Alonzo Era, Ledger transition. Fix someLedger at a concrete type to make it concrete.

Orphan instances

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