Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Utxo

Contents

Orphan instances

Synopsis

allegraToConwayUtxoPredFailure ∷ ∀ era. EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era
babbageToConwayUtxoPredFailure ∷ ∀ era. BabbageUtxoPredFailure era → ConwayUtxoPredFailure era
alonzoToConwayUtxoPredFailure ∷ ∀ era. AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era
data ConwayUtxoPredFailure era
- = UtxosFailure (PredicateFailure (EraRule "UTXOS" era))
- | BadInputsUTxO !(Set (TxIn (EraCrypto era)))
- | OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
- | MaxTxSizeUTxO !Integer !Integer
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !Coin !Coin
- | ValueNotConservedUTxO !(Value era) !(Value era)
- | WrongNetwork !Network !(Set (Addr (EraCrypto era)))
- | WrongNetworkWithdrawal !Network !(Set (RewardAccount (EraCrypto era)))
- | OutputTooSmallUTxO ![TxOut era]
- | OutputBootAddrAttrsTooBig ![TxOut era]
- | OutputTooBigUTxO ![(Int, Int, TxOut era)]
- | InsufficientCollateral !DeltaCoin !Coin
- | ScriptsNotPaidUTxO !(UTxO era)
- | ExUnitsTooBigUTxO !ExUnits !ExUnits
- | CollateralContainsNonADA !(Value era)
- | WrongNetworkInTxBody !Network !Network
- | OutsideForecast !SlotNo
- | TooManyCollateralInputs !Natural !Natural
- | NoCollateralInputs
- | IncorrectTotalCollateralField !DeltaCoin !Coin
- | BabbageOutputTooSmallUTxO ![(TxOut era, Coin)]
- | BabbageNonDisjointRefInputs !(NonEmpty (TxIn (EraCrypto era)))

Documentation

allegraToConwayUtxoPredFailure ∷ ∀ era. EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era Source #

babbageToConwayUtxoPredFailure ∷ ∀ era. BabbageUtxoPredFailure era → ConwayUtxoPredFailure era Source #

alonzoToConwayUtxoPredFailure ∷ ∀ era. AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era Source #

data ConwayUtxoPredFailure era Source #

Predicate failure for the Conway Era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))	Subtransition Failures
BadInputsUTxO !(Set (TxIn (EraCrypto era)))	The bad transaction inputs
OutsideValidityIntervalUTxO
Fields !ValidityInterval transaction's validity interval !SlotNo current slot
MaxTxSizeUTxO
Fields !Integer the actual transaction size !Integer the max transaction size
InputSetEmptyUTxO
FeeTooSmallUTxO
Fields !Coin the minimum fee for this transaction !Coin the fee supplied in this transaction
ValueNotConservedUTxO
Fields !(Value era) the Coin consumed by this transaction !(Value era) the Coin produced by this transaction
WrongNetwork	the set of addresses with incorrect network IDs
Fields !Network the expected network id !(Set (Addr (EraCrypto era))) the set of addresses with incorrect network IDs
WrongNetworkWithdrawal
Fields !Network the expected network id !(Set (RewardAccount (EraCrypto era))) the set of reward addresses with incorrect network IDs
OutputTooSmallUTxO ![TxOut era]	list of supplied transaction outputs that are too small
OutputBootAddrAttrsTooBig ![TxOut era]	list of supplied bad transaction outputs
OutputTooBigUTxO ![(Int, Int, TxOut era)]	list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)
InsufficientCollateral
Fields !DeltaCoin balance computed !Coin the required collateral for the given fee
ScriptsNotPaidUTxO !(UTxO era)	The UTxO entries which have the wrong kind of script
ExUnitsTooBigUTxO
Fields !ExUnits Max EXUnits from the protocol parameters !ExUnits EXUnits supplied
CollateralContainsNonADA !(Value era)	The inputs marked for use as fees contain non-ADA tokens
WrongNetworkInTxBody	Wrong Network ID in body
Fields !Network Actual Network ID !Network Network ID in transaction body
OutsideForecast !SlotNo	slot number outside consensus forecast range
TooManyCollateralInputs	There are too many collateral inputs
Fields !Natural Max allowed collateral inputs !Natural Number of collateral inputs
NoCollateralInputs
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 (EraCrypto era)))	TxIns that appear in both inputs and reference inputs

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types type Rep (ConwayUtxoPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxoPredFailure era → Rep (ConwayUtxoPredFailure era) x Source # to ∷ Rep (ConwayUtxoPredFailure era) x → ConwayUtxoPredFailure era Source #
(Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show (TxIn (EraCrypto era))) ⇒ Show (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods showsPrec ∷ Int → ConwayUtxoPredFailure era → ShowS Source # show ∷ ConwayUtxoPredFailure era → String Source # showList ∷ [ConwayUtxoPredFailure era] → ShowS Source #
(Era era, DecCBOR (TxOut era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods decCBOR ∷ Decoder s (ConwayUtxoPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxoPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxoPredFailure era) → Text Source #
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods encCBOR ∷ ConwayUtxoPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxoPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxoPredFailure era] → Size Source #
(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods rnf ∷ ConwayUtxoPredFailure era → () Source #
(Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq (TxIn (EraCrypto era))) ⇒ Eq (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods (==) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool Source # (/=) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool Source #
NoThunks (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods noThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxoPredFailure era) → String Source #
type Rep (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Rep (ConwayUtxoPredFailure era) = D1 ('MetaData "ConwayUtxoPredFailure" "Cardano.Ledger.Conway.Rules.Utxo" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Addr (EraCrypto era))))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (TxIn (EraCrypto era))))))))))

Orphan instances

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, Tx era ~ AlonzoTx era, EraRule "UTXO" era ~ ConwayUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (ConwayUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era) ⇒ STS (ConwayUTXO era) Source #
Instance details Associated Types type State (ConwayUTXO era) Source # type Signal (ConwayUTXO era) Source # type Environment (ConwayUTXO era) Source # type BaseM (ConwayUTXO era) ∷ Type → Type Source # type Event (ConwayUTXO era) Source # type PredicateFailure (ConwayUTXO era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXO era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXO era)] Source # assertions ∷ [Assertion (ConwayUTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXO era) → String Source #
(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #