Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Increment

Contents

Construction
Observation

Synopsis

incrementTx :: ScriptRegistry -> VerificationKey PaymentKey -> HeadId -> HeadParameters -> (TxIn, TxOut CtxUTxO) -> Snapshot Tx -> UTxO -> SlotNo -> MultiSignature (Snapshot Tx) -> Tx
data IncrementObservation = IncrementObservation {
- headId :: HeadId
- newVersion :: SnapshotVersion
- depositTxId :: TxId
}
observeIncrementTx :: UTxO -> Tx -> Maybe IncrementObservation

Construction

incrementTx Source #

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

data IncrementObservation Source #

Constructors

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

Instances

Instances details

FromJSON IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment Methods parseJSON :: Value -> Parser IncrementObservation parseJSONList :: Value -> Parser [IncrementObservation] omittedField :: Maybe IncrementObservation
ToJSON IncrementObservation Source #
Instance details Defined in Hydra.Tx.Increment Methods toJSON :: IncrementObservation -> Value toEncoding :: IncrementObservation -> Encoding toJSONList :: [IncrementObservation] -> Value toEncodingList :: [IncrementObservation] -> Encoding omitField :: IncrementObservation -> Bool
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.22.2-9DrTHkMLTe1mD3LCOHOwb" '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))))

observeIncrementTx :: UTxO -> Tx -> Maybe IncrementObservation Source #