| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Tx.Decrement
Synopsis
- decrementTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> HeadParameters -> (TxIn, TxOut CtxUTxO) -> Snapshot Tx -> MultiSignature (Snapshot Tx) -> Tx
Documentation
Arguments
| :: ScriptRegistry | Published Hydra scripts to reference. |
| -> VerificationKey PaymentKey | Party who's authorizing this transaction |
| -> HeadId | Head identifier |
| -> HeadParameters | Parameters of the head. |
| -> (TxIn, TxOut CtxUTxO) | Everything needed to spend the Head state-machine output. |
| -> Snapshot Tx | Confirmed Snapshot |
| -> MultiSignature (Snapshot Tx) | |
| -> Tx |
Construct a _decrement_ transaction which takes as input some UTxO' present
in the L2 ledger state and makes it available on L1.