Safe Haskell	None
Language	Haskell2010

Cardano.Chain.UTxO.Validation

Synopsis

validateTx :: MonadError TxValidationError m => Environment -> UTxO -> Annotated Tx ByteString -> m ()
validateTxAux :: MonadError TxValidationError m => Environment -> UTxO -> ATxAux ByteString -> m ()
updateUTxO :: ( MonadError UTxOValidationError m, MonadReader ValidationMode m) => Environment -> UTxO -> [ ATxAux ByteString ] -> m UTxO
updateUTxOTxWitness :: ( MonadError UTxOValidationError m, MonadReader ValidationMode m) => Environment -> UTxO -> ATxAux ByteString -> m UTxO
updateUTxOTx :: ( MonadError UTxOValidationError m, MonadReader ValidationMode m) => Environment -> UTxO -> Annotated Tx ByteString -> m UTxO
data TxValidationError
data Environment = Environment {
- protocolMagic :: !( AProtocolMagic ByteString )
- protocolParameters :: ! ProtocolParameters
- utxoConfiguration :: ! UTxOConfiguration
}
data UTxOValidationError
- = UTxOValidationTxValidationError TxValidationError
- | UTxOValidationUTxOError UTxOError

Documentation

validateTx :: MonadError TxValidationError m => Environment -> UTxO -> Annotated Tx ByteString -> m () Source #

Validate that:

All TxIn s are in domain of Utxo

These are the conditions of the UTxO inference rule in the spec.

validateTxAux :: MonadError TxValidationError m => Environment -> UTxO -> ATxAux ByteString -> m () Source #

Validate that:

The fee for a transaction is not less than the minimum fee.
The size of the transaction is below the maximum size.
Output balance + fee = input balance

The transaction size must be calculated _including the witnesses_. As such this cannot be part of validateTx . We actually assume 3 by calculating the fee as output balance - input balance.

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

Update UTxO with a list of transactions

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

Validate a transaction with a witness and use it to update the UTxO

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

Validate a transaction and use it to update the UTxO

data TxValidationError Source #

A representation of all the ways a transaction might be invalid

Constructors

TxValidationLovelaceError Text LovelaceError
TxValidationFeeTooSmall Tx Lovelace Lovelace
TxValidationWitnessWrongSignature TxInWitness ProtocolMagicId TxSigData
TxValidationWitnessWrongKey TxInWitness Address
TxValidationMissingInput TxIn
TxValidationNetworkMagicMismatch NetworkMagic NetworkMagic	Fields are expected actual
TxValidationTxTooLarge Natural Natural
TxValidationUnknownAddressAttributes
TxValidationUnknownAttributes

Instances

Instances details

Eq TxValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods (==) :: TxValidationError -> TxValidationError -> Bool Source # (/=) :: TxValidationError -> TxValidationError -> Bool Source #
Show TxValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods showsPrec :: Int -> TxValidationError -> ShowS Source # show :: TxValidationError -> String Source # showList :: [ TxValidationError ] -> ShowS Source #
ToCBOR TxValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods toCBOR :: TxValidationError -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy TxValidationError -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxValidationError ] -> Size Source #
FromCBOR TxValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods fromCBOR :: Decoder s TxValidationError Source # label :: Proxy TxValidationError -> Text Source #

data Environment Source #

Constructors

Environment
Fields protocolMagic :: !( AProtocolMagic ByteString ) protocolParameters :: ! ProtocolParameters utxoConfiguration :: ! UTxOConfiguration

Instances

Instances details

Eq Environment Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods (==) :: Environment -> Environment -> Bool Source # (/=) :: Environment -> Environment -> Bool Source #
Show Environment Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods showsPrec :: Int -> Environment -> ShowS Source # show :: Environment -> String Source # showList :: [ Environment ] -> ShowS Source #

data UTxOValidationError Source #

Constructors

UTxOValidationTxValidationError TxValidationError
UTxOValidationUTxOError UTxOError

Instances

Instances details

Eq UTxOValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods (==) :: UTxOValidationError -> UTxOValidationError -> Bool Source # (/=) :: UTxOValidationError -> UTxOValidationError -> Bool Source #
Show UTxOValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods showsPrec :: Int -> UTxOValidationError -> ShowS Source # show :: UTxOValidationError -> String Source # showList :: [ UTxOValidationError ] -> ShowS Source #
ToCBOR UTxOValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods toCBOR :: UTxOValidationError -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy UTxOValidationError -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ UTxOValidationError ] -> Size Source #
FromCBOR UTxOValidationError Source #
Instance details Defined in Cardano.Chain.UTxO.Validation Methods fromCBOR :: Decoder s UTxOValidationError Source # label :: Proxy UTxOValidationError -> Text Source #