cardano-ledger-alonzo-1.10.0.1: 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) ∷ TypeType Source #

type Event (AlonzoUTXOS era) Source #

type PredicateFailure (AlonzoUTXOS era) 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

(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

type BaseM (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Environment (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Event (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep (AlonzoUtxosPredFailure era) ∷ TypeType 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

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

(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

rnfAlonzoUtxosPredFailure 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

(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

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.10.0.1-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: (C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CollectError era])) :+: C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era)))))

lbl2PhaseLabel Source #

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

data TagMismatchDescription Source #

Instances

Instances details
ToJSON TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Generic TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep TagMismatchDescriptionTypeType Source #

Show TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

DecCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

EncCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

NFData TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Eq TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

NoThunks TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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.10.0.1-inplace" 'False) (C1 ('MetaCons "PassedUnexpectedly" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FailedUnexpectedly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FailureDescription))))

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) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnfAlonzoUtxosEvent era → () Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Rep (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

when2PhaseRule 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 #

Instances

Instances details
ToJSON FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Generic FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep FailureDescriptionTypeType Source #

Show FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

DecCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

EncCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

NFData FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnfFailureDescription → () Source #

Eq FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

NoThunks FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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.10.0.1-inplace" 'False) (C1 ('MetaCons "PlutusFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Orphan instances

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance 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

Associated Types

type State (AlonzoUTXOS era) Source #

type Signal (AlonzoUTXOS era) Source #

type Environment (AlonzoUTXOS era) Source #

type BaseM (AlonzoUTXOS era) ∷ TypeType Source #

type Event (AlonzoUTXOS era) Source #

type PredicateFailure (AlonzoUTXOS 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