| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Tx.Decrement
Contents
Synopsis
- decrementTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> HeadParameters -> (TxIn, TxOut CtxUTxO) -> Snapshot Tx -> MultiSignature (Snapshot Tx) -> Tx
- data DecrementObservation = DecrementObservation {
- headId :: HeadId
- newVersion :: SnapshotVersion
- distributedUTxO :: UTxO
- observeDecrementTx :: UTxO -> Tx -> Maybe DecrementObservation
Construction
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.
Observation
data DecrementObservation Source #
Constructors
| DecrementObservation | |
Fields
| |
Instances
observeDecrementTx :: UTxO -> Tx -> Maybe DecrementObservation Source #