Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Contest

Documentation

type PointInTime = (SlotNo, UTCTime) Source #

data ClosedThreadOutput Source #

Constructors

ClosedThreadOutput
Fields closedThreadUTxO :: (TxIn, TxOut CtxUTxO) closedParties :: [Party] closedContestationDeadline :: POSIXTime closedContesters :: [PubKeyHash]

Instances

Instances details

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

contestTx Source #

Arguments

:: ScriptRegistry	Published Hydra scripts to reference.
-> VerificationKey PaymentKey	Party who's authorizing this transaction
-> HeadId
-> ContestationPeriod
-> SnapshotVersion
-> Snapshot Tx	Contested snapshot number (i.e. the one we contest to)
-> MultiSignature (Snapshot Tx)	Multi-signature of the whole snapshot
-> PointInTime	Current slot and posix time to be used as the contestation time.
-> ClosedThreadOutput	Everything needed to spend the Head state-machine output.
-> Tx