Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Commit

Contents

Synopsis

commitTx :: NetworkId -> ScriptRegistry -> HeadId -> Party -> CommitBlueprintTx Tx -> (TxIn, TxOut CtxUTxO, Hash PaymentKey) -> Tx
mkCommitDatum :: Party -> UTxO -> CurrencySymbol -> Datum
data CommitObservation = CommitObservation {
- commitOutput :: (TxIn, TxOut CtxUTxO)
- party :: Party
- committed :: UTxO
- headId :: HeadId
}
observeCommitTx :: NetworkId -> UTxO -> Tx -> Maybe CommitObservation

Construction

Arguments

:: NetworkId
-> ScriptRegistry	Published Hydra scripts to reference.
-> HeadId
-> Party
-> CommitBlueprintTx Tx
-> (TxIn, TxOut CtxUTxO, Hash PaymentKey)	The initial output (sent to each party) which should contain the PT and is locked by initial script
-> Tx

Craft a commit transaction which includes the "committed" utxo as a datum.

mkCommitDatum :: Party -> UTxO -> CurrencySymbol -> Datum Source #

Observation

Full observation of a commit transaction.

Constructors

CommitObservation
Fields commitOutput :: (TxIn, TxOut CtxUTxO) party :: Party Hydra participant who committed the UTxO. committed :: UTxO headId :: HeadId

Instances details

Generic CommitObservation Source #
Instance details Defined in Hydra.Tx.Commit Associated Types type Rep CommitObservation :: Type -> Type Source # Methods from :: CommitObservation -> Rep CommitObservation x Source # to :: Rep CommitObservation x -> CommitObservation Source #
Show CommitObservation Source #
Instance details Defined in Hydra.Tx.Commit Methods showsPrec :: Int -> CommitObservation -> ShowS Source # show :: CommitObservation -> String Source # showList :: [CommitObservation] -> ShowS Source #
Eq CommitObservation Source #
Instance details Defined in Hydra.Tx.Commit Methods (==) :: CommitObservation -> CommitObservation -> Bool Source # (/=) :: CommitObservation -> CommitObservation -> Bool Source #
type Rep CommitObservation Source #
Instance details Defined in Hydra.Tx.Commit type Rep CommitObservation = D1 ('MetaData "CommitObservation" "Hydra.Tx.Commit" "hydra-tx-0.21.0-4kuGJf6saqmB4c4Nry9ECE" 'False) (C1 ('MetaCons "CommitObservation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "commitOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIn, TxOut CtxUTxO)) :: S1 ('MetaSel ('Just "party") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Party)) :: (S1 ('MetaSel ('Just "committed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxO) :*: S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId))))

Arguments

:: NetworkId
-> UTxO	A UTxO set to lookup tx inputs. Should at least contain the input spending from νInitial.
-> Tx
-> Maybe CommitObservation

Identify a commit tx by: