| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Tx.Contest
Contents
Synopsis
- data ClosedThreadOutput = ClosedThreadOutput {
- closedThreadUTxO :: (TxIn, TxOut CtxUTxO)
- closedParties :: [Party]
- closedContestationDeadline :: POSIXTime
- closedContesters :: [PubKeyHash]
- contestTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> ContestationPeriod -> SnapshotVersion -> Snapshot Tx -> MultiSignature (Snapshot Tx) -> PointInTime -> ClosedThreadOutput -> IncrementalAction -> Tx
- data ContestObservation = ContestObservation {
- headId :: HeadId
- snapshotNumber :: SnapshotNumber
- contestationDeadline :: UTCTime
- contesters :: [PubKeyHash]
- observeContestTx :: UTxO -> Tx -> Maybe ContestObservation
Construction
data ClosedThreadOutput Source #
Constructors
| ClosedThreadOutput | |
Fields
| |
Instances
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
| |
Instances
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.