| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Chain.UTxO.Model
Synopsis
- tests ∷ TSGroup
- elaborateAndUpdate ∷ UTxOEnv → (UTxO, Map TxId TxId) → Tx → Either UTxOValidationError (UTxO, Map TxId TxId)
- elaborateInitialUTxO ∷ UTxO → (UTxO, Map TxId TxId)
- elaborateTxWitnesses ∷ Map TxId TxId → [Tx] → ([ATxAux ByteString], Map TxId TxId)
- elaborateTxWitsBSWithMap ∷ Map TxId TxId → Tx → (ATxAux ByteString, Map TxId TxId)
Documentation
elaborateAndUpdate ∷ UTxOEnv → (UTxO, Map TxId TxId) → Tx → Either UTxOValidationError (UTxO, Map TxId TxId) Source #
Elaborate a single transaction, apply it to the UTxO, and update the TxId map with the new concrete TxId