cardano-ledger-allegra-1.4.1.0: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.Rules.Ledgers

Orphan instances

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (AllegraEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #