Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Recover

Synopsis

recoverTx :: TxId -> UTxO -> SlotNo -> Tx
data RecoverObservation = RecoverObservation {
- headId :: HeadId
- recoveredTxId :: TxId
- recoveredUTxO :: UTxO
}
observeRecoverTx :: NetworkId -> UTxO -> Tx -> Maybe RecoverObservation

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 headId :: HeadId recoveredTxId :: TxId recoveredUTxO :: UTxO

Instances

Instances details

FromJSON RecoverObservation Source #
Instance details Defined in Hydra.Tx.Recover Methods parseJSON :: Value -> Parser RecoverObservation parseJSONList :: Value -> Parser [RecoverObservation] omittedField :: Maybe RecoverObservation
ToJSON RecoverObservation Source #
Instance details Defined in Hydra.Tx.Recover Methods toJSON :: RecoverObservation -> Value toEncoding :: RecoverObservation -> Encoding toJSONList :: [RecoverObservation] -> Value toEncodingList :: [RecoverObservation] -> Encoding omitField :: RecoverObservation -> Bool
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.22.2-9DrTHkMLTe1mD3LCOHOwb" 'False) (C1 ('MetaCons "RecoverObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :: (S1 ('MetaSel ('Just "recoveredTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :: S1 ('MetaSel ('Just "recoveredUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxO))))

observeRecoverTx :: NetworkId -> UTxO -> Tx -> Maybe RecoverObservation Source #