cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.MockChain.GenerateTx.Body

Description

This modules exposes entry points to convert a TxSkel into a fully fledged transaction body

Synopsis

Documentation

txSkelToTxBody :: Members '[MockChainRead, Error MockChainError, Error ToCardanoError, Fail] effs => TxSkel -> Fee -> Maybe Collaterals -> Sem effs (TxBody ConwayEra) Source #

Generates a transaction body from a TxSkel and associated fee and collateral information. This transaction body accounts for the actual execution units of each of the scripts involved in the skeleton.

txBodyContentToTxBody :: Members '[MockChainRead, Error ToCardanoError] effs => TxBodyContent BuildTx ConwayEra -> Sem effs (TxBody ConwayEra) Source #

Generates a transaction body from a body content

txSkelToIndex :: Members '[MockChainRead, Error ToCardanoError] effs => TxSkel -> Maybe Collaterals -> Sem effs (UTxO ConwayEra) Source #

Generates an index with utxos known to a TxSkel

txSignatoriesAndBodyToCardanoTx :: [TxSkelSignatory] -> TxBody ConwayEra -> Tx ConwayEra Source #

Generates a Cardano transaction and signs it

txSkelToCardanoTx :: Members '[MockChainRead, Error MockChainError, Error ToCardanoError, Fail] effs => TxSkel -> Fee -> Maybe Collaterals -> Sem effs (Tx ConwayEra) Source #

Generates a full Cardano transaction from a skeleton, fees and collaterals