Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | None |
Language | Haskell2010 |
GeniusYield.Types.Redeemer
Description
Synopsis
- data GYRedeemer
- redeemerToApi ∷ GYRedeemer → ScriptData
- redeemerToPlutus ∷ GYRedeemer → Redeemer
- redeemerFromPlutus' ∷ BuiltinData → GYRedeemer
- redeemerFromPlutusData ∷ ToData a ⇒ a → GYRedeemer
- unitRedeemer ∷ GYRedeemer
- nothingRedeemer ∷ GYRedeemer
Documentation
data GYRedeemer #
Instances
Eq GYRedeemer # | |
Defined in GeniusYield.Types.Redeemer | |
Show GYRedeemer # | |
Defined in GeniusYield.Types.Redeemer Methods showsPrec ∷ Int → GYRedeemer → ShowS # show ∷ GYRedeemer → String # showList ∷ [GYRedeemer] → ShowS # |
redeemerToApi ∷ GYRedeemer → ScriptData #
redeemerToPlutus ∷ GYRedeemer → Redeemer #
redeemerFromPlutus' ∷ BuiltinData → GYRedeemer #
redeemerFromPlutusData ∷ ToData a ⇒ a → GYRedeemer #
nothingRedeemer ∷ GYRedeemer #
A
for any redeemerFromPlutusData
(Nothing @a)a
.
>>>
nothingRedeemer
redeemerFromPlutus' (BuiltinData (Constr 1 []))
>>>
redeemerFromPlutusData (Nothing @Integer)
redeemerFromPlutus' (BuiltinData (Constr 1 []))