Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Increment

Contents

Construction
Observation

Synopsis

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

Construction

incrementTx Source #

Arguments

:: ScriptRegistry	Published Hydra scripts to reference.
-> VerificationKey PaymentKey	Party who's authorizing this transaction
-> (TxIn, HeadId)	Head seed and 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 deposited :: UTxO

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-2.3.0-AmphLXDqLbeiaw5uNmLIz" '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) :*: S1 ('MetaSel ('Just "deposited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxO))))

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