Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Contest

Contents

Construction
Observation

Synopsis

contestTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> ContestationPeriod -> SnapshotVersion -> Snapshot Tx -> MultiSignature (Snapshot Tx) -> PointInTime -> ClosedThreadOutput -> IncrementalAction -> Tx
data ContestObservation = ContestObservation {
- contestedThreadOutput :: (TxIn, TxOut CtxUTxO)
- headId :: HeadId
- snapshotNumber :: SnapshotNumber
- contestationDeadline :: UTCTime
- contesters :: [PubKeyHash]
}
observeContestTx :: UTxO -> Tx -> Maybe ContestObservation

Construction

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.
-> IncrementalAction
-> Tx

Observation

data ContestObservation Source #

Constructors

ContestObservation
Fields contestedThreadOutput :: (TxIn, TxOut CtxUTxO) headId :: HeadId snapshotNumber :: SnapshotNumber contestationDeadline :: UTCTime contesters :: [PubKeyHash]

Instances

Instances details

Generic ContestObservation Source #
Instance details Defined in Hydra.Tx.Contest Associated Types type Rep ContestObservation :: Type -> Type Source # Methods from :: ContestObservation -> Rep ContestObservation x Source # to :: Rep ContestObservation x -> ContestObservation Source #
Show ContestObservation Source #
Instance details Defined in Hydra.Tx.Contest Methods showsPrec :: Int -> ContestObservation -> ShowS Source # show :: ContestObservation -> String Source # showList :: [ContestObservation] -> ShowS Source #
Eq ContestObservation Source #
Instance details Defined in Hydra.Tx.Contest Methods (==) :: ContestObservation -> ContestObservation -> Bool Source # (/=) :: ContestObservation -> ContestObservation -> Bool Source #
type Rep ContestObservation Source #
Instance details Defined in Hydra.Tx.Contest type Rep ContestObservation = D1 ('MetaData "ContestObservation" "Hydra.Tx.Contest" "hydra-tx-0.20.0-BmRyRQFLFM1GEyuAAp07H7" 'False) (C1 ('MetaCons "ContestObservation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contestedThreadOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIn, TxOut CtxUTxO)) :: S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId)) :: (S1 ('MetaSel ('Just "snapshotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: (S1 ('MetaSel ('Just "contestationDeadline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :: S1 ('MetaSel ('Just "contesters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash])))))

observeContestTx Source #

Arguments

:: UTxO	A UTxO set to lookup tx inputs
-> Tx
-> Maybe ContestObservation

Identify a close tx by lookup up the input spending the Head output and decoding its redeemer.