| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Contract.Deposit
Description
The validator used to deposit and recover locked funds
Synopsis
- data DepositRedeemer
- type DepositDatum = (CurrencySymbol, POSIXTime, [Commit])
- datum :: DepositDatum -> Datum
- redeemer :: DepositRedeemer -> Redeemer
Documentation
data DepositRedeemer Source #
Constructors
| Claim CurrencySymbol | Claims already deposited funds. FIXME: Make sure to change the spec and add head CS to the Claim redeemer. |
| Recover Integer | Recovers m number of deposited outputs. |
Instances
| FromData DepositRedeemer Source # | |
Defined in Hydra.Contract.Deposit Methods fromBuiltinData :: BuiltinData -> Maybe DepositRedeemer | |
| ToData DepositRedeemer Source # | |
Defined in Hydra.Contract.Deposit Methods toBuiltinData :: DepositRedeemer -> BuiltinData | |
| UnsafeFromData DepositRedeemer Source # | |
Defined in Hydra.Contract.Deposit Methods unsafeFromBuiltinData :: BuiltinData -> DepositRedeemer | |
type DepositDatum = (CurrencySymbol, POSIXTime, [Commit]) Source #
Deposit datum containing HeadId, deadline and a list of deposits.
datum :: DepositDatum -> Datum Source #
redeemer :: DepositRedeemer -> Redeemer Source #