Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Decrement

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
-> MultiSignature (Snapshot Tx)
-> Tx

Construct a _decrement_ transaction which takes as input some UTxO' present in the L2 ledger state and makes it available on L1.

Observation

Constructors

DecrementObservation
Fields headId :: HeadId newVersion :: SnapshotVersion distributedOutputs :: [TxOut CtxUTxO]

Instances details

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