atlas-cardano

Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
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 # show :: GYRedeemer -> String # showList :: [GYRedeemer] -> ShowS #
Eq GYRedeemer #
Instance details Defined in GeniusYield.Types.Redeemer Methods (==) :: GYRedeemer -> GYRedeemer -> Bool # (/=) :: GYRedeemer -> GYRedeemer -> Bool #

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