cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Utxo

Synopsis

Documentation

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

MaxTxSizeUTxO 

Fields

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

WrongNetworkWithdrawal 

Fields

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

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

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Associated Types

type Rep (ConwayUtxoPredFailure era) ∷ TypeType 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

(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

(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

(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

rnfConwayUtxoPredFailure 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

NoThunks (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

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.16.0.1-inplace" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Addr (EraCrypto era))))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1TypeType))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (TxIn (EraCrypto era))))))))))

Orphan instances

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXO" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

(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) ∷ TypeType Source #

type Event (ConwayUTXO era) Source #

type PredicateFailure (ConwayUTXO era) 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