Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-ledger-byron-1.3.0.0

Cardano.Chain.UTxO.Validation

3 types
5 values

Packagecardano-ledger-byron-1.3.0.0
Exports8
LicenceApache-2.0

valueupdateUTxO

:: (MonadError UTxOValidationError m, MonadReader ValidationMode m)
=> Environment
-> UTxO
-> [ATxAux ByteString]
-> m UTxO

valueupdateUTxOTx

:: (MonadError UTxOValidationError m, MonadReader ValidationMode m)
=> Environment
-> UTxO
-> Annotated Tx ByteString
-> m UTxO

valueupdateUTxOTxWitness

:: (MonadError UTxOValidationError m, MonadReader ValidationMode m)
=> Environment
-> UTxO
-> ATxAux ByteString
-> m UTxO

valuevalidateTx

valuevalidateTxAux

datadata Environment

Constructors

Environment
- protocolMagic :: !AProtocolMagic ByteString
- protocolParameters :: !ProtocolParameters
- utxoConfiguration :: !UTxOConfiguration

Instances2Eq, Show

Eq EnvironmentDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
Show EnvironmentDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation

datadata TxValidationError

Instances6Eq, Show, FromCBOR, ToCBOR, DecCBOR, EncCBOR

Eq TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
Show TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
FromCBOR TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
ToCBOR TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
DecCBOR TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
EncCBOR TxValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation

datadata UTxOValidationError

Constructors

UTxOValidationTxValidationError TxValidationError
UTxOValidationUTxOError UTxOError

Instances6Eq, Show, FromCBOR, ToCBOR, DecCBOR, EncCBOR

Eq UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
Show UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
FromCBOR UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
ToCBOR UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
DecCBOR UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation
EncCBOR UTxOValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.UTxO.Validation