cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.Rules.Ledger

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

(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

(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

(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

type BaseM (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Environment (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Event (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

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

Orphan instances

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (BabbageEra c) Source # 
Instance 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

(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

(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

(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