Documentation

Associated Types

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

Methods

initialRules ∷ [InitialRule (BabbageLEDGER era)] Source #

transitionRules ∷ [TransitionRule (BabbageLEDGER era)] Source #

assertions ∷ [Assertion (BabbageLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageLEDGER era) → String Source #

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

Instance details

Methods

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

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

(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (BabbageUTXOW era) → PredicateFailure (BabbageLEDGER era) Source #

wrapEvent ∷ Event (BabbageUTXOW era) → Event (BabbageLEDGER era) Source #

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

Instance details

Methods

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

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

type BaseM (BabbageLEDGER era) Source #

Instance details

type BaseM (BabbageLEDGER era) = ShelleyBase

type Environment (BabbageLEDGER era) Source #

Instance details

type Environment (BabbageLEDGER era) = LedgerEnv era

type Event (BabbageLEDGER era) Source #

Instance details

type Event (BabbageLEDGER era) = ShelleyLedgerEvent era

type PredicateFailure (BabbageLEDGER era) Source #

Instance details

type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era

type Signal (BabbageLEDGER era) Source #

Instance details

type Signal (BabbageLEDGER era) = Tx 'TopTx era

type State (BabbageLEDGER era) Source #

Instance details

type State (BabbageLEDGER era) = LedgerState era

utxoTransition ∷ (EraUTxO era, BabbageEraTxBody era, AlonzoEraTxWits era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (EraRule "UTXO" era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraCertState era) ⇒ TransitionRule (EraRule "UTXO" era) Source #

The UTxO transition rule for the Babbage eras.

validateOutputTooSmallUTxO ∷ (EraTxOut era, Foldable f) ⇒ PParams era → f (Sized (TxOut era)) → Test (BabbageUtxoPredFailure era) Source #

feesOK ∷ ∀ era (rule ∷ Symbol). (EraUTxO era, BabbageEraTxBody era, AlonzoEraTxWits era, InjectRuleFailure rule AlonzoUtxoPredFailure era, InjectRuleFailure rule BabbageUtxoPredFailure era) ⇒ PParams era → Tx 'TopTx era → UTxO era → Test (EraRuleFailure rule era) Source #

feesOK is a predicate with several parts. Some parts only apply in special circumstances. 1) The fee paid is >= the minimum fee 2) If the total ExUnits are 0 in both Memory and Steps, no further part needs to be checked. 3) The collateral consists only of VKey addresses 4) The collateral inputs do not contain any non-ADA part 5) The collateral is sufficient to cover the appropriate percentage of the fee marked in the transaction 6) The collateral is equivalent to total collateral asserted by the transaction 7) There is at least one collateral input

feesOK can differ from Era to Era, as new notions of fees arise. This is the Babbage version See: Figure 2: Functions related to fees and collateral, in the Babbage specification In the spec feesOK is a boolean function. Because wee need to handle predicate failures in the implementaion, it is coded as a Test. Which is a validation. This version is generic in that it can be lifted to any PredicateFailure type that embeds BabbageUtxoPred era. This makes it possibly useful in future Eras.

data BabbageUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ BabbageUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, Embed (EraRule "UTXOS" era) (BabbageUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (BabbageUTXO era) Source #

Instance details

Associated Types

type State (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type State (BabbageUTXO era) = UTxOState era
type Signal (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Signal (BabbageUTXO era) = Tx 'TopTx era
type Environment (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Environment (BabbageUTXO era) = UtxoEnv era
type BaseM (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type BaseM (BabbageUTXO era) = ShelleyBase
type Event (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Event (BabbageUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (BabbageUTXO era)] Source #

transitionRules ∷ [TransitionRule (BabbageUTXO era)] Source #

assertions ∷ [Assertion (BabbageUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageUTXO era) → String Source #

(Era era, STS (BabbageUTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (BabbageUTXOW era) ~ ShelleyBase, PredicateFailure (BabbageUTXOW era) ~ BabbageUtxowPredFailure era, Event (BabbageUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (BabbageUTXO era) (BabbageUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (BabbageUTXO era) → PredicateFailure (BabbageUTXOW era) Source #

wrapEvent ∷ Event (BabbageUTXO era) → Event (BabbageUTXOW era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (BabbageUTXOS era) → PredicateFailure (BabbageUTXO era) Source #

wrapEvent ∷ Event (BabbageUTXOS era) → Event (BabbageUTXO era) Source #

type BaseM (BabbageUTXO era) Source #

Instance details

type BaseM (BabbageUTXO era) = ShelleyBase

type Environment (BabbageUTXO era) Source #

Instance details

type Environment (BabbageUTXO era) = UtxoEnv era

type Event (BabbageUTXO era) Source #

Instance details

type Event (BabbageUTXO era) = AlonzoUtxoEvent era

type PredicateFailure (BabbageUTXO era) Source #

Instance details

type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era

type Signal (BabbageUTXO era) Source #

Instance details

type Signal (BabbageUTXO era) = Tx 'TopTx era

type State (BabbageUTXO era) Source #

Instance details

type State (BabbageUTXO era) = UTxOState era

data BabbageUtxoPredFailure era Source #

Predicate failure for the Babbage Era

Constructors

AlonzoInBabbageUtxoPredFailure (AlonzoUtxoPredFailure era)
IncorrectTotalCollateralField	The collateral is not equivalent to the total collateral asserted by the transaction
Fields DeltaCoin collateral provided Coin collateral amount declared in transaction body
BabbageOutputTooSmallUTxO [(TxOut era, Coin)]	list of supplied transaction outputs that are too small, together with the minimum value for the given output.
BabbageNonDisjointRefInputs (NonEmpty TxIn)	TxIns that appear in both inputs and reference inputs

Instances

Instances details

InjectRuleFailure "BBODY" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #

(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era)), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) ⇒ DecCBOR (BabbageUtxoPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (BabbageUtxoPredFailure era) Source #

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

label ∷ Proxy (BabbageUtxoPredFailure era) → Text Source #

(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era)), EncCBOR TxIn) ⇒ EncCBOR (BabbageUtxoPredFailure era) Source #

Instance details

Methods

encCBOR ∷ BabbageUtxoPredFailure era → Encoding Source #

(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (BabbageUtxoPredFailure era) Source #

Instance details

Methods

rnf ∷ BabbageUtxoPredFailure era → () #

Generic (BabbageUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (BabbageUtxoPredFailure era)

Instance details

type Rep (BabbageUtxoPredFailure era) = D1 ('MetaData "BabbageUtxoPredFailure" "Cardano.Ledger.Babbage.Rules.Utxo" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxoPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxoPredFailure era))) :+: C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn)))))

Methods

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

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

(Era era, Show (AlonzoUtxoPredFailure era), Show (PredicateFailure (EraRule "UTXO" era)), Show (TxOut era), Show (Script era), Show TxIn) ⇒ Show (BabbageUtxoPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → BabbageUtxoPredFailure era → ShowS #

show ∷ BabbageUtxoPredFailure era → String #

showList ∷ [BabbageUtxoPredFailure era] → ShowS #

(Era era, Eq (AlonzoUtxoPredFailure era), Eq (PredicateFailure (EraRule "UTXO" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) ⇒ Eq (BabbageUtxoPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (BabbageUtxoPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BabbageUtxoPredFailure era) → String Source #

type Rep (BabbageUtxoPredFailure era) Source #

Instance details

type Rep (BabbageUtxoPredFailure era) = D1 ('MetaData "BabbageUtxoPredFailure" "Cardano.Ledger.Babbage.Rules.Utxo" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxoPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxoPredFailure era))) :+: C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn)))))

validateTotalCollateral ∷ ∀ era (rule ∷ Symbol). (BabbageEraTxBody era, InjectRuleFailure rule AlonzoUtxoPredFailure era, InjectRuleFailure rule BabbageUtxoPredFailure era) ⇒ PParams era → TxBody 'TopTx era → Map TxIn (TxOut era) → Test (EraRuleFailure rule era) Source #

validateCollateralEqBalance ∷ DeltaCoin → StrictMaybe Coin → Validation (NonEmpty (BabbageUtxoPredFailure era)) () Source #

disjointRefInputs ∷ EraPParams era ⇒ PParams era → Set TxIn → Set TxIn → Test (BabbageUtxoPredFailure era) Source #

Test that inputs and refInpts are disjoint, in Conway and later Eras.

data BabbageUTXOS era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, EraStake era, EraCertState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (BabbageUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx 'TopTx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, EraRule "UTXOS" era ~ BabbageUTXOS era) ⇒ STS (BabbageUTXOS era) Source #

Instance details

Associated Types

type State (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State (BabbageUTXOS era) = UTxOState era
type Signal (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Signal (BabbageUTXOS era) = Tx 'TopTx era
type Environment (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Environment (BabbageUTXOS era) = UtxoEnv era
type BaseM (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type BaseM (BabbageUTXOS era) = ShelleyBase
type Event (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Event (BabbageUTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (BabbageUTXOS era)] Source #

transitionRules ∷ [TransitionRule (BabbageUTXOS era)] Source #

assertions ∷ [Assertion (BabbageUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageUTXOS era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (BabbageUTXOS era) → PredicateFailure (BabbageUTXO era) Source #

wrapEvent ∷ Event (BabbageUTXOS era) → Event (BabbageUTXO era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (BabbageUTXOS era) Source #

Instance details

Methods

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

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

type BaseM (BabbageUTXOS era) Source #

Instance details

type BaseM (BabbageUTXOS era) = ShelleyBase

type Environment (BabbageUTXOS era) Source #

Instance details

type Environment (BabbageUTXOS era) = UtxoEnv era

type Event (BabbageUTXOS era) Source #

Instance details

type Event (BabbageUTXOS era) = AlonzoUtxosEvent era

type PredicateFailure (BabbageUTXOS era) Source #

Instance details

type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era

type Signal (BabbageUTXOS era) Source #

Instance details

type Signal (BabbageUTXOS era) = Tx 'TopTx era

type State (BabbageUTXOS era) Source #

Instance details

type State (BabbageUTXOS era) = UTxOState era

utxosTransition ∷ (AlonzoEraTx era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraCertState era, EraStake era, EraGov era, GovState era ~ ShelleyGovState era, Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), Embed (EraRule "PPUP" era) (BabbageUTXOS era), State (EraRule "PPUP" era) ~ ShelleyGovState era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era, EraRule "UTXOS" era ~ BabbageUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ TransitionRule (BabbageUTXOS era) Source #

expectScriptsToPass ∷ (AlonzoEraTx era, EraPlutusContext era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, STS (EraRule "UTXOS" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, BaseM (EraRule "UTXOS" era) ~ ShelleyBase, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ PParams era → Tx 'TopTx era → UTxO era → Rule (EraRule "UTXOS" era) 'Transition () Source #

babbageEvalScriptsTxInvalid ∷ (EraStake era, AlonzoEraTx era, BabbageEraTxBody era, EraPlutusContext era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, STS (EraRule "UTXOS" era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, State (EraRule "UTXOS" era) ~ UTxOState era, BaseM (EraRule "UTXOS" era) ~ ShelleyBase, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ TransitionRule (EraRule "UTXOS" era) Source #

data BabbageUtxowPredFailure era Source #

Constructors

AlonzoInBabbageUtxowPredFailure (AlonzoUtxowPredFailure era)
UtxoFailure (PredicateFailure (EraRule "UTXO" era))	Embed UTXO rule failures
MalformedScriptWitnesses (Set ScriptHash)	the set of malformed script witnesses
MalformedReferenceScripts (Set ScriptHash)	the set of malformed script witnesses
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" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

Methods

injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

Methods

injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #

(AlonzoEraScript era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era)), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ DecCBOR (BabbageUtxowPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (BabbageUtxowPredFailure era) Source #

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

label ∷ Proxy (BabbageUtxowPredFailure era) → Text Source #

(AlonzoEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (BabbageUtxowPredFailure era) Source #

Instance details

Methods

encCBOR ∷ BabbageUtxowPredFailure era → Encoding Source #

(AlonzoEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) ⇒ NFData (BabbageUtxowPredFailure era) Source #

Instance details

Methods

rnf ∷ BabbageUtxowPredFailure era → () #

Generic (BabbageUtxowPredFailure era) Source #

Instance details

Associated Types

type Rep (BabbageUtxowPredFailure era)

Instance details

type Rep (BabbageUtxowPredFailure era) = D1 ('MetaData "BabbageUtxowPredFailure" "Cardano.Ledger.Babbage.Rules.Utxow" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxowPredFailure era))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ScriptHash))) :+: (C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ScriptHash))) :+: 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 ∷ BabbageUtxowPredFailure era → Rep (BabbageUtxowPredFailure era) x #

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

(AlonzoEraScript era, Show (ShelleyUtxowPredFailure era), Show (PredicateFailure (EraRule "UTXO" era)), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (TxCert era), Show (Value era)) ⇒ Show (BabbageUtxowPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → BabbageUtxowPredFailure era → ShowS #

show ∷ BabbageUtxowPredFailure era → String #

showList ∷ [BabbageUtxowPredFailure era] → ShowS #

(AlonzoEraScript era, Eq (ShelleyUtxowPredFailure era), Eq (PredicateFailure (EraRule "UTXO" era)), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (TxCert era)) ⇒ Eq (BabbageUtxowPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (BabbageUtxowPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BabbageUtxowPredFailure era) → String Source #

type Rep (BabbageUtxowPredFailure era) Source #

Instance details

type Rep (BabbageUtxowPredFailure era) = D1 ('MetaData "BabbageUtxowPredFailure" "Cardano.Ledger.Babbage.Rules.Utxow" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxowPredFailure era))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ScriptHash))) :+: (C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ScriptHash))) :+: 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))))))

data BabbageUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, EraRule "UTXOW" era ~ BabbageUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (BabbageUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era)), EraCertState era) ⇒ STS (BabbageUTXOW era) Source #

Instance details