Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- incrementTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> HeadParameters -> (TxIn, TxOut CtxUTxO) -> Snapshot Tx -> UTxO -> SlotNo -> Tx
Documentation
:: 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 |
-> UTxO | Deposit output UTxO to be spent in increment transaction |
-> SlotNo | |
-> Tx |
Construct a _increment_ transaction which takes as input some UTxO'
locked at v_deposit and make it available on L2.