| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Tx.CollectCom
Contents
Synopsis
- collectComTx :: NetworkId -> ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> HeadParameters -> (TxIn, TxOut CtxUTxO) -> Map TxIn (TxOut CtxUTxO) -> UTxO -> Tx
- newtype UTxOHash = UTxOHash ByteString
- data CollectComObservation = CollectComObservation {}
- observeCollectComTx :: UTxO -> Tx -> Maybe CollectComObservation
Construction
Arguments
| :: NetworkId | |
| -> ScriptRegistry | Published Hydra scripts to reference. |
| -> VerificationKey PaymentKey | Party who's authorizing this transaction |
| -> HeadId | Head identifier |
| -> HeadParameters | Parameters of the head to collect . |
| -> (TxIn, TxOut CtxUTxO) | Everything needed to spend the Head state-machine output. |
| -> Map TxIn (TxOut CtxUTxO) | Data needed to spend the commit output produced by each party.
Should contain the PT and is locked by |
| -> UTxO | UTxO to be used to collect. Should match whatever is recorded in the commit inputs. |
| -> Tx |
Create a transaction collecting all "committed" utxo and opening a Head, i.e. driving the Head script state.
Observation
Constructors
| UTxOHash ByteString |
Instances
data CollectComObservation Source #
Constructors
| CollectComObservation | |
Instances
Arguments
| :: UTxO | A UTxO set to lookup tx inputs |
| -> Tx | |
| -> Maybe CollectComObservation |
Identify a collectCom tx by lookup up the input spending the Head output and decoding its redeemer.