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

Cardano.Ledger.Alonzo.Rules

Synopsis

Documentation

data AlonzoBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, Era era) ⇒ Embed ledgers (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(EraRule "BBODY" era ~ AlonzoBBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (AlonzoBBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, EraSegWits era, AlonzoEraPParams era) ⇒ STS (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type State (AlonzoBBODY era) Source #

type Signal (AlonzoBBODY era) Source #

type Environment (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) ∷ TypeType Source #

type Event (AlonzoBBODY era) Source #

type PredicateFailure (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Environment (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Event (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type State (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

data AlonzoBbodyPredFailure era Source #

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Generic (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type Rep (AlonzoBbodyPredFailure era) ∷ TypeType Source #

(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Typeable era, DecCBOR (ShelleyBbodyPredFailure era)) ⇒ DecCBOR (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Typeable era, EncCBOR (ShelleyBbodyPredFailure era)) ⇒ EncCBOR (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyPredFailure era) = D1 ('MetaData "AlonzoBbodyPredFailure" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))))

alonzoBbodyTransition ∷ ∀ era. (STS (EraRule "BBODY" era), Signal (EraRule "BBODY" era) ~ Block BHeaderView era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, BaseM (EraRule "BBODY" era) ~ ShelleyBase, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Environment (EraRule "BBODY" era) ~ BbodyEnv era, Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), EraSegWits era, AlonzoEraTxWits era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, AlonzoEraPParams era) ⇒ TransitionRule (EraRule "BBODY" era) Source #

data AlonzoLEDGER era Source #

Instances

Instances details
(AlonzoEraTx era, EraGov era, Tx era ~ AlonzoTx era, Embed (EraRule "DELEGS" era) (AlonzoLEDGER era), Embed (EraRule "UTXOW" era) (AlonzoLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ AlonzoTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (AlonzoLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (AlonzoLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (AlonzoUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXOW era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Environment (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Event (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) = AlonzoTx era
type State (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type State (AlonzoLEDGER era) = LedgerState era

ledgerTransition ∷ ∀ (someLEDGER ∷ TypeType) era. (STS (someLEDGER era), BaseM (someLEDGER era) ~ ShelleyBase, Signal (someLEDGER era) ~ Tx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "DELEGS" era) (someLEDGER era), Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, AlonzoEraTx era) ⇒ TransitionRule (someLEDGER era) Source #

An abstract Alonzo Era, Ledger transition. Fix someLedger at a concrete type to make it concrete.

data AlonzoUTXO era Source #

Instances

Instances details
(EraUTxO era, AlonzoEraTx era, Embed (EraRule "UTXOS" era) (AlonzoUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx era, EraRule "UTXO" era ~ AlonzoUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, ProtVerAtMost era 8) ⇒ STS (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type State (AlonzoUTXO era) Source #

type Signal (AlonzoUTXO era) Source #

type Environment (AlonzoUTXO era) Source #

type BaseM (AlonzoUTXO era) ∷ TypeType Source #

type Event (AlonzoUTXO era) Source #

type PredicateFailure (AlonzoUTXO era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(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

type BaseM (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Environment (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Signal (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type State (AlonzoUTXO era) = UTxOState era

data AlonzoUtxoPredFailure era Source #

Constructors

BadInputsUTxO !(Set TxIn)

The bad transaction inputs

OutsideValidityIntervalUTxO 

Fields

MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer) 
InputSetEmptyUTxO 
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin) 
ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era)) 
WrongNetwork

the set of addresses with incorrect network IDs

Fields

  • !Network

    the expected network id

  • !(Set Addr)

    the set of addresses with incorrect network IDs

WrongNetworkWithdrawal 

Fields

OutputTooSmallUTxO ![TxOut era]

list of supplied transaction outputs that are too small

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))

Subtransition Failures

OutputBootAddrAttrsTooBig ![TxOut era]

list of supplied bad transaction outputs

TriesToForgeADA 
OutputTooBigUTxO ![(Integer, Integer, TxOut era)]

list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)

InsufficientCollateral 

Fields

  • !DeltaCoin

    balance computed

  • !Coin

    the required collateral for the given fee

ScriptsNotPaidUTxO !(UTxO era)

The UTxO entries which have the wrong kind of script

ExUnitsTooBigUTxO !(Mismatch 'RelLTEQ ExUnits) 
CollateralContainsNonADA !(Value era)

The inputs marked for use as fees contain non-ADA tokens

WrongNetworkInTxBody !(Mismatch 'RelEQ Network)

Wrong Network ID in body

OutsideForecast !SlotNo

slot number outside consensus forecast range

TooManyCollateralInputs !(Mismatch 'RelLTEQ Natural)

There are too many collateral inputs

NoCollateralInputs 

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type Rep (AlonzoUtxoPredFailure era) ∷ TypeType Source #

(Era era, Show (Value era), Show (TxOut era), Show (TxBody era), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ Show (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

(Era era, DecCBOR (TxOut era), DecCBOR (Value era), EncCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

(Era era, NFData (Value era), NFData (UTxO era), NFData (PredicateFailure (EraRule "UTXOS" era)), NFData (TxOut era)) ⇒ NFData (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

rnfAlonzoUtxoPredFailure era → () Source #

(Era era, Eq (Value era), Eq (TxOut era), Eq (PredicateFailure (EraRule "UTXOS" era))) ⇒ Eq (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

(NoThunks (Value era), NoThunks (UTxO era), NoThunks (PredicateFailure (EraRule "UTXOS" era)), NoThunks (TxOut era)) ⇒ NoThunks (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Rep (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Rep (AlonzoUtxoPredFailure era) = D1 ('MetaData "AlonzoUtxoPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) ((((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn))) :+: C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Addr)))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))))))) :+: (((C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "TriesToForgeADA" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Integer, Integer, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)))))) :+: ((C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Network))))) :+: (C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1TypeType))))))

newtype AlonzoUtxoEvent era Source #

Constructors

UtxosEvent (Event (EraRule "UTXOS" era)) 

Instances

Instances details
Generic (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type Rep (AlonzoUtxoEvent era) ∷ TypeType Source #

Show (Event (EraRule "UTXOS" era)) ⇒ Show (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

NFData (Event (EraRule "UTXOS" era)) ⇒ NFData (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

rnfAlonzoUtxoEvent era → () Source #

Eq (Event (EraRule "UTXOS" era)) ⇒ Eq (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Rep (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Rep (AlonzoUtxoEvent era) = D1 ('MetaData "AlonzoUtxoEvent" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.13.0.0-inplace" 'True) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" era)))))

validateExUnitsTooBigUTxO ∷ (AlonzoEraTxWits era, EraTx era, AlonzoEraPParams era) ⇒ PParams era → Tx era → Test (AlonzoUtxoPredFailure era) Source #

Ensure that execution units to not exceed the maximum allowed maxTxExUnits parameter.

totExunits tx ≤ maxTxExUnits pp

validateOutputTooBigUTxO ∷ (EraTxOut era, AlonzoEraPParams era, Foldable f) ⇒ PParams era → f (TxOut era) → Test (AlonzoUtxoPredFailure era) Source #

Ensure that there are no TxOuts that have Value of size larger than MaxValSize. We use serialized length of Value because this Value size is being limited inside a serialized Tx.

∀ txout ∈ txouts txb, serSize (getValue txout) ≤ maxValSize pp

validateOutsideForecast Source #

Arguments

∷ (MaryEraTxBody era, AlonzoEraTxWits era, EraTx era) 
EpochInfo (Either a) 
SlotNo

Current slot number

SystemStart 
Tx era 
Test (AlonzoUtxoPredFailure era) 

If tx has non-native scripts, end of validity interval must translate to time

(_,i_f) := txvldt tx
◇ ∉ { txrdmrs tx, i_f } ⇒ epochInfoSlotToUTCTime epochInfo systemTime i_f ≠ ◇

validateTooManyCollateralInputsAlonzoEraTxBody era ⇒ PParams era → TxBody era → Test (AlonzoUtxoPredFailure era) Source #

Ensure that number of collaterals does not exceed the allowed maxCollInputs parameter.

‖collateral tx‖  ≤  maxCollInputs pp

validateWrongNetworkInTxBodyAlonzoEraTxBody era ⇒ NetworkTxBody era → Test (AlonzoUtxoPredFailure era) Source #

Ensure if NetworkId is present in the txbody it matches the global NetworkId

(txnetworkid txb = NetworkId) ∨ (txnetworkid txb = ◇)

vKeyLockedEraTxOut era ⇒ TxOut era → Bool Source #

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 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra 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.13.0.0-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.13.0.0-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 EraIndependentTxBody) Coin 
SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext) 
FailedPlutusScriptsEvent (NonEmpty PlutusWithContext) 
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.13.0.0-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)))

data AlonzoUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraRule "UTXOW" era ~ AlonzoUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (AlonzoUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era) ⇒ STS (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type State (AlonzoUTXOW era) Source #

type Signal (AlonzoUTXOW era) Source #

type Environment (AlonzoUTXOW era) Source #

type BaseM (AlonzoUTXOW era) ∷ TypeType Source #

type Event (AlonzoUTXOW era) Source #

type PredicateFailure (AlonzoUTXOW era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(Era era, STS (AlonzoUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXOW era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Environment (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Event (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type State (AlonzoUTXOW era) = UTxOState era

newtype AlonzoUtxowEvent era Source #

Instances

Instances details
Generic (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowEvent era) ∷ TypeType Source #

NFData (Event (EraRule "UTXO" era)) ⇒ NFData (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnfAlonzoUtxowEvent era → () Source #

Eq (Event (EraRule "UTXO" era)) ⇒ Eq (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowEvent era) = D1 ('MetaData "AlonzoUtxowEvent" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.13.0.0-inplace" 'True) (C1 ('MetaCons "WrappedShelleyEraEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowEvent era))))

data AlonzoUtxowPredFailure era Source #

The Predicate failure type in the Alonzo Era. It embeds the Predicate failure type of the Shelley Era, as they share some failure modes.

Constructors

ShelleyInAlonzoUtxowPredFailure !(ShelleyUtxowPredFailure era) 
MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash)]

List of scripts for which no redeemers were supplied

MissingRequiredDatums 

Fields

NotAllowedSupplementalDatums 

Fields

PPViewHashesDontMatch !(Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) 
MissingRequiredSigners (Set (KeyHash 'Witness))

Set of witnesses which were needed and not supplied

UnspendableUTxONoDatumHash (Set TxIn)

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

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowPredFailure era) ∷ TypeType Source #

(AlonzoEraScript era, Show (TxCert era), Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, DecCBOR (TxCert era), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ DecCBOR (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, EncCBOR (TxCert era), EncCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ EncCBOR (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) ⇒ NFData (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnfAlonzoUtxowPredFailure era → () Source #

(AlonzoEraScript era, Eq (TxCert era), Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, NoThunks (TxCert era), NoThunks (PredicateFailure (EraRule "UTXO" era))) ⇒ NoThunks (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowPredFailure era) = D1 ('MetaData "AlonzoUtxowPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (((C1 ('MetaCons "ShelleyInAlonzoUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyUtxowPredFailure era))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(PlutusPurpose AsItem era, ScriptHash)]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons "MissingRequiredSigners" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness))))) :+: (C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn))) :+: C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PlutusPurpose AsIx era])))))

missingRequiredDatums ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era) ⇒ UTxO era → Tx era → Test (AlonzoUtxowPredFailure era) Source #