Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Utxow

Contents

Orphan instances

Synopsis

alonzoToConwayUtxowPredFailure ∷ ∀ era. AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era
babbageToConwayUtxowPredFailure ∷ ∀ era. BabbageUtxowPredFailure era → ConwayUtxowPredFailure era
data ConwayUTXOW era
data ConwayUtxowPredFailure era
- = UtxoFailure (PredicateFailure (EraRule "UTXO" era))
- | InvalidWitnessesUTXOW ![VKey 'Witness (EraCrypto era)]
- | MissingVKeyWitnessesUTXOW !(Set (KeyHash 'Witness (EraCrypto era)))
- | MissingScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))
- | ScriptWitnessNotValidatingUTXOW !(Set (ScriptHash (EraCrypto era)))
- | MissingTxBodyMetadataHash !(AuxiliaryDataHash (EraCrypto era))
- | MissingTxMetadata !(AuxiliaryDataHash (EraCrypto era))
- | ConflictingMetadataHash !(AuxiliaryDataHash (EraCrypto era)) !(AuxiliaryDataHash (EraCrypto era))
- | InvalidMetadata
- | ExtraneousScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))
- | MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]
- | MissingRequiredDatums !(Set (DataHash (EraCrypto era))) !(Set (DataHash (EraCrypto era)))
- | NotAllowedSupplementalDatums !(Set (DataHash (EraCrypto era))) !(Set (DataHash (EraCrypto era)))
- | PPViewHashesDontMatch !(StrictMaybe (ScriptIntegrityHash (EraCrypto era))) !(StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- | UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era)))
- | ExtraRedeemers ![PlutusPurpose AsIx era]
- | MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))
- | MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))
conwayWitsVKeyNeeded ∷ (EraTx era, ConwayEraTxBody era) ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness (EraCrypto era))
shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era

Documentation

alonzoToConwayUtxowPredFailure ∷ ∀ era. AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era Source #

babbageToConwayUtxowPredFailure ∷ ∀ era. BabbageUtxowPredFailure era → ConwayUtxowPredFailure era Source #

data ConwayUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types type State (ConwayUTXOW era) Source # type Signal (ConwayUTXOW era) Source # type Environment (ConwayUTXOW era) Source # type BaseM (ConwayUTXOW era) ∷ Type → Type Source # type Event (ConwayUTXOW era) Source # type PredicateFailure (ConwayUTXOW era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOW era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source # assertions ∷ [Assertion (ConwayUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW era) → String Source #
(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source # wrapEvent ∷ Event (ConwayUTXO era) → Event (ConwayUTXOW era) Source #
(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type BaseM (ConwayUTXOW era) = ShelleyBase
type Environment (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Environment (ConwayUTXOW era) = UtxoEnv era
type Event (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Event (ConwayUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type Signal (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Signal (ConwayUTXOW era) = Tx era
type State (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (ConwayUTXOW era) = UTxOState era

data ConwayUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW ![VKey 'Witness (EraCrypto era)]
MissingVKeyWitnessesUTXOW	witnesses which failed in verifiedWits function
Fields !(Set (KeyHash 'Witness (EraCrypto era))) witnesses which were needed and not supplied
MissingScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))	missing scripts
ScriptWitnessNotValidatingUTXOW !(Set (ScriptHash (EraCrypto era)))	failed scripts
MissingTxBodyMetadataHash !(AuxiliaryDataHash (EraCrypto era))	hash of the full metadata
MissingTxMetadata !(AuxiliaryDataHash (EraCrypto era))	hash of the metadata included in the transaction body
ConflictingMetadataHash
Fields !(AuxiliaryDataHash (EraCrypto era)) hash of the metadata included in the transaction body !(AuxiliaryDataHash (EraCrypto era)) expected hash of the full metadata
InvalidMetadata	Contains out of range values (string`s too long)
ExtraneousScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))	extraneous scripts
MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]
MissingRequiredDatums
Fields !(Set (DataHash (EraCrypto era))) Set of missing data hashes !(Set (DataHash (EraCrypto era))) Set of received data hashes
NotAllowedSupplementalDatums
Fields !(Set (DataHash (EraCrypto era))) Set of unallowed data hashes !(Set (DataHash (EraCrypto era))) Set of acceptable supplemental data hashes
PPViewHashesDontMatch
Fields !(StrictMaybe (ScriptIntegrityHash (EraCrypto era))) The PPHash in the TxBody !(StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Computed from the current Protocol Parameters
UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era)))	Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't
ExtraRedeemers ![PlutusPurpose AsIx era]	List of redeemers not needed
MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))	Embed UTXO rule failures
MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))	the set of malformed script witnesses

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types type Rep (ConwayUtxowPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxowPredFailure era → Rep (ConwayUtxowPredFailure era) x Source # to ∷ Rep (ConwayUtxowPredFailure era) x → ConwayUtxowPredFailure era Source #
(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods showsPrec ∷ Int → ConwayUtxowPredFailure era → ShowS Source # show ∷ ConwayUtxowPredFailure era → String Source # showList ∷ [ConwayUtxowPredFailure era] → ShowS Source #
(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods decCBOR ∷ Decoder s (ConwayUtxowPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxowPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxowPredFailure era) → Text Source #
(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods encCBOR ∷ ConwayUtxowPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxowPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxowPredFailure era] → Size Source #
(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era)), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods rnf ∷ ConwayUtxowPredFailure era → () Source #
(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods (==) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool Source # (/=) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool Source #
NoThunks (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods noThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxowPredFailure era) → String Source #
type Rep (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era)))) :+: C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness (EraCrypto era)]))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness (EraCrypto era))))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era))))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (TxIn (EraCrypto era)))))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PlutusPurpose AsIx era])) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))))))

conwayWitsVKeyNeeded ∷ (EraTx era, ConwayEraTxBody era) ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: In favor of getConwayWitsVKeyNeeded or getWitsVKeyNeeded

shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era Source #

Orphan instances

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source #
Instance details Associated Types type State (ConwayUTXOW era) Source # type Signal (ConwayUTXOW era) Source # type Environment (ConwayUTXOW era) Source # type BaseM (ConwayUTXOW era) ∷ Type → Type Source # type Event (ConwayUTXOW era) Source # type PredicateFailure (ConwayUTXOW era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOW era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source # assertions ∷ [Assertion (ConwayUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW era) → String Source #
(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source # wrapEvent ∷ Event (ConwayUTXO era) → Event (ConwayUTXOW era) Source #