atlas-cardano-0.4.0: Application backend for Plutus smart contracts on Cardano

Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.Redeemer

Description

Synopsis

data GYRedeemer
redeemerToApi ∷ GYRedeemer → HashableScriptData
redeemerFromApi ∷ HashableScriptData → GYRedeemer
redeemerToPlutus ∷ GYRedeemer → Redeemer
redeemerToPlutus' ∷ GYRedeemer → BuiltinData
redeemerFromPlutus ∷ Redeemer → GYRedeemer
redeemerFromPlutus' ∷ BuiltinData → GYRedeemer
redeemerFromPlutusData ∷ ToData a ⇒ a → GYRedeemer
unitRedeemer ∷ GYRedeemer
nothingRedeemer ∷ GYRedeemer

Documentation

data GYRedeemer #

Instances

Instances details

Show GYRedeemer #
Instance details Defined in GeniusYield.Types.Redeemer Methods showsPrec ∷ Int → GYRedeemer → ShowS Source # show ∷ GYRedeemer → String Source # showList ∷ [GYRedeemer] → ShowS Source #
Eq GYRedeemer #
Instance details Defined in GeniusYield.Types.Redeemer Methods (==) ∷ GYRedeemer → GYRedeemer → Bool Source # (/=) ∷ GYRedeemer → GYRedeemer → Bool Source #

redeemerToApi ∷ GYRedeemer → HashableScriptData #

redeemerFromApi ∷ HashableScriptData → GYRedeemer #

redeemerToPlutus ∷ GYRedeemer → Redeemer #

redeemerToPlutus' ∷ GYRedeemer → BuiltinData #

redeemerFromPlutus ∷ Redeemer → GYRedeemer #

redeemerFromPlutus' ∷ BuiltinData → GYRedeemer #

redeemerFromPlutusData ∷ ToData a ⇒ a → GYRedeemer #

unitRedeemer ∷ GYRedeemer #

Unit redeemer

redeemerFromPlutusData ().

Often used as an arbitrary redeemer.

nothingRedeemer ∷ GYRedeemer #

A redeemerFromPlutusData (Nothing @a) for any a.

>>> nothingRedeemer
redeemerFromPlutus' (BuiltinData (Constr 1 []))

>>> redeemerFromPlutusData (Nothing @Integer)
redeemerFromPlutus' (BuiltinData (Constr 1 []))