Documentation

Methods

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

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

(EraRule "BBODY" era ~ BBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (BBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx 'TopTx era), AlonzoEraTxWits era, EraBlockBody era, AlonzoEraPParams era, AlonzoEraTx era) ⇒ STS (BBODY era) Source #

Instance details

Associated Types

type State (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type Signal (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Signal (BBODY era) = BbodySignal era
type Environment (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Environment (BBODY era) = BbodyEnv era
type BaseM (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type BaseM (BBODY era) = ShelleyBase
type Event (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Event (BBODY era) = AlonzoBbodyEvent era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (BBODY era)] Source #

transitionRules ∷ [TransitionRule (BBODY era)] Source #

assertions ∷ [Assertion (BBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (BBODY era) → String Source #

type BaseM (BBODY era) Source #

Instance details

type BaseM (BBODY era) = ShelleyBase

type Environment (BBODY era) Source #

Instance details

type Environment (BBODY era) = BbodyEnv era

type Event (BBODY era) Source #

Instance details

type Event (BBODY era) = AlonzoBbodyEvent era

type PredicateFailure (BBODY era) Source #

Instance details

type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure era

type Signal (BBODY era) Source #

Instance details

type Signal (BBODY era) = BbodySignal era

type State (BBODY era) Source #

Instance details

type State (BBODY 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

Methods

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

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

Instance details

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

Methods

encCBOR ∷ AlonzoBbodyPredFailure era → Encoding Source #

NFData (PredicateFailure (EraRule "LEDGERS" era)) ⇒ NFData (AlonzoBbodyPredFailure era) Source #

Instance details

Methods

rnf ∷ AlonzoBbodyPredFailure era → () #

Generic (AlonzoBbodyPredFailure era) Source #

Instance details

Associated Types

type Rep (AlonzoBbodyPredFailure era)

Instance details

type Rep (AlonzoBbodyPredFailure era) = D1 ('MetaData "AlonzoBbodyPredFailure" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.16.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

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

Methods

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

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

type Rep (AlonzoBbodyPredFailure era) Source #

Instance details

type Rep (AlonzoBbodyPredFailure era) = D1 ('MetaData "AlonzoBbodyPredFailure" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.16.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

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.16.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 #

Eq (Event (EraRule "LEDGERS" era)) ⇒ Eq (AlonzoBbodyEvent era) Source #

Instance details

Methods

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

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

type Rep (AlonzoBbodyEvent era) Source #

Instance details

type Rep (AlonzoBbodyEvent era) = D1 ('MetaData "AlonzoBbodyEvent" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.16.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) ~ BbodySignal era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure 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, AlonzoEraTx era) ⇒ TransitionRule (EraRule "BBODY" era) Source #

validateExUnits Source #

Arguments

∷ (AlonzoEraTx era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era)
⇒ StrictSeq (Tx 'TopTx era)
→ ExUnits	Max block exunits protocol parameter.
→ Rule (EraRule "BBODY" era) 'Transition ()

Validate that total execution units (all transactions) do not exceed block limit. ∑(tx ∈ txs)(totExunits tx) ≤ maxBlockExUnits pp

data LEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx '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 ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, EraCertState era) ⇒ STS (LEDGER era) Source #

Instance details

Associated Types

type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State (LEDGER era) = LedgerState era
type Signal (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Signal (LEDGER era) = StAnnTx 'TopTx era
type Environment (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Environment (LEDGER era) = LedgerEnv era
type BaseM (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type BaseM (LEDGER era) = ShelleyBase
type Event (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Event (LEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (LEDGER era) (LEDGERS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source #

(Era era, STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

(Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (DELEGS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DELEGS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (DELEGS era) → Event (LEDGER era) Source #

type BaseM (LEDGER era) Source #

Instance details

type BaseM (LEDGER era) = ShelleyBase

type Environment (LEDGER era) Source #

Instance details

type Environment (LEDGER era) = LedgerEnv era

type Event (LEDGER era) Source #

Instance details

type Event (LEDGER era) = ShelleyLedgerEvent era

type PredicateFailure (LEDGER era) Source #

Instance details

type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era

type Signal (LEDGER era) Source #

Instance details

type Signal (LEDGER era) = StAnnTx 'TopTx era

type State (LEDGER era) Source #

Instance details

type State (LEDGER era) = LedgerState era

ledgerTransition ∷ (STS (someLEDGER era), BaseM (someLEDGER era) ~ ShelleyBase, Signal (someLEDGER era) ~ StAnnTx '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) ~ StAnnTx '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 UTXO era Source #

Instances

Instances details

(EraUTxO era, AlonzoEraTx era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ UtxosEnv era, State (EraRule "UTXOS" era) ~ ShelleyGovState era, Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, AtMostEra "Babbage" era, EraCertState era, EraStake era, SafeToHash (TxWits era), GovState era ~ ShelleyGovState era) ⇒ STS (UTXO era) Source #

Instance details

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Event (UTXO era) = AlonzoUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) ⇒ Embed (UTXOS era) (UTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source #

wrapEvent ∷ Event (UTXOS era) → Event (UTXO era) Source #

type BaseM (UTXO era) Source #

Instance details

type BaseM (UTXO era) = ShelleyBase

type Environment (UTXO era) Source #

Instance details

type Environment (UTXO era) = UtxoEnv era

type Event (UTXO era) Source #

Instance details

type Event (UTXO era) = AlonzoUtxoEvent era

type PredicateFailure (UTXO era) Source #

Instance details

type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure era

type Signal (UTXO era) Source #

Instance details

type Signal (UTXO era) = StAnnTx 'TopTx era

type State (UTXO era) Source #

Instance details

type State (UTXO era) = UTxOState era

data AlonzoUtxoEvent era Source #

Constructors

UtxosEvent (Event (EraRule "UTXOS" era))
TotalDeposits (SafeHash EraIndependentTxBody) Coin
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 (Event (EraRule "UTXOS" era))) ⇒ NFData (AlonzoUtxoEvent era) Source #

Instance details

Methods

rnf ∷ AlonzoUtxoEvent era → () #

Generic (AlonzoUtxoEvent era) Source #

Instance details

Associated Types

type Rep (AlonzoUtxoEvent era)

Instance details

type Rep (AlonzoUtxoEvent era) = D1 ('MetaData "AlonzoUtxoEvent" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" 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 "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 ∷ AlonzoUtxoEvent era → Rep (AlonzoUtxoEvent era) x #

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

(Show (TxOut era), Show (Event (EraRule "UTXOS" era))) ⇒ Show (AlonzoUtxoEvent era) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoUtxoEvent era → ShowS #

show ∷ AlonzoUtxoEvent era → String #

showList ∷ [AlonzoUtxoEvent era] → ShowS #

(Era era, Eq (TxOut era), Eq (Event (EraRule "UTXOS" era))) ⇒ Eq (AlonzoUtxoEvent era) Source #

Instance details

Methods

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

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

type Rep (AlonzoUtxoEvent era) Source #

Instance details

type Rep (AlonzoUtxoEvent era) = D1 ('MetaData "AlonzoUtxoEvent" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" 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 "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 AlonzoUtxoPredFailure era Source #

Constructors

BadInputsUTxO (NonEmptySet TxIn)	The bad transaction inputs
OutsideValidityIntervalUTxO
Fields ValidityInterval transaction's validity interval SlotNo current slot
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 (NonEmptySet Addr) the set of addresses with incorrect network IDs
WrongNetworkWithdrawal
Fields Network the expected network id (NonEmptySet AccountAddress) the set of account addresses with incorrect network IDs
OutputTooSmallUTxO (NonEmpty (TxOut era))	list of supplied transaction outputs that are too small
UtxosFailure (PredicateFailure (EraRule "UTXOS" era))	Subtransition Failures
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))	list of supplied bad transaction outputs
OutputTooBigUTxO (NonEmpty (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 (NonEmptyMap TxIn (TxOut 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 Word16)	There are too many collateral inputs
NoCollateralInputs

Instances

Instances details

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

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

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

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

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

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

Methods

rnf ∷ AlonzoUtxoPredFailure era → () #

Generic (AlonzoUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (AlonzoUtxoPredFailure era)

Instance details

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

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

Methods

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

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

type Rep (AlonzoUtxoPredFailure era) Source #

Instance details

validateOutsideForecast Source #

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

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

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 #

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 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 (NonEmpty (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

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

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

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

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

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

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

Methods

rnf ∷ AlonzoUtxosPredFailure era → () #

Generic (AlonzoUtxosPredFailure era) Source #

Instance details

Associated Types

type Rep (AlonzoUtxosPredFailure era)

Instance details

type Rep (AlonzoUtxosPredFailure era) = D1 ('MetaData "AlonzoUtxosPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.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 (NonEmpty (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

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

Methods

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

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

type Rep (AlonzoUtxosPredFailure era) Source #

Instance details

type Rep (AlonzoUtxosPredFailure era) = D1 ('MetaData "AlonzoUtxosPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.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 (NonEmpty (CollectError era)))) :+: C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era)))))

data UtxosEnv era Source #

Constructors

UtxosEnv
Fields ueSlot ∷ SlotNo uePParams ∷ PParams era ueCertState ∷ CertState era ueUtxo ∷ UTxO era

Instances

Instances details

Generic (UtxosEnv era) Source #

Instance details

Associated Types

type Rep (UtxosEnv era)

Instance details

type Rep (UtxosEnv era) = D1 ('MetaData "UtxosEnv" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxosEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)) :*: S1 ('MetaSel ('Just "ueUtxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

Methods

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

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

type Rep (UtxosEnv era) Source #

Instance details

type Rep (UtxosEnv era) = D1 ('MetaData "UtxosEnv" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxosEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)) :*: S1 ('MetaSel ('Just "ueUtxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

data UTXOS 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) (UTXOS 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 (UTXOS era) Source #

Instance details

Associated Types

type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State (UTXOS era) = ShelleyGovState era
type Signal (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Signal (UTXOS era) = StAnnTx 'TopTx era
type Environment (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Environment (UTXOS era) = UtxosEnv era
type BaseM (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type BaseM (UTXOS era) = ShelleyBase
type Event (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Event (UTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOS era)] Source #

transitionRules ∷ [TransitionRule (UTXOS era)] Source #

assertions ∷ [Assertion (UTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOS era) → String Source #

(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) ⇒ Embed (UTXOS era) (UTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source #

wrapEvent ∷ Event (UTXOS era) → Event (UTXO era) Source #

(Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (PPUP era), EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (PPUP era) (UTXOS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (PPUP era) → PredicateFailure (UTXOS era) Source #

wrapEvent ∷ Event (PPUP era) → Event (UTXOS era) Source #

type BaseM (UTXOS era) Source #

Instance details

type BaseM (UTXOS era) = ShelleyBase

type Environment (UTXOS era) Source #

Instance details

type Environment (UTXOS era) = UtxosEnv era

type Event (UTXOS era) Source #

Instance details

type Event (UTXOS era) = AlonzoUtxosEvent era

type PredicateFailure (UTXOS era) Source #

Instance details

type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era

type Signal (UTXOS era) Source #

Instance details

type Signal (UTXOS era) = StAnnTx 'TopTx era

type State (UTXOS era) Source #

Instance details

type State (UTXOS era) = ShelleyGovState 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

DecCBOR TagMismatchDescription Source #

Methods

toJSON ∷ TagMismatchDescription → Value Source #

toEncoding ∷ TagMismatchDescription → Encoding Source #

toJSONList ∷ [TagMismatchDescription] → Value Source #

toEncodingList ∷ [TagMismatchDescription] → Encoding Source #

omitField ∷ TagMismatchDescription → Bool Source #

Instance details

EncCBOR TagMismatchDescription Source #

Methods

decCBOR ∷ Decoder s TagMismatchDescription Source #

dropCBOR ∷ Proxy TagMismatchDescription → Decoder s () Source #

label ∷ Proxy TagMismatchDescription → Text Source #

Instance details

Methods

encCBOR ∷ TagMismatchDescription → Encoding Source #

NFData TagMismatchDescription Source #

Instance details

Generic TagMismatchDescription Source #

Methods

rnf ∷ TagMismatchDescription → () #

Instance details

Associated Types

type Rep TagMismatchDescription

Instance details

type Rep TagMismatchDescription = D1 ('MetaData "TagMismatchDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.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

Methods

showsPrec ∷ Int → TagMismatchDescription → ShowS #

show ∷ TagMismatchDescription → String #

showList ∷ [TagMismatchDescription] → ShowS #

Eq TagMismatchDescription Source #

Instance details

NoThunks TagMismatchDescription Source #

Methods

(==) ∷ TagMismatchDescription → TagMismatchDescription → Bool #

(/=) ∷ TagMismatchDescription → TagMismatchDescription → Bool #

Instance details

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

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

validBegin ∷ String Source #

validEnd ∷ String Source #

invalidBegin ∷ String Source #

invalidEnd ∷ String Source #

data AlonzoUtxosEvent era Source #

Constructors

AlonzoPpupToUtxosEvent (EraRuleEvent "PPUP" era)
SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext)
FailedPlutusScriptsEvent (NonEmpty PlutusWithContext)

Instances

Instances details

NFData (EraRuleEvent "PPUP" era) ⇒ NFData (AlonzoUtxosEvent era) Source #

Instance details

Methods

rnf ∷ AlonzoUtxosEvent era → () #

Generic (AlonzoUtxosEvent era) Source #

Instance details

Associated Types

type Rep (AlonzoUtxosEvent era)

Instance details

type Rep (AlonzoUtxosEvent era) = D1 ('MetaData "AlonzoUtxosEvent" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPpupToUtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleEvent "PPUP" era))) :+: (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)))))

Methods

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

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

Eq (EraRuleEvent "PPUP" era) ⇒ Eq (AlonzoUtxosEvent era) Source #

Instance details

Methods

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

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

type Rep (AlonzoUtxosEvent era) Source #

Instance details

PlutusFailure Text ByteString

type Rep (AlonzoUtxosEvent era) = D1 ('MetaData "AlonzoUtxosEvent" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPpupToUtxosEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleEvent "PPUP" era))) :+: (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)))))

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

Instances

Instances details

ToJSON FailureDescription Source #

Instance details

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

Methods

decCBOR ∷ Decoder s FailureDescription Source #

dropCBOR ∷ Proxy FailureDescription → Decoder s () Source #

label ∷ Proxy FailureDescription → Text Source #

EncCBOR FailureDescription Source #

Instance details

Methods

encCBOR ∷ FailureDescription → Encoding Source #

NFData FailureDescription Source #

Instance details

Methods

rnf ∷ FailureDescription → () #

Generic FailureDescription Source #

Instance details

Associated Types

type Rep FailureDescription

Instance details

type Rep FailureDescription = D1 ('MetaData "FailureDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.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

Methods

showsPrec ∷ Int → FailureDescription → ShowS #

show ∷ FailureDescription → String #

showList ∷ [FailureDescription] → ShowS #

Eq FailureDescription Source #

Instance details

Methods

(==) ∷ FailureDescription → FailureDescription → Bool #

(/=) ∷ FailureDescription → FailureDescription → Bool #

NoThunks FailureDescription Source #

Instance details

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

type Rep FailureDescription = D1 ('MetaData "FailureDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.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 UTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, EraCertState era) ⇒ STS (UTXOW era) Source #

Instance details

Associated Types

type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type State (UTXOW era) = UTxOState era
type Signal (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Event (UTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

(Era era, STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

type BaseM (UTXOW era) Source #

Instance details

type BaseM (UTXOW era) = ShelleyBase

type Environment (UTXOW era) Source #

Instance details

type Environment (UTXOW era) = UtxoEnv era

type Event (UTXOW era) Source #

Instance details

type Event (UTXOW era) = AlonzoUtxowEvent era

type PredicateFailure (UTXOW era) Source #

Instance details

type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure era

type Signal (UTXOW era) Source #

Instance details

type Signal (UTXOW era) = StAnnTx 'TopTx era

type State (UTXOW era) Source #

Instance details