Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
GeniusYield.Types.Redeemer
Description
Documentation
data GYRedeemer #
Instances
Show GYRedeemer # | |
Defined in GeniusYield.Types.Redeemer | |
Eq GYRedeemer # | |
Defined in GeniusYield.Types.Redeemer |
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 []))