Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.Rules.Ledger

Synopsis

data AlonzoLEDGER era
ledgerTransition :: forall (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) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), Environment ( EraRule "UTXOW" era) ~ UtxoEnv era, State ( EraRule "UTXOW" era) ~ UTxOState era, Signal ( EraRule "UTXOW" era) ~ Tx era, HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "isValid" ( Tx era) IsValid , Era era) => TransitionRule (someLEDGER era)

Documentation

data AlonzoLEDGER era Source #

The uninhabited type that marks the (STS Ledger) instance in the Alonzo Era.

Instances

Instances details

( Show ( Script era), Show ( TxBody era), Show ( TxOut era), Show ( State ( EraRule "PPUP" era)), Show ( AuxiliaryData era), Show ( PParams era), Show ( Value era), Show ( PParamsDelta era), DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Era era, Tx era ~ ValidatedTx 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) ~ ValidatedTx era, Environment ( EraRule "DELEGS" era) ~ DelegsEnv era, State ( EraRule "DELEGS" era) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "_keyDeposit" ( PParams era) Coin , HasField "_poolDeposit" ( PParams era) Coin ) => 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 ( DELEGS era), PredicateFailure ( EraRule "DELEGS" era) ~ DelegsPredicateFailure era, Event ( EraRule "DELEGS" era) ~ DelegsEvent era) => Embed ( DELEGS era) ( AlonzoLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods wrapFailed :: PredicateFailure ( DELEGS era) -> PredicateFailure ( AlonzoLEDGER era) Source # wrapEvent :: Event ( DELEGS era) -> Event ( AlonzoLEDGER era) Source #
( Era era, STS ( AlonzoUTXOW era), PredicateFailure ( EraRule "UTXOW" era) ~ UtxowPredicateFail era, Event ( EraRule "UTXOW" era) ~ AlonzoEvent 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 ( AlonzoLEDGER era), PredicateFailure ( EraRule "LEDGER" era) ~ LedgerPredicateFailure era, Event ( EraRule "LEDGER" era) ~ LedgerEvent era) => Embed ( AlonzoLEDGER era) ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods wrapFailed :: PredicateFailure ( AlonzoLEDGER era) -> PredicateFailure ( LEDGERS era) Source # wrapEvent :: Event ( AlonzoLEDGER era) -> Event ( LEDGERS era) Source #
type State ( AlonzoLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State ( AlonzoLEDGER era) = LedgerState era
type Event ( AlonzoLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Event ( AlonzoLEDGER era) = LedgerEvent era
type PredicateFailure ( AlonzoLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure ( AlonzoLEDGER era) = LedgerPredicateFailure era
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 Signal ( AlonzoLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Signal ( AlonzoLEDGER era) = ValidatedTx era

ledgerTransition :: forall (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) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), Environment ( EraRule "UTXOW" era) ~ UtxoEnv era, State ( EraRule "UTXOW" era) ~ UTxOState era, Signal ( EraRule "UTXOW" era) ~ Tx era, HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "isValid" ( Tx era) IsValid , Era era) => TransitionRule (someLEDGER era) Source #

An abstract Alonzo Era, Ledger transition. Fix someLedger at a concrete type to make it concrete. Depends only on the "certs" and "isValid" HasField instances.