Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Hydra.Tx.Recover
Synopsis
- recoverTx :: TxId -> UTxO -> SlotNo -> Tx
- data RecoverObservation = RecoverObservation {
- headId :: HeadId
- recoveredTxId :: TxId
- observeRecoverTx :: NetworkId -> UTxO -> Tx -> Maybe RecoverObservation
Documentation
Arguments
:: TxId | Deposit input |
-> UTxO | Deposited UTxO to recover |
-> SlotNo | Lower bound slot number |
-> Tx |
Builds a recover transaction to recover locked funds from the v_deposit script.
data RecoverObservation Source #
Constructors
RecoverObservation | |
Fields
|
Instances
Generic RecoverObservation Source # | |
Defined in Hydra.Tx.Recover Methods from :: RecoverObservation -> Rep RecoverObservation x Source # to :: Rep RecoverObservation x -> RecoverObservation Source # | |
Show RecoverObservation Source # | |
Defined in Hydra.Tx.Recover | |
Eq RecoverObservation Source # | |
Defined in Hydra.Tx.Recover Methods (==) :: RecoverObservation -> RecoverObservation -> Bool Source # (/=) :: RecoverObservation -> RecoverObservation -> Bool Source # | |
type Rep RecoverObservation Source # | |
Defined in Hydra.Tx.Recover type Rep RecoverObservation = D1 ('MetaData "RecoverObservation" "Hydra.Tx.Recover" "hydra-tx-0.20.0-b01Sd51Fpn1r0Mfj7XdB1" 'False) (C1 ('MetaCons "RecoverObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :*: S1 ('MetaSel ('Just "recoveredTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))) |
observeRecoverTx :: NetworkId -> UTxO -> Tx -> Maybe RecoverObservation Source #