atlas-cardano-0.3.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellNone
LanguageHaskell2010

GeniusYield.Types.Redeemer

Description

 
Synopsis

Documentation

data GYRedeemer #

Instances

Instances details
Eq GYRedeemer # 
Instance details

Defined in GeniusYield.Types.Redeemer

Methods

(==) ∷ GYRedeemer → GYRedeemer → Bool #

(/=) ∷ GYRedeemer → GYRedeemer → Bool #

Show GYRedeemer # 
Instance details

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 #

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 []))