Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.Rules

Synopsis

value babbageUtxoValidation
value disjointRefInputs
value feesOK
value updateUTxOState
value utxoTransition
value validateCollateralEqBalance
value validateOutputTooSmallUTxO
value validateTotalCollateral
value babbageEvalScriptsTxInvalid
value expectScriptsToPass
value utxosTransition
value babbageMissingScripts
value babbageUtxowTransition
value validateFailedBabbageScripts
value validateScriptsWellFormed
value validateScriptsWellFormedTxOuts
data LEDGER
data LEDGERS
data UTXO
data UTXOS
data UTXOW
data BabbageUtxoPredFailure
data BabbageUtxowPredFailure

Packagecardano-ledger-babbage-1.14.0.0
Exports23
LicenceApache-2.0

value

babbageUtxoValidation :: (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) ~ StAnnTx TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), EraCertState era) => Rule (EraRule "UTXO" era) 'Transition ()

valuedisjointRefInputs

:: EraPParams era
=> PParams era
-> Set TxIn
-> Set TxIn
-> Test (BabbageUtxoPredFailure era)

valuefeesOK

:: (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)

valueupdateUTxOState

:: (AlonzoEraTx era, BabbageEraTxBody era, EraStake era, EraCertState era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era)
=> PParams era
-> CertState era
-> Tx TopTx era
-> UTxOState era
-> Rule (EraRule "UTXO" era) 'Transition (UTxOState era)

value

utxoTransition :: (EraUTxO era, BabbageEraTxBody era, AlonzoEraTx era, EraCertState era, EraStake era, GovState era ~ ShelleyGovState 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) ~ StAnnTx TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (EraRule "UTXO" era), Environment (EraRule "UTXOS" era) ~ UtxosEnv era, State (EraRule "UTXOS" era) ~ ShelleyGovState era, Signal (EraRule "UTXOS" era) ~ StAnnTx TopTx era) => TransitionRule (EraRule "UTXO" era)

valuevalidateCollateralEqBalance

:: DeltaCoin
-> StrictMaybe Coin
-> Validation (NonEmpty (BabbageUtxoPredFailure era)) ()

valuevalidateOutputTooSmallUTxO

:: (EraTxOut era, Foldable f)
=> PParams era
-> f (Sized (TxOut era))
-> Test (BabbageUtxoPredFailure era)

valuevalidateTotalCollateral

:: (BabbageEraTxBody era, InjectRuleFailure rule AlonzoUtxoPredFailure era, InjectRuleFailure rule BabbageUtxoPredFailure era)
=> PParams era
-> TxBody TopTx era
-> Map TxIn (TxOut era)
-> Test (EraRuleFailure rule era)

valuebabbageEvalScriptsTxInvalid

:: (AlonzoEraTx era, AlonzoEraUTxO era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era)
=> StAnnTx TopTx era
-> Rule (EraRule "UTXOS" era) 'Transition ()

valueexpectScriptsToPass

:: (AlonzoEraTx era, AlonzoEraUTxO era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era)
=> StAnnTx TopTx era
-> Rule (EraRule "UTXOS" era) 'Transition ()

value

utxosTransition :: (AlonzoEraTx era, ShelleyEraTxBody era, AlonzoEraUTxO era, EraCertState era, Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), Embed (EraRule "PPUP" era) (UTXOS era), State (EraRule "PPUP" era) ~ ShelleyGovState era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) => TransitionRule (UTXOS era)

valuebabbageMissingScripts

value

babbageUtxowTransition :: (AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, State (EraRule "UTXOW" era) ~ UTxOState era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, State (EraRule "UTXO" era) ~ UTxOState era) => TransitionRule (EraRule "UTXOW" era)

valuevalidateFailedBabbageScripts

:: EraTx era
=> Tx l era
-> ScriptsProvided era
-> Set ScriptHash
-> Test (ShelleyUtxowPredFailure era)

valuevalidateScriptsWellFormed

:: (EraTx era, BabbageEraTxBody era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era))
=> PParams era
-> StAnnTx TopTx era
-> Test (BabbageUtxowPredFailure era)

valuevalidateScriptsWellFormedTxOuts

:: (BabbageEraTxOut era, Foldable f)
=> Map ScriptHash (SupportedPlutusRunnable era)
-> PParams era
-> Map ScriptHash (Script era)
-> f (TxOut era)
-> Test (BabbageUtxowPredFailure era)

datadata LEDGER c

Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(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, EraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) => STS (LEDGER era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
(Era era, STS (UTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
(Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) => Embed (DELEGS era) (LEDGER era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type Event (LEDGER era) = ShelleyLedgerEvent eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan

datadata LEDGERS c

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRule "LEDGER" era) (LEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era, Default (LedgerState era)) => STS (LEDGERS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type BaseM (LEDGERS era) = ShelleyBaseDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type Environment (LEDGERS era) = ShelleyLedgersEnv eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type Event (LEDGERS era) = ShelleyLedgersEvent eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type Signal (LEDGERS era) = Seq (Tx TopTx era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan

datadata UTXO era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTx era, AlonzoEraTxWits era, EraCertState era, EraStake era, GovState era ~ ShelleyGovState era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure 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, SafeToHash (TxWits era)) => STS (UTXO era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ BabbageUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type Environment (UTXO era) = UtxoEnv eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type Event (UTXO era) = AlonzoUtxoEvent eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan

datadata UTXOS era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(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) (UTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (UTXOS era) ~ StAnnTx 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 ~ UTXOS era) => STS (UTXOS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
(Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
(Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, EraRuleEvent "PPUP" era ~ PpupEvent era) => Embed (PPUP era) (UTXOS era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type BaseM (UTXOS era) = ShelleyBaseDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type Environment (UTXOS era) = UtxosEnv eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type Event (UTXOS era) = AlonzoUtxosEvent eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type Signal (UTXOS era) = StAnnTx TopTx eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type State (UTXOS era) = ShelleyGovState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan

datadata UTXOW era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), BabbageEraTxBody era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure 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, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era)), EraCertState era) => STS (UTXOW era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ BabbageUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
(Era era, STS (UTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type Environment (UTXOW era) = UtxoEnv eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type Event (UTXOW era) = AlonzoUtxowEvent eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan

datadata BabbageUtxoPredFailure era

Constructors

AlonzoInBabbageUtxoPredFailure (AlonzoUtxoPredFailure era)
IncorrectTotalCollateralField DeltaCoin Coin
BabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))
BabbageNonDisjointRefInputs (NonEmpty TxIn)

Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" BabbageUtxoPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
(Era era, Eq (AlonzoUtxoPredFailure era), Eq (PredicateFailure (EraRule "UTXO" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) => Eq (BabbageUtxoPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
(Era era, Show (AlonzoUtxoPredFailure era), Show (PredicateFailure (EraRule "UTXO" era)), Show (TxOut era), Show (Script era), Show TxIn) => Show (BabbageUtxoPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
Generic (BabbageUtxoPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) => NFData (BabbageUtxoPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
(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)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era)), EncCBOR TxIn) => EncCBOR (BabbageUtxoPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo
type Rep (BabbageUtxoPredFailure era) = D1 ('MetaData "BabbageUtxoPredFailure" "Cardano.Ledger.Babbage.Rules.Utxo" "cardano-ledger-babbage-1.14.0.0-LQI6qsZPaAxIU6S3WezBmC" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxoPredFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxoPredFailure era))) :+: C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era, Coin)))) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn)))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo

datadata BabbageUtxowPredFailure era

Constructors

AlonzoInBabbageUtxowPredFailure (AlonzoUtxowPredFailure era)
UtxoFailure (PredicateFailure (EraRule "UTXO" era))
MalformedScriptWitnesses (NonEmptySet ScriptHash)
MalformedReferenceScripts (NonEmptySet ScriptHash)
ScriptIntegrityHashMismatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" BabbageUtxowPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
(AlonzoEraScript era, Eq (ShelleyUtxowPredFailure era), Eq (PredicateFailure (EraRule "UTXO" era)), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (TxCert era)) => Eq (BabbageUtxowPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
(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)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
Generic (BabbageUtxowPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
(AlonzoEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) => NFData (BabbageUtxowPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
(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)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
(AlonzoEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) => EncCBOR (BabbageUtxowPredFailure era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow
type Rep (BabbageUtxowPredFailure era) = D1 ('MetaData "BabbageUtxowPredFailure" "Cardano.Ledger.Babbage.Rules.Utxow" "cardano-ledger-babbage-1.14.0.0-LQI6qsZPaAxIU6S3WezBmC" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoUtxowPredFailure era))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: (C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "ScriptIntegrityHashMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow