Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Rules.Utxow

Contents

Orphan instances

Documentation

data AllegraUTXOW era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (AllegraUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ AllegraUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ STS (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Associated Types type State (AllegraUTXOW era) Source # type Signal (AllegraUTXOW era) Source # type Environment (AllegraUTXOW era) Source # type BaseM (AllegraUTXOW era) ∷ Type → Type Source # type Event (AllegraUTXOW era) Source # type PredicateFailure (AllegraUTXOW era) Source # Methods initialRules ∷ [InitialRule (AllegraUTXOW era)] Source # transitionRules ∷ [TransitionRule (AllegraUTXOW era)] Source # assertions ∷ [Assertion (AllegraUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (AllegraUTXOW era) → String Source #
(Era era, STS (AllegraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (AllegraUTXO era)) ⇒ Embed (AllegraUTXO era) (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (AllegraUTXO era) → PredicateFailure (AllegraUTXOW era) Source # wrapEvent ∷ Event (AllegraUTXO era) → Event (AllegraUTXOW era) Source #
(Era era, STS (AllegraUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (AllegraUTXOW era)) ⇒ Embed (AllegraUTXOW era) (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (AllegraUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (AllegraUTXOW era) → Event (ShelleyLEDGER era) Source #
type BaseM (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type BaseM (AllegraUTXOW era) = ShelleyBase
type Environment (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Environment (AllegraUTXOW era) = UtxoEnv era
type Event (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Event (AllegraUTXOW era) = ShelleyUtxowEvent era
type PredicateFailure (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type Signal (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Signal (AllegraUTXOW era) = Tx era
type State (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type State (AllegraUTXOW era) = UTxOState era

Orphan instances

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (AllegraUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ AllegraUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ STS (AllegraUTXOW era) Source #
Instance details Associated Types type State (AllegraUTXOW era) Source # type Signal (AllegraUTXOW era) Source # type Environment (AllegraUTXOW era) Source # type BaseM (AllegraUTXOW era) ∷ Type → Type Source # type Event (AllegraUTXOW era) Source # type PredicateFailure (AllegraUTXOW era) Source # Methods initialRules ∷ [InitialRule (AllegraUTXOW era)] Source # transitionRules ∷ [TransitionRule (AllegraUTXOW era)] Source # assertions ∷ [Assertion (AllegraUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (AllegraUTXOW era) → String Source #
(Era era, STS (AllegraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (AllegraUTXO era)) ⇒ Embed (AllegraUTXO era) (AllegraUTXOW era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (AllegraUTXO era) → PredicateFailure (AllegraUTXOW era) Source # wrapEvent ∷ Event (AllegraUTXO era) → Event (AllegraUTXOW era) Source #
(Era era, STS (AllegraUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (AllegraUTXOW era)) ⇒ Embed (AllegraUTXOW era) (ShelleyLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (AllegraUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (AllegraUTXOW era) → Event (ShelleyLEDGER era) Source #