Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.Rules

Synopsis

value alonzoBbodyTransition
value validateExUnits
value ledgerTransition
value allegraToAlonzoUtxoPredFailure
value vKeyLocked
value validateCollateralContainsNonADA
value validateExUnitsTooBigUTxO
value validateInsufficientCollateral
value validateOutputTooBigUTxO
value validateOutsideForecast
value validateScriptsNotPaidUTxO
value validateTooManyCollateralInputs
value validateWrongNetworkInTxBody
value invalidBegin
value invalidEnd
value lbl2Phase
value scriptFailureToFailureDescription
value validBegin
value validEnd
value when2Phase
value checkScriptIntegrityHash
value hasExactSetOfRedeemers
value missingRequiredDatums
data BBODY
data LEDGER
data LEDGERS
data UTXO
data UTXOS
data UTXOW
newtype AlonzoBbodyEvent
data AlonzoBbodyPredFailure
data AlonzoUtxoEvent
data AlonzoUtxoPredFailure
data AlonzoUtxosEvent
data AlonzoUtxosPredFailure
data FailureDescription
data TagMismatchDescription
data UtxosEnv
newtype AlonzoUtxowEvent
data AlonzoUtxowPredFailure

Packagecardano-ledger-alonzo-1.16.0.0
Exports40
LicenceApache-2.0

value

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)

valuevalidateExUnits

:: (AlonzoEraTx era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era)
=> StrictSeq (Tx TopTx era)
-> ExUnits
-> Rule (EraRule "BBODY" era) 'Transition ()

value

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)

valueallegraToAlonzoUtxoPredFailure

:: (EraRuleFailure "PPUP" era ~ t era, InjectRuleFailure "UTXOS" t era)
=> AllegraUtxoPredFailure era
-> AlonzoUtxoPredFailure era

valuevKeyLocked :: EraTxOut era => TxOut era -> Bool

valuevalidateCollateralContainsNonADA

:: (Foldable f, EraTxOut era)
=> f (TxOut era)
-> Test (AlonzoUtxoPredFailure era)

valuevalidateExUnitsTooBigUTxO

:: (AlonzoEraTxWits era, EraTx era, AlonzoEraPParams era)
=> PParams era
-> Tx l era
-> Test (AlonzoUtxoPredFailure era)

valuevalidateInsufficientCollateral

:: (EraTxBody era, AlonzoEraPParams era)
=> PParams era
-> TxBody TopTx era
-> DeltaCoin
-> Test (AlonzoUtxoPredFailure era)

valuevalidateOutputTooBigUTxO

:: (EraTxOut era, AlonzoEraPParams era, Foldable f)
=> PParams era
-> f (TxOut era)
-> Test (AlonzoUtxoPredFailure era)

valuevalidateOutsideForecast

:: (MaryEraTxBody era, AlonzoEraTxWits era, EraTx era)
=> EpochInfo (Either a)
-> SlotNo
-> SystemStart
-> Tx l era
-> Test (AlonzoUtxoPredFailure era)

valuevalidateScriptsNotPaidUTxO

:: EraTxOut era
=> Map TxIn (TxOut era)
-> Test (AlonzoUtxoPredFailure era)

valuevalidateTooManyCollateralInputs

:: AlonzoEraTxBody era
=> PParams era
-> TxBody TopTx era
-> Test (AlonzoUtxoPredFailure era)

valuevalidateWrongNetworkInTxBody

:: AlonzoEraTxBody era
=> Network
-> TxBody l era
-> Test (AlonzoUtxoPredFailure era)

valueinvalidBegin :: String

valueinvalidEnd :: String

valuelbl2Phase :: Label

valuescriptFailureToFailureDescription :: ScriptFailure -> FailureDescription

valuevalidBegin :: String

valuevalidEnd :: String

valuewhen2Phase :: Rule sts ctx () -> Rule sts ctx ()

valuecheckScriptIntegrityHash

:: AlonzoEraTx era
=> Tx l era
-> PParams era
-> StrictMaybe (ScriptIntegrity era)
-> Test (AlonzoUtxowPredFailure era)

valuehasExactSetOfRedeemers

:: AlonzoEraTx era
=> Tx l era
-> ScriptsProvided era
-> AlonzoScriptsNeeded era
-> Test (AlonzoUtxowPredFailure era)

valuemissingRequiredDatums

:: (AlonzoEraTx era, AlonzoEraUTxO era)
=> ScriptsProvided era
-> UTxO era
-> Tx l era
-> Test (AlonzoUtxowPredFailure era)

datadata BBODY era

Instances8Embed, STS, BaseM, Environment, Event, PredicateFailure, …

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, Era era) => Embed ledgers (BBODY era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type BaseM (BBODY era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type Environment (BBODY era) = BbodyEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type Event (BBODY era) = AlonzoBbodyEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type Signal (BBODY era) = BbodySignal eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan

datadata LEDGER era

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, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, EraCertState era) => STS (LEDGER era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
(Era era, STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type Event (LEDGER era) = ShelleyLedgerEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan

datadata LEDGERS era

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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type BaseM (LEDGERS era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type Environment (LEDGERS era) = ShelleyLedgersEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type Event (LEDGERS era) = ShelleyLedgersEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type Signal (LEDGERS era) = Seq (Tx TopTx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan

datadata UTXO era

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

(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type Environment (UTXO era) = UtxoEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type Event (UTXO era) = AlonzoUtxoEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan

datadata UTXOS era

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

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov 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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type BaseM (UTXOS era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type Environment (UTXOS era) = UtxosEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type Event (UTXOS era) = AlonzoUtxosEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type Signal (UTXOS era) = StAnnTx TopTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type State (UTXOS era) = ShelleyGovState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan

datadata UTXOW era

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

(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
(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)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
(Era era, STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type Environment (UTXOW era) = UtxoEnv eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type Event (UTXOW era) = AlonzoUtxowEvent eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan

newtypenewtype AlonzoBbodyEvent era

Constructors

ShelleyInAlonzoEvent (ShelleyBbodyEvent era)

Instances3Eq, Generic, Rep

Eq (Event (EraRule "LEDGERS" era)) => Eq (AlonzoBbodyEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
Generic (AlonzoBbodyEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
type Rep (AlonzoBbodyEvent era) = D1 ('MetaData "AlonzoBbodyEvent" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "ShelleyInAlonzoEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyEvent era))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody

datadata AlonzoBbodyPredFailure era

Constructors

ShelleyInAlonzoBbodyPredFailure (ShelleyBbodyPredFailure era)
TooManyExUnits (Mismatch RelLTEQ ExUnits)

Instances8InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) => Eq (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) => Show (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
Generic (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
NFData (PredicateFailure (EraRule "LEDGERS" era)) => NFData (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) => DecCBOR (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) => EncCBOR (AlonzoBbodyPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
type Rep (AlonzoBbodyPredFailure era) = D1 ('MetaData "AlonzoBbodyPredFailure" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody

datadata AlonzoUtxoEvent era

Constructors

UtxosEvent (Event (EraRule "UTXOS" era))
TotalDeposits (SafeHash EraIndependentTxBody) Coin
TxUTxODiff (UTxO era) (UTxO era)

Instances5Eq, Show, Generic, NFData, Rep

(Era era, Eq (TxOut era), Eq (Event (EraRule "UTXOS" era))) => Eq (AlonzoUtxoEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Show (TxOut era), Show (Event (EraRule "UTXOS" era))) => Show (AlonzoUtxoEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
Generic (AlonzoUtxoEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, NFData (TxOut era), NFData (Event (EraRule "UTXOS" era))) => NFData (AlonzoUtxoEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
type Rep (AlonzoUtxoEvent era) = D1 ('MetaData "AlonzoUtxoEvent" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "UtxosEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOS" era)))) :+: (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo

datadata AlonzoUtxoPredFailure era

Constructors

BadInputsUTxO (NonEmptySet TxIn)
OutsideValidityIntervalUTxO ValidityInterval SlotNo
MaxTxSizeUTxO (Mismatch RelLTEQ Word32)
InputSetEmptyUTxO
FeeTooSmallUTxO (Mismatch RelGTEQ Coin)
ValueNotConservedUTxO (Mismatch RelEQ (Value era))
WrongNetwork Network (NonEmptySet Addr)
WrongNetworkWithdrawal Network (NonEmptySet AccountAddress)
OutputTooSmallUTxO (NonEmpty (TxOut era))
UtxosFailure (PredicateFailure (EraRule "UTXOS" era))
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))
OutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))
InsufficientCollateral DeltaCoin Coin
ScriptsNotPaidUTxO (NonEmptyMap TxIn (TxOut era))
ExUnitsTooBigUTxO (Mismatch RelLTEQ ExUnits)
CollateralContainsNonADA (Value era)
WrongNetworkInTxBody (Mismatch RelEQ Network)
OutsideForecast SlotNo
TooManyCollateralInputs (Mismatch RelLTEQ Word16)
NoCollateralInputs

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

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, Eq (Value era), Eq (TxOut era), Eq (PredicateFailure (EraRule "UTXOS" era))) => Eq (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, Show (Value era), Show (TxOut era), Show (TxBody TopTx era), Show (PredicateFailure (EraRule "UTXOS" era))) => Show (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
Generic (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, NFData (Value era), NFData (UTxO era), NFData (PredicateFailure (EraRule "UTXOS" era)), NFData (TxOut era)) => NFData (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, DecCBOR (TxOut era), DecCBOR (Value era), EncCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) => DecCBOR (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) => EncCBOR (AlonzoUtxoPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
type Rep (AlonzoUtxoPredFailure era) = D1 ('MetaData "AlonzoUtxoPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxo" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) ((((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word32))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr)))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))))))) :+: (((C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Int, Int, TxOut era))))) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap TxIn (TxOut era)))) :+: C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits)))))) :+: ((C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Network)))) :+: (C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word16))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) U1)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo

datadata AlonzoUtxosEvent era

Constructors

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

Instances4Eq, Generic, NFData, Rep

Eq (EraRuleEvent "PPUP" era) => Eq (AlonzoUtxosEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Generic (AlonzoUtxosEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
NFData (EraRuleEvent "PPUP" era) => NFData (AlonzoUtxosEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
type Rep (AlonzoUtxosEvent era) = D1 ('MetaData "AlonzoUtxosEvent" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "AlonzoPpupToUtxosEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleEvent "PPUP" era))) :+: (C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))) :+: C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos

datadata AlonzoUtxosPredFailure era

Constructors

ValidationTagMismatch IsPhase2Valid TagMismatchDescription
CollectErrors (NonEmpty (CollectError era))
UpdateFailure (EraRuleFailure "PPUP" era)

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
(AlonzoEraScript era, Eq (TxCert era), Eq (ContextError era), Eq (UTxOState era), Eq (EraRuleFailure "PPUP" era)) => Eq (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
(AlonzoEraScript era, Show (TxCert era), Show (ContextError era), Show (UTxOState era), Show (EraRuleFailure "PPUP" era)) => Show (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Generic (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
(AlonzoEraScript era, NFData (TxCert era), NFData (ContextError era), NFData (UTxOState era), NFData (EraRuleFailure "PPUP" era)) => NFData (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
(EraTxCert era, AlonzoEraScript era, DecCBOR (ContextError era), DecCBOR (EraRuleFailure "PPUP" era)) => DecCBOR (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
(EraTxCert era, AlonzoEraScript era, EncCBOR (ContextError era), EncCBOR (EraRuleFailure "PPUP" era)) => EncCBOR (AlonzoUtxosPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
type Rep (AlonzoUtxosPredFailure era) = D1 ('MetaData "AlonzoUtxosPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsPhase2Valid) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: (C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CollectError era)))) :+: C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos

datadata FailureDescription

Constructors

PlutusFailure Text ByteString

Instances9Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Show FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Generic FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
NFData FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
ToJSON FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
NoThunks FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
DecCBOR FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
EncCBOR FailureDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
type Rep FailureDescription = D1 ('MetaData "FailureDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "PlutusFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos

datadata TagMismatchDescription

Constructors

PassedUnexpectedly
FailedUnexpectedly (NonEmpty FailureDescription)

Instances9Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Show TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
Generic TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
NFData TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
ToJSON TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
NoThunks TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
DecCBOR TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
EncCBOR TagMismatchDescriptionDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
type Rep TagMismatchDescription = D1 ('MetaData "TagMismatchDescription" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "PassedUnexpectedly" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FailedUnexpectedly" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FailureDescription))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos

datadata UtxosEnv era

Constructors

UtxosEnv
- ueSlot :: SlotNo
- uePParams :: PParams era
- ueCertState :: CertState era

Instances2Generic, Rep

Generic (UtxosEnv era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
type Rep (UtxosEnv era) = D1 ('MetaData "UtxosEnv" "Cardano.Ledger.Alonzo.Rules.Utxos" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" '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)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos

newtypenewtype AlonzoUtxowEvent era

Constructors

WrappedShelleyEraEvent (ShelleyUtxowEvent era)

Instances4Eq, Generic, NFData, Rep

Eq (Event (EraRule "UTXO" era)) => Eq (AlonzoUtxowEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
Generic (AlonzoUtxowEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
NFData (Event (EraRule "UTXO" era)) => NFData (AlonzoUtxowEvent era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
type Rep (AlonzoUtxowEvent era) = D1 ('MetaData "AlonzoUtxowEvent" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "WrappedShelleyEraEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowEvent era))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow

datadata AlonzoUtxowPredFailure era

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

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
(AlonzoEraScript era, Eq (TxCert era), Eq (PredicateFailure (EraRule "UTXO" era))) => Eq (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
(AlonzoEraScript era, Show (TxCert era), Show (PredicateFailure (EraRule "UTXO" era))) => Show (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
Generic (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
(AlonzoEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) => NFData (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
(AlonzoEraScript era, DecCBOR (TxCert era), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) => DecCBOR (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
(AlonzoEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) => EncCBOR (AlonzoUtxowPredFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
type Rep (AlonzoUtxowPredFailure era) = D1 ('MetaData "AlonzoUtxowPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (((C1 ('MetaCons "ShelleyInAlonzoUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowPredFailure era))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsItem era, ScriptHash))))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn)))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsIx era)))) :+: 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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow