Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Increment

Contents

Synopsis

Construction

Arguments

:: ScriptRegistry	Published Hydra scripts to reference.
-> VerificationKey PaymentKey	Party who's authorizing this transaction
-> HeadId	Head identifier
-> HeadParameters	Parameters of the head.
-> (TxIn, TxOut CtxUTxO)	Everything needed to spend the Head state-machine output.
-> Snapshot Tx	Confirmed Snapshot
-> UTxO	Deposit output UTxO to be spent in increment transaction
-> SlotNo
-> MultiSignature (Snapshot Tx)
-> Tx

Construct a _increment_ transaction which takes as input some UTxO' locked at v_deposit and make it available on L2.

Observation

Constructors

IncrementObservation
Fields headId :: HeadId newVersion :: SnapshotVersion depositTxId :: TxId

Instances details

Generic IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment Associated Types type Rep IncrementObservation :: Type -> Type Source # Methods from :: IncrementObservation -> Rep IncrementObservation x Source # to :: Rep IncrementObservation x -> IncrementObservation Source #
Show IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment Methods showsPrec :: Int -> IncrementObservation -> ShowS Source # show :: IncrementObservation -> String Source # showList :: [IncrementObservation] -> ShowS Source #
Eq IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment Methods (==) :: IncrementObservation -> IncrementObservation -> Bool Source # (/=) :: IncrementObservation -> IncrementObservation -> Bool Source #
type Rep IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment type Rep IncrementObservation = D1 ('MetaData "IncrementObservation" "Hydra.Tx.Increment" "hydra-tx-0.20.0-b01Sd51Fpn1r0Mfj7XdB1" 'False) (C1 ('MetaCons "IncrementObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :: (S1 ('MetaSel ('Just "newVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "depositTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))