hydra-tx-0.19.0: Hydra transaction library
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Tx.Recover

Synopsis

Documentation

recoverTx Source #

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

Instances details
Generic RecoverObservation Source # 
Instance details

Defined in Hydra.Tx.Recover

Associated Types

type Rep RecoverObservation :: Type -> Type Source #

Methods

from :: RecoverObservation -> Rep RecoverObservation x Source #

to :: Rep RecoverObservation x -> RecoverObservation Source #

Show RecoverObservation Source # 
Instance details

Defined in Hydra.Tx.Recover

Methods

showsPrec :: Int -> RecoverObservation -> ShowS Source #

show :: RecoverObservation -> String Source #

showList :: [RecoverObservation] -> ShowS Source #

Eq RecoverObservation Source # 
Instance details

Defined in Hydra.Tx.Recover

Methods

(==) :: RecoverObservation -> RecoverObservation -> Bool Source #

(/=) :: RecoverObservation -> RecoverObservation -> Bool Source #

type Rep RecoverObservation Source # 
Instance details

Defined in Hydra.Tx.Recover

type Rep RecoverObservation = D1 ('MetaData "RecoverObservation" "Hydra.Tx.Recover" "hydra-tx-0.19.0-CNt37yoHV6SLHPMLDZKDue" '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 #