cardano-ledger-alonzo-1.11.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, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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 Signal (AlonzoBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

data AlonzoBbodyPredFailure era Source #

Constructors

ShelleyInAlonzoBbodyPredFailure (ShelleyBbodyPredFailure era) 
TooManyExUnits 

Fields

  • !ExUnits

    Computed Sum of ExUnits for all plutus scripts

  • !ExUnits

    Maximum allowed by protocal parameters

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c) 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.11.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 ExUnits) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)))

alonzoBbodyTransition ∷ ∀ era. (STS (EraRule "BBODY" era), Signal (EraRule "BBODY" era) ~ Block (BHeaderView (EraCrypto era)) 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
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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. (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 (EraCrypto era)))

The bad transaction inputs

OutsideValidityIntervalUTxO 

Fields

MaxTxSizeUTxO 

Fields

InputSetEmptyUTxO 
FeeTooSmallUTxO 

Fields

  • !Coin

    the minimum fee for this transaction

  • !Coin

    the fee supplied in this transaction

ValueNotConservedUTxO 

Fields

  • !(Value era)

    the Coin consumed by this transaction

  • !(Value era)

    the Coin produced by this transaction

WrongNetwork

the set of addresses with incorrect network IDs

Fields

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 

Fields

CollateralContainsNonADA !(Value era)

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

WrongNetworkInTxBody

Wrong Network ID in body

Fields

OutsideForecast !SlotNo

slot number outside consensus forecast range

TooManyCollateralInputs

There are too many collateral inputs

Fields

  • !Natural

    Max allowed collateral inputs

  • !Natural

    Number of collateral inputs

NoCollateralInputs 

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (AlonzoEra c) 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), 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.11.0.0-inplace" 'False) ((((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era))))) :+: 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 Integer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (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 (EraCrypto era)))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))) :+: (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 ExUnits) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 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 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 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 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 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 #

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.11.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 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.11.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.11.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 (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.11.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, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), 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.11.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 (EraCrypto era))]

List of scripts for which no redeemers were supplied

MissingRequiredDatums 

Fields

NotAllowedSupplementalDatums 

Fields

PPViewHashesDontMatch 

Fields

MissingRequiredSigners (Set (KeyHash 'Witness (EraCrypto era)))

Set of witnesses which were needed and not supplied

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

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) 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 (VerKeyDSIGN (DSIGN (EraCrypto 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.11.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 (EraCrypto era))]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingRequiredSigners" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (EraCrypto era)))))) :+: (C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (TxIn (EraCrypto era))))) :+: 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 #

ppViewHashesMatch ∷ ∀ era. AlonzoEraTx era ⇒ Tx era → PParams era → ScriptsProvided era → Set (ScriptHash (EraCrypto era)) → Test (AlonzoUtxowPredFailure era) Source #

requiredSignersAreWitnessedAlonzoEraTxBody era ⇒ TxBody era → Set (KeyHash 'Witness (EraCrypto era)) → Test (AlonzoUtxowPredFailure era) Source #

Deprecated: As no longer used. validateNeededWitnesses now handles this check