atlas-cardano-0.6.3: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2024 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Types.Blueprint.Purpose

Description

 
Synopsis

Documentation

data Purpose #

As per CIP-57, a validator arguments (redeemer, datum) and validator parameters all must specify a purpose that indicates in which context they are used.

Constructors

Spend 
Mint 
Withdraw 
Publish 

Instances

Instances details
FromJSON Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

ToJSON Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Generic Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Associated Types

type Rep PurposeTypeType #

Methods

fromPurposeRep Purpose x #

toRep Purpose x → Purpose #

Show Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Methods

showsPrecIntPurposeShowS #

showPurposeString #

showList ∷ [Purpose] → ShowS #

Eq Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Methods

(==)PurposePurposeBool #

(/=)PurposePurposeBool #

Ord Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Methods

comparePurposePurposeOrdering #

(<)PurposePurposeBool #

(<=)PurposePurposeBool #

(>)PurposePurposeBool #

(>=)PurposePurposeBool #

maxPurposePurposePurpose #

minPurposePurposePurpose #

type Rep Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

type Rep Purpose = D1 ('MetaData "Purpose" "GeniusYield.Types.Blueprint.Purpose" "atlas-cardano-0.6.3-inplace" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Withdraw" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Publish" 'PrefixI 'False) (U1TypeType)))