cardano-ledger-alonzo-1.15.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
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

Methods

wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (AlonzoBBODY era) Source #

wrapEvent ∷ Event ledgers → Event (AlonzoBBODY era) Source #

(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 (Tx 'TopTx era), AlonzoEraTxWits era, BlockBody era ~ AlonzoBlockBody era, EraBlockBody era, AlonzoEraPParams era) ⇒ STS (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type State (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type State (AlonzoBBODY era) = ShelleyBbodyState era
type Signal (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) = Block BHeaderView era
type Environment (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Environment (AlonzoBBODY era) = BbodyEnv era
type BaseM (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type BaseM (AlonzoBBODY era) = ShelleyBase
type Event (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Event (AlonzoBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoBBODY era)] Source #

transitionRules ∷ [TransitionRule (AlonzoBBODY era)] Source #

assertions ∷ [Assertion (AlonzoBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoBBODY era) → String Source #

type BaseM (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Environment (AlonzoBBODY era) = BbodyEnv era
type Event (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Event (AlonzoBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type Signal (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) = Block BHeaderView era
type State (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type State (AlonzoBBODY era) = ShelleyBbodyState era

data AlonzoBbodyPredFailure era Source #

Constructors

ShelleyInAlonzoBbodyPredFailure (ShelleyBbodyPredFailure era) 
TooManyExUnits (Mismatch 'RelLTEQ ExUnits) 

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

decCBOR ∷ Decoder s (AlonzoBbodyPredFailure era) Source #

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

label ∷ Proxy (AlonzoBbodyPredFailure era) → Text Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

encCBOR ∷ AlonzoBbodyPredFailure era → Encoding Source #

Generic (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type Rep (AlonzoBbodyPredFailure era) 
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.15.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))))

Methods

from ∷ AlonzoBbodyPredFailure era → Rep (AlonzoBbodyPredFailure era) x #

to ∷ Rep (AlonzoBbodyPredFailure era) x → AlonzoBbodyPredFailure era #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

showsPrec ∷ Int → AlonzoBbodyPredFailure era → ShowS #

show ∷ AlonzoBbodyPredFailure era → String #

showList ∷ [AlonzoBbodyPredFailure era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

(==) ∷ AlonzoBbodyPredFailure era → AlonzoBbodyPredFailure era → Bool #

(/=) ∷ AlonzoBbodyPredFailure era → AlonzoBbodyPredFailure era → Bool #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

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

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

showTypeOf ∷ Proxy (AlonzoBbodyPredFailure era) → String Source #

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.15.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))))

newtype AlonzoBbodyEvent era Source #

Constructors

ShelleyInAlonzoEvent (ShelleyBbodyEvent era) 

Instances

Instances details
Generic (AlonzoBbodyEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type Rep (AlonzoBbodyEvent era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyEvent era) = D1 ('MetaData "AlonzoBbodyEvent" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyInAlonzoEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyEvent era))))

Methods

from ∷ AlonzoBbodyEvent era → Rep (AlonzoBbodyEvent era) x #

to ∷ Rep (AlonzoBbodyEvent era) x → AlonzoBbodyEvent era #

type Rep (AlonzoBbodyEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyEvent era) = D1 ('MetaData "AlonzoBbodyEvent" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyInAlonzoEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyEvent era))))

alonzoBbodyTransition ∷ (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 'TopTx era), EraBlockBody era, AlonzoEraTxWits era, BlockBody era ~ AlonzoBlockBody era, AlonzoEraPParams era) ⇒ TransitionRule (EraRule "BBODY" era) Source #

data AlonzoLEDGER era Source #

Instances

Instances details
(AlonzoEraTx era, EraGov 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) ~ Tx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ AlonzoLEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, EraCertState era) ⇒ STS (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Associated Types

type State (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type State (AlonzoLEDGER era) = LedgerState era
type Signal (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) = Tx 'TopTx era
type Environment (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Environment (AlonzoLEDGER era) = LedgerEnv era
type BaseM (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoLEDGER era) = ShelleyBase
type Event (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Event (AlonzoLEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoLEDGER era)] Source #

transitionRules ∷ [TransitionRule (AlonzoLEDGER era)] Source #

assertions ∷ [Assertion (AlonzoLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoLEDGER era) → String Source #

(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

Methods

wrapFailed ∷ PredicateFailure (AlonzoLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source #

wrapEvent ∷ Event (AlonzoLEDGER era) → Event (ShelleyLEDGERS era) Source #

(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

Methods

wrapFailed ∷ PredicateFailure (AlonzoUTXOW era) → PredicateFailure (AlonzoLEDGER era) Source #

wrapEvent ∷ Event (AlonzoUTXOW era) → Event (AlonzoLEDGER era) Source #

(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

Methods

wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (AlonzoLEDGER era) Source #

wrapEvent ∷ Event (ShelleyDELEGS era) → Event (AlonzoLEDGER era) Source #

type BaseM (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Environment (AlonzoLEDGER era) = LedgerEnv era
type Event (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Event (AlonzoLEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type Signal (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) = Tx 'TopTx era
type State (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type State (AlonzoLEDGER era) = LedgerState era

ledgerTransition ∷ (STS (someLEDGER era), BaseM (someLEDGER era) ~ ShelleyBase, Signal (someLEDGER era) ~ Tx 'TopTx 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 'TopTx era, AlonzoEraTx era, EraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ TransitionRule (someLEDGER era) Source #

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

data AlonzoUtxoPredFailure era Source #

Constructors

BadInputsUTxO (Set TxIn)

The bad transaction inputs

OutsideValidityIntervalUTxO 

Fields

MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32) 
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

OutputTooBigUTxO [(Int, Int, 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

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

(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

Methods

decCBOR ∷ Decoder s (AlonzoUtxoPredFailure era) Source #

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

label ∷ Proxy (AlonzoUtxoPredFailure era) → Text Source #

(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

Methods

encCBOR ∷ AlonzoUtxoPredFailure era → Encoding Source #

(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

rnf ∷ AlonzoUtxoPredFailure era → () #

Generic (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type Rep (AlonzoUtxoPredFailure era) 
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.15.0.0-inplace" 'False) ((((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn))) :+: C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Word32))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Addr)))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])) :+: C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))))))) :+: (((C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, Int, TxOut era)]))) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))) :+: C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits)))))) :+: ((C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Network)))) :+: (C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))))))

Methods

from ∷ AlonzoUtxoPredFailure era → Rep (AlonzoUtxoPredFailure era) x #

to ∷ Rep (AlonzoUtxoPredFailure era) x → AlonzoUtxoPredFailure era #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

showsPrec ∷ Int → AlonzoUtxoPredFailure era → ShowS #

show ∷ AlonzoUtxoPredFailure era → String #

showList ∷ [AlonzoUtxoPredFailure era] → ShowS #

(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

Methods

(==) ∷ AlonzoUtxoPredFailure era → AlonzoUtxoPredFailure era → Bool #

(/=) ∷ AlonzoUtxoPredFailure era → AlonzoUtxoPredFailure era → Bool #

(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

Methods

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

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

showTypeOf ∷ Proxy (AlonzoUtxoPredFailure era) → String Source #

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.15.0.0-inplace" 'False) ((((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn))) :+: C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Word32))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Addr)))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])) :+: C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))))))) :+: (((C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, Int, TxOut era)]))) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))) :+: C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits)))))) :+: ((C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Network)))) :+: (C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))))))

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

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 'TopTx era, EraRule "UTXO" era ~ AlonzoUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, AtMostEra "Babbage" era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type State (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type State (AlonzoUTXO era) = UTxOState era
type Signal (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Signal (AlonzoUTXO era) = Tx 'TopTx era
type Environment (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Environment (AlonzoUTXO era) = UtxoEnv era
type BaseM (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type BaseM (AlonzoUTXO era) = ShelleyBase
type Event (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Event (AlonzoUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoUTXO era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXO era)] Source #

assertions ∷ [Assertion (AlonzoUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXO era) → String 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

Methods

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

wrapEvent ∷ Event (AlonzoUTXO era) → Event (AlonzoUTXOW 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

Methods

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

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

type BaseM (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type BaseM (AlonzoUTXO era) = ShelleyBase
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 Event (AlonzoUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type Signal (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type State (AlonzoUTXO era) = UTxOState era

allegraToAlonzoUtxoPredFailure ∷ ∀ (t ∷ Type → Type) era. (EraRuleFailure "PPUP" era ~ t era, InjectRuleFailure "UTXOS" t era) ⇒ AllegraUtxoPredFailure era → AlonzoUtxoPredFailure era Source #

newtype AlonzoUtxoEvent era Source #

Constructors

UtxosEvent (Event (EraRule "UTXOS" era)) 

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

rnf ∷ AlonzoUtxoEvent era → () #

Generic (AlonzoUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type Rep (AlonzoUtxoEvent era) 
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.15.0.0-inplace" 'True) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" era)))))

Methods

from ∷ AlonzoUtxoEvent era → Rep (AlonzoUtxoEvent era) x #

to ∷ Rep (AlonzoUtxoEvent era) x → AlonzoUtxoEvent era #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

showsPrec ∷ Int → AlonzoUtxoEvent era → ShowS #

show ∷ AlonzoUtxoEvent era → String #

showList ∷ [AlonzoUtxoEvent era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

(==) ∷ AlonzoUtxoEvent era → AlonzoUtxoEvent era → Bool #

(/=) ∷ AlonzoUtxoEvent era → AlonzoUtxoEvent era → Bool #

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.15.0.0-inplace" 'True) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" era)))))

validateCollateralContainsNonADA ∷ (Foldable f, EraTxOut era) ⇒ f (TxOut era) → Test (AlonzoUtxoPredFailure era) Source #

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

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

totExunits tx ≤ maxTxExUnits pp

validateInsufficientCollateral ∷ (EraTxBody era, AlonzoEraPParams era) ⇒ PParams era → TxBody 'TopTx era → DeltaCoin → Test (AlonzoUtxoPredFailure era) Source #

validateOutsideForecast Source #

Arguments

∷ ∀ era a (l ∷ TxLevel). (MaryEraTxBody era, AlonzoEraTxWits era, EraTx era) 
⇒ EpochInfo (Either a) 
→ SlotNo

Current slot number

→ SystemStart 
→ Tx l 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 ≠ ◇

validateScriptsNotPaidUTxO ∷ EraTxOut era ⇒ Map TxIn (TxOut era) → Test (AlonzoUtxoPredFailure era) Source #

validateTooManyCollateralInputs ∷ AlonzoEraTxBody era ⇒ PParams era → TxBody 'TopTx era → Test (AlonzoUtxoPredFailure era) Source #

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

‖collateral tx‖  ≤  maxCollInputs pp

validateWrongNetworkInTxBody ∷ ∀ era (l ∷ TxLevel). AlonzoEraTxBody era ⇒ Network → TxBody l era → Test (AlonzoUtxoPredFailure era) Source #

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

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

vKeyLocked ∷ EraTxOut era ⇒ TxOut era → Bool Source #

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
(Era era, NFData (TxOut era), NFData (EraRuleEvent "PPUP" era)) ⇒ NFData (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ AlonzoUtxosEvent era → () #

Generic (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep (AlonzoUtxosEvent era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

type Rep (AlonzoUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

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

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s (AlonzoUtxosPredFailure era) Source #

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

label ∷ Proxy (AlonzoUtxosPredFailure era) → Text Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ AlonzoUtxosPredFailure era → Encoding Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ AlonzoUtxosPredFailure era → () #

Generic (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

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

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → AlonzoUtxosPredFailure era → ShowS #

show ∷ AlonzoUtxosPredFailure era → String #

showList ∷ [AlonzoUtxosPredFailure era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

showTypeOf ∷ Proxy (AlonzoUtxosPredFailure era) → String Source #

type Rep (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

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, EraCertState era, EraStake era) ⇒ STS (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type State (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type State (AlonzoUTXOS era) = UTxOState era
type Signal (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Signal (AlonzoUTXOS era) = Tx 'TopTx era
type Environment (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Environment (AlonzoUTXOS era) = UtxoEnv era
type BaseM (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type BaseM (AlonzoUTXOS era) = ShelleyBase
type Event (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoUTXOS era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOS era)] Source #

assertions ∷ [Assertion (AlonzoUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOS era) → String Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

type BaseM (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type State (AlonzoUTXOS era) = UTxOState era

lbl2Phase ∷ Label Source #

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

data TagMismatchDescription Source #

Constructors

PassedUnexpectedly 
FailedUnexpectedly (NonEmpty FailureDescription) 

Instances

Instances details
ToJSON TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

toJSON ∷ TagMismatchDescription → Value Source #

toEncoding ∷ TagMismatchDescription → Encoding Source #

toJSONList ∷ [TagMismatchDescription] → Value Source #

toEncodingList ∷ [TagMismatchDescription] → Encoding Source #

omitField ∷ TagMismatchDescription → Bool Source #

DecCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s TagMismatchDescription Source #

dropCBOR ∷ Proxy TagMismatchDescription → Decoder s () Source #

label ∷ Proxy TagMismatchDescription → Text Source #

EncCBOR TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ TagMismatchDescription → Encoding Source #

NFData TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ TagMismatchDescription → () #

Generic TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep TagMismatchDescription 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Methods

from ∷ TagMismatchDescription → Rep TagMismatchDescription x #

to ∷ Rep TagMismatchDescription x → TagMismatchDescription #

Show TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → TagMismatchDescription → ShowS #

show ∷ TagMismatchDescription → String #

showList ∷ [TagMismatchDescription] → ShowS #

Eq TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ TagMismatchDescription → TagMismatchDescription → Bool #

(/=) ∷ TagMismatchDescription → TagMismatchDescription → Bool #

NoThunks TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

showTypeOf ∷ Proxy TagMismatchDescription → String Source #

type Rep TagMismatchDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

validBegin ∷ String Source #

validEnd ∷ String Source #

invalidBegin ∷ String Source #

invalidEnd ∷ String Source #

when2Phase ∷ ∀ sts (ctx ∷ RuleType). Rule sts ctx () → Rule sts ctx () Source #

Construct a 2-phase predicate check.

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

data FailureDescription Source #

Constructors

PlutusFailure Text ByteString 

Instances

Instances details
ToJSON FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

toJSON ∷ FailureDescription → Value Source #

toEncoding ∷ FailureDescription → Encoding Source #

toJSONList ∷ [FailureDescription] → Value Source #

toEncodingList ∷ [FailureDescription] → Encoding Source #

omitField ∷ FailureDescription → Bool Source #

DecCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

decCBOR ∷ Decoder s FailureDescription Source #

dropCBOR ∷ Proxy FailureDescription → Decoder s () Source #

label ∷ Proxy FailureDescription → Text Source #

EncCBOR FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

encCBOR ∷ FailureDescription → Encoding Source #

NFData FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

rnf ∷ FailureDescription → () #

Generic FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep FailureDescription 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

Methods

from ∷ FailureDescription → Rep FailureDescription x #

to ∷ Rep FailureDescription x → FailureDescription #

Show FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

showsPrec ∷ Int → FailureDescription → ShowS #

show ∷ FailureDescription → String #

showList ∷ [FailureDescription] → ShowS #

Eq FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

(==) ∷ FailureDescription → FailureDescription → Bool #

(/=) ∷ FailureDescription → FailureDescription → Bool #

NoThunks FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

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

showTypeOf ∷ Proxy FailureDescription → String Source #

type Rep FailureDescription Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

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

scriptFailureToFailureDescription ∷ ScriptFailure → FailureDescription Source #

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 'TopTx era, EraCertState era) ⇒ STS (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type State (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type State (AlonzoUTXOW era) = UTxOState era
type Signal (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) = Tx 'TopTx era
type Environment (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Environment (AlonzoUTXOW era) = UtxoEnv era
type BaseM (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type BaseM (AlonzoUTXOW era) = ShelleyBase
type Event (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Event (AlonzoUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoUTXOW era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOW era)] Source #

assertions ∷ [Assertion (AlonzoUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOW era) → String 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

Methods

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

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

(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

Methods

wrapFailed ∷ PredicateFailure (AlonzoUTXOW era) → PredicateFailure (AlonzoLEDGER era) Source #

wrapEvent ∷ Event (AlonzoUTXOW era) → Event (AlonzoLEDGER era) Source #

type BaseM (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Event (AlonzoUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type Signal (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type State (AlonzoUTXOW era) = UTxOState 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)) 
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

ScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)

The computed script integrity hash does not match the provided script integrity hash

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

(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

Methods

decCBOR ∷ Decoder s (AlonzoUtxowPredFailure era) Source #

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

label ∷ Proxy (AlonzoUtxowPredFailure era) → Text Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

encCBOR ∷ AlonzoUtxowPredFailure era → Encoding Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnf ∷ AlonzoUtxowPredFailure era → () #

Generic (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowPredFailure era) 
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.15.0.0-inplace" 'False) (((C1 ('MetaCons "ShelleyInAlonzoUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowPredFailure era))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(PlutusPurpose AsItem era, ScriptHash)]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusPurpose AsIx era])) :+: C1 ('MetaCons "ScriptIntegrityHashMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))))))

Methods

from ∷ AlonzoUtxowPredFailure era → Rep (AlonzoUtxowPredFailure era) x #

to ∷ Rep (AlonzoUtxowPredFailure era) x → AlonzoUtxowPredFailure era #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

showsPrec ∷ Int → AlonzoUtxowPredFailure era → ShowS #

show ∷ AlonzoUtxowPredFailure era → String #

showList ∷ [AlonzoUtxowPredFailure era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

(==) ∷ AlonzoUtxowPredFailure era → AlonzoUtxowPredFailure era → Bool #

(/=) ∷ AlonzoUtxowPredFailure era → AlonzoUtxowPredFailure era → Bool #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

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

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

showTypeOf ∷ Proxy (AlonzoUtxowPredFailure era) → String Source #

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.15.0.0-inplace" 'False) (((C1 ('MetaCons "ShelleyInAlonzoUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowPredFailure era))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(PlutusPurpose AsItem era, ScriptHash)]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusPurpose AsIx era])) :+: C1 ('MetaCons "ScriptIntegrityHashMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))))))

newtype AlonzoUtxowEvent era Source #

Constructors

WrappedShelleyEraEvent (ShelleyUtxowEvent era) 

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnf ∷ AlonzoUtxowEvent era → () #

Generic (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowEvent era) 
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.15.0.0-inplace" 'True) (C1 ('MetaCons "WrappedShelleyEraEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowEvent era))))

Methods

from ∷ AlonzoUtxowEvent era → Rep (AlonzoUtxowEvent era) x #

to ∷ Rep (AlonzoUtxowEvent era) x → AlonzoUtxowEvent era #

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

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

(==) ∷ AlonzoUtxowEvent era → AlonzoUtxowEvent era → Bool #

(/=) ∷ AlonzoUtxowEvent era → AlonzoUtxowEvent era → Bool #

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.15.0.0-inplace" 'True) (C1 ('MetaCons "WrappedShelleyEraEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowEvent era))))

hasExactSetOfRedeemers ∷ ∀ era (l ∷ TxLevel). AlonzoEraTx era ⇒ Tx l era → ScriptsProvided era → AlonzoScriptsNeeded era → Test (AlonzoUtxowPredFailure era) Source #

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

checkScriptIntegrityHash ∷ ∀ era (l ∷ TxLevel). AlonzoEraTx era ⇒ Tx l era → PParams era → StrictMaybe (ScriptIntegrity era) → Test (AlonzoUtxowPredFailure era) Source #