cardano-ledger-alonzo-1.8.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.Rules.Utxos

Synopsis

Documentation

data AlonzoUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (AlonzoUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), EncCBOR (PredicateFailure (EraRule "PPUP" era)), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era) ⇒ STS (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type State (AlonzoUTXOS era) Source #

type Signal (AlonzoUTXOS era) Source #

type Environment (AlonzoUTXOS era) Source #

type BaseM (AlonzoUTXOS era) ∷ Type → Type Source #

type Event (AlonzoUTXOS era) Source #

type PredicateFailure (AlonzoUTXOS era) Source #

Methods

initialRules ∷ [InitialRule (AlonzoUTXOS era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOS era)] Source #

assertions ∷ [Assertion (AlonzoUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOS era) → String Source #

(Era era, STS (AlonzoUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (AlonzoUTXOS era)) ⇒ Embed (AlonzoUTXOS era) (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

wrapFailed ∷ PredicateFailure (AlonzoUTXOS era) → PredicateFailure (AlonzoUTXO era) Source #

wrapEvent ∷ Event (AlonzoUTXOS era) → Event (AlonzoUTXO era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era), EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (AlonzoUTXOS era) Source #

wrapEvent ∷ Event (ShelleyPPUP era) → Event (AlonzoUTXOS era) Source #

type BaseM (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type BaseM (AlonzoUTXOS era) = ShelleyBase
type Environment (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Environment (AlonzoUTXOS era) = UtxoEnv era
type Event (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Event (AlonzoUTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type Signal (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Signal (AlonzoUTXOS era) = Tx era
type State (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type State (AlonzoUTXOS era) = UTxOState era

data AlonzoUtxosPredFailure era Source #

Constructors

ValidationTagMismatch IsValid TagMismatchDescription

The isValid tag on the transaction is incorrect. The tag given here is that provided on the transaction (whereas evaluation of the scripts gives the opposite.). The Text tries to explain why it failed.

CollectErrors [CollectError era]

We could not find all the necessary inputs for a Plutus Script. Previous PredicateFailure tests should make this impossible, but the consequences of not detecting this means scripts get dropped, so things might validate that shouldn't. So we double check in the function collectTwoPhaseScriptInputs, it should find data for every Script.

UpdateFailure (EraRuleFailure "PPUP" era) 

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #

Generic (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep (AlonzoUtxosPredFailure era) ∷ Type → Type Source #

Methods

from ∷ AlonzoUtxosPredFailure era → Rep (AlonzoUtxosPredFailure era) x Source #

to ∷ Rep (AlonzoUtxosPredFailure era) x → AlonzoUtxosPredFailure era Source #

(AlonzoEraScript era, Show (TxCert era), Show (ContextError era), Show (UTxOState era), Show (EraRuleFailure "PPUP" era)) ⇒ Show (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → AlonzoUtxosPredFailure era → ShowS Source #

show ∷ AlonzoUtxosPredFailure era → String Source #

showList ∷ [AlonzoUtxosPredFailure era] → ShowS Source #

(EraTxCert era, AlonzoEraScript era, DecCBOR (ContextError era), DecCBOR (EraRuleFailure "PPUP" era)) ⇒ DecCBOR (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s (AlonzoUtxosPredFailure era) Source #

dropCBOR ∷ Proxy (AlonzoUtxosPredFailure era) → Decoder s () Source #

label ∷ Proxy (AlonzoUtxosPredFailure era) → Text Source #

(EraTxCert era, AlonzoEraScript era, EncCBOR (ContextError era), EncCBOR (EraRuleFailure "PPUP" era)) ⇒ EncCBOR (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ AlonzoUtxosPredFailure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoUtxosPredFailure era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoUtxosPredFailure era] → Size Source #

(AlonzoEraScript era, NFData (TxCert era), NFData (ContextError era), NFData (UTxOState era), NFData (EraRuleFailure "PPUP" era)) ⇒ NFData (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ AlonzoUtxosPredFailure era → () Source #

(AlonzoEraScript era, Eq (TxCert era), Eq (ContextError era), Eq (UTxOState era), Eq (EraRuleFailure "PPUP" era)) ⇒ Eq (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ AlonzoUtxosPredFailure era → AlonzoUtxosPredFailure era → Bool Source #

(/=) ∷ AlonzoUtxosPredFailure era → AlonzoUtxosPredFailure era → Bool Source #

(AlonzoEraScript era, NoThunks (TxCert era), NoThunks (ContextError era), NoThunks (UTxOState era), NoThunks (EraRuleFailure "PPUP" era)) ⇒ NoThunks (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

noThunks ∷ Context → AlonzoUtxosPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoUtxosPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoUtxosPredFailure era) → String Source #

type Rep (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Rep (AlonzoUtxosPredFailure era) = D1 ('MetaData "AlonzoUtxosPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: (C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CollectError era])) :+: C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era)))))

lbl2Phase ∷ Label Source #

Indicates that this check depends only upon the signal to the transition, not the state or environment.

data TagMismatchDescription Source #

Constructors

PassedUnexpectedly 
FailedUnexpectedly (NonEmpty FailureDescription) 

Instances

Instances details
ToJSON TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

toJSON ∷ TagMismatchDescription → Value Source #

toEncoding ∷ TagMismatchDescription → Encoding Source #

toJSONList ∷ [TagMismatchDescription] → Value Source #

toEncodingList ∷ [TagMismatchDescription] → Encoding Source #

omitField ∷ TagMismatchDescription → Bool Source #

Generic TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep TagMismatchDescription ∷ Type → Type Source #

Methods

from ∷ TagMismatchDescription → Rep TagMismatchDescription x Source #

to ∷ Rep TagMismatchDescription x → TagMismatchDescription Source #

Show TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → TagMismatchDescription → ShowS Source #

show ∷ TagMismatchDescription → String Source #

showList ∷ [TagMismatchDescription] → ShowS Source #

DecCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s TagMismatchDescription Source #

dropCBOR ∷ Proxy TagMismatchDescription → Decoder s () Source #

label ∷ Proxy TagMismatchDescription → Text Source #

EncCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ TagMismatchDescription → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TagMismatchDescription → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TagMismatchDescription] → Size Source #

NFData TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ TagMismatchDescription → () Source #

Eq TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ TagMismatchDescription → TagMismatchDescription → Bool Source #

(/=) ∷ TagMismatchDescription → TagMismatchDescription → Bool Source #

NoThunks TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

noThunks ∷ Context → TagMismatchDescription → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TagMismatchDescription → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TagMismatchDescription → String Source #

type Rep TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Rep TagMismatchDescription = D1 ('MetaData "TagMismatchDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "PassedUnexpectedly" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FailedUnexpectedly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FailureDescription))))

validBegin ∷ String Source #

validEnd ∷ String Source #

invalidBegin ∷ String Source #

invalidEnd ∷ String Source #

data AlonzoUtxosEvent era Source #

Constructors

AlonzoPpupToUtxosEvent (EraRuleEvent "PPUP" era) 
TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin 
SuccessfulPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era))) 
FailedPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era))) 
TxUTxODiff

The UTxOs consumed and created by a signal tx

Fields

  • (UTxO era)

    UTxO consumed

  • (UTxO era)

    UTxO created

Instances

Instances details
Generic (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep (AlonzoUtxosEvent era) ∷ Type → Type Source #

Methods

from ∷ AlonzoUtxosEvent era → Rep (AlonzoUtxosEvent era) x Source #

to ∷ Rep (AlonzoUtxosEvent era) x → AlonzoUtxosEvent era Source #

(Era era, NFData (TxOut era), NFData (EraRuleEvent "PPUP" era)) ⇒ NFData (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ AlonzoUtxosEvent era → () Source #

(Era era, Eq (TxOut era), Eq (EraRuleEvent "PPUP" era)) ⇒ Eq (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ AlonzoUtxosEvent era → AlonzoUtxosEvent era → Bool Source #

(/=) ∷ AlonzoUtxosEvent era → AlonzoUtxosEvent era → Bool Source #

type Rep (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Rep (AlonzoUtxosEvent era) = D1 ('MetaData "AlonzoUtxosEvent" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoPpupToUtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleEvent "PPUP" era))) :+: C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash (EraCrypto era) EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era))))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era))))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))))))

when2Phase ∷ Rule sts ctx () → Rule sts ctx () Source #

Construct a 2-phase predicate check.

Note that 2-phase predicate checks are by definition static.

data FailureDescription Source #

Constructors

PlutusFailure Text ByteString 

Instances

Instances details
ToJSON FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

toJSON ∷ FailureDescription → Value Source #

toEncoding ∷ FailureDescription → Encoding Source #

toJSONList ∷ [FailureDescription] → Value Source #

toEncodingList ∷ [FailureDescription] → Encoding Source #

omitField ∷ FailureDescription → Bool Source #

Generic FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep FailureDescription ∷ Type → Type Source #

Methods

from ∷ FailureDescription → Rep FailureDescription x Source #

to ∷ Rep FailureDescription x → FailureDescription Source #

Show FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → FailureDescription → ShowS Source #

show ∷ FailureDescription → String Source #

showList ∷ [FailureDescription] → ShowS Source #

DecCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s FailureDescription Source #

dropCBOR ∷ Proxy FailureDescription → Decoder s () Source #

label ∷ Proxy FailureDescription → Text Source #

EncCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ FailureDescription → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy FailureDescription → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [FailureDescription] → Size Source #

NFData FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ FailureDescription → () Source #

Eq FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ FailureDescription → FailureDescription → Bool Source #

(/=) ∷ FailureDescription → FailureDescription → Bool Source #

NoThunks FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

noThunks ∷ Context → FailureDescription → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → FailureDescription → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy FailureDescription → String Source #

type Rep FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Rep FailureDescription = D1 ('MetaData "FailureDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "PlutusFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

scriptFailureToFailureDescription ∷ Crypto c ⇒ ScriptFailure c → FailureDescription Source #

Orphan instances

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (AlonzoUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), EncCBOR (PredicateFailure (EraRule "PPUP" era)), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era) ⇒ STS (AlonzoUTXOS era) Source # 
Instance details

Associated Types

type State (AlonzoUTXOS era) Source #

type Signal (AlonzoUTXOS era) Source #

type Environment (AlonzoUTXOS era) Source #

type BaseM (AlonzoUTXOS era) ∷ Type → Type Source #

type Event (AlonzoUTXOS era) Source #

type PredicateFailure (AlonzoUTXOS era) Source #

Methods

initialRules ∷ [InitialRule (AlonzoUTXOS era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOS era)] Source #

assertions ∷ [Assertion (AlonzoUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOS era) → String Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era), EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (AlonzoUTXOS era) Source # 
Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (AlonzoUTXOS era) Source #

wrapEvent ∷ Event (ShelleyPPUP era) → Event (AlonzoUTXOS era) Source #