Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.ShelleyMA.Rules.Utxow

Documentation

data UTXOW era Source #

Instances

Instances details

( Witnesses era ~ WitnessSet era, Embed ( EraRule "UTXO" era) ( UTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ Tx era, ShelleyStyleWitnessNeeds era) => STS ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow Associated Types type State ( UTXOW era) Source # type Signal ( UTXOW era) Source # type Environment ( UTXOW era) Source # type BaseM ( UTXOW era) :: Type -> Type Source # type Event ( UTXOW era) Source # type PredicateFailure ( UTXOW era) Source # Methods initialRules :: [ InitialRule ( UTXOW era)] Source # transitionRules :: [ TransitionRule ( UTXOW era)] Source # assertions :: [ Assertion ( UTXOW era)] Source # renderAssertionViolation :: AssertionViolation ( UTXOW era) -> String Source #
( Era era, STS ( UTXO era), PredicateFailure ( EraRule "UTXO" era) ~ UtxoPredicateFailure era, Event ( EraRule "UTXO" era) ~ Event ( UTXO era)) => Embed ( UTXO era) ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow Methods wrapFailed :: PredicateFailure ( UTXO era) -> PredicateFailure ( UTXOW era) Source # wrapEvent :: Event ( UTXO era) -> Event ( UTXOW era) Source #
( Era era, STS ( UTXOW era), PredicateFailure ( EraRule "UTXOW" era) ~ UtxowPredicateFailure era, Event ( EraRule "UTXOW" era) ~ Event ( UTXOW era)) => Embed ( UTXOW era) ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow Methods wrapFailed :: PredicateFailure ( UTXOW era) -> PredicateFailure ( LEDGER era) Source # wrapEvent :: Event ( UTXOW era) -> Event ( LEDGER era) Source #
type State ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type State ( UTXOW era) = UTxOState era
type Event ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type Event ( UTXOW era) = UtxowEvent era
type PredicateFailure ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type BaseM ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type BaseM ( UTXOW era) = ShelleyBase
type Environment ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type Environment ( UTXOW era) = UtxoEnv era
type Signal ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type Signal ( UTXOW era) = Tx era