Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.Rules.Ledger

Documentation

data BabbageLEDGER c Source #

Instances

Instances details

( Era era, ValidateScript era, ConcreteBabbage era, Show ( State ( EraRule "PPUP" 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) ~ ValidatedTx era, Environment ( EraRule "DELEGS" era) ~ DelegsEnv era, State ( EraRule "DELEGS" era) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), Show ( ValidatedTx era)) => 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 ( DELEGS era), PredicateFailure ( EraRule "DELEGS" era) ~ DelegsPredicateFailure era, Event ( EraRule "DELEGS" era) ~ DelegsEvent era) => Embed ( DELEGS era) ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed :: PredicateFailure ( DELEGS era) -> PredicateFailure ( BabbageLEDGER era) Source # wrapEvent :: Event ( DELEGS era) -> Event ( BabbageLEDGER era) Source #
( Era era, STS ( BabbageUTXOW era), Event ( EraRule "UTXOW" era) ~ AlonzoEvent era, PredicateFailure ( EraRule "UTXOW" era) ~ BabbageUtxowPred 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 ( BabbageLEDGER era), PredicateFailure ( EraRule "LEDGER" era) ~ LedgerPredicateFailure era, Event ( EraRule "LEDGER" era) ~ LedgerEvent era) => Embed ( BabbageLEDGER era) ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed :: PredicateFailure ( BabbageLEDGER era) -> PredicateFailure ( LEDGERS era) Source # wrapEvent :: Event ( BabbageLEDGER era) -> Event ( LEDGERS era) Source #
type State ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State ( BabbageLEDGER era) = LedgerState era
type Event ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Event ( BabbageLEDGER era) = LedgerEvent era
type PredicateFailure ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure ( BabbageLEDGER era) = LedgerPredicateFailure era
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 Signal ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Signal ( BabbageLEDGER era) = ValidatedTx era