Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Close

Synopsis

data OpenThreadOutput = OpenThreadOutput {
- openThreadUTxO :: (TxIn, TxOut CtxUTxO)
- openContestationPeriod :: ContestationPeriod
- openParties :: [Party]
}
closeTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> SnapshotVersion -> ConfirmedSnapshot Tx -> SlotNo -> PointInTime -> OpenThreadOutput -> Tx

Documentation

data OpenThreadOutput Source #

Representation of the Head output after a CollectCom transaction.

Constructors

OpenThreadOutput
Fields openThreadUTxO :: (TxIn, TxOut CtxUTxO) openContestationPeriod :: ContestationPeriod openParties :: [Party]

Instances

Instances details

FromJSON OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close Methods parseJSON :: Value -> Parser OpenThreadOutput parseJSONList :: Value -> Parser [OpenThreadOutput] omittedField :: Maybe OpenThreadOutput
ToJSON OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close Methods toJSON :: OpenThreadOutput -> Value toEncoding :: OpenThreadOutput -> Encoding toJSONList :: [OpenThreadOutput] -> Value toEncodingList :: [OpenThreadOutput] -> Encoding omitField :: OpenThreadOutput -> Bool
Generic OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close Associated Types type Rep OpenThreadOutput :: Type -> Type Source # Methods from :: OpenThreadOutput -> Rep OpenThreadOutput x Source # to :: Rep OpenThreadOutput x -> OpenThreadOutput Source #
Show OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close Methods showsPrec :: Int -> OpenThreadOutput -> ShowS Source # show :: OpenThreadOutput -> String Source # showList :: [OpenThreadOutput] -> ShowS Source #
Eq OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close Methods (==) :: OpenThreadOutput -> OpenThreadOutput -> Bool Source # (/=) :: OpenThreadOutput -> OpenThreadOutput -> Bool Source #
type Rep OpenThreadOutput Source #
Instance details Defined in Hydra.Tx.Close type Rep OpenThreadOutput = D1 ('MetaData "OpenThreadOutput" "Hydra.Tx.Close" "hydra-tx-0.19.0-GruKCDFrYmltVsR6Cb5jZ" 'False) (C1 ('MetaCons "OpenThreadOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "openThreadUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIn, TxOut CtxUTxO)) :: (S1 ('MetaSel ('Just "openContestationPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContestationPeriod) :: S1 ('MetaSel ('Just "openParties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party]))))

closeTx Source #

Arguments

:: ScriptRegistry	Published Hydra scripts to reference.
-> VerificationKey PaymentKey	Party who's authorizing this transaction
-> HeadId	Head identifier
-> SnapshotVersion	Last known version of the open head.
-> ConfirmedSnapshot Tx	Snapshot with instructions how to close the head.
-> SlotNo	Lower validity slot number, usually a current or quite recent slot number.
-> PointInTime	Upper validity slot and UTC time to compute the contestation deadline time.
-> OpenThreadOutput	Everything needed to spend the Head state-machine output.
-> Tx

Create a transaction closing a head with either the initial snapshot or with a multi-signed confirmed snapshot.