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

GeniusYield.Types.Blueprint.Purpose

Description

Synopsis

data Purpose
- = Spend
- | Mint
- | Withdraw
- | Publish

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 Methods parseJSON ∷ Value → Parser Purpose # parseJSONList ∷ Value → Parser [Purpose] # omittedField ∷ Maybe Purpose #
ToJSON Purpose #
Instance details Defined in GeniusYield.Types.Blueprint.Purpose Methods toJSON ∷ Purpose → Value # toEncoding ∷ Purpose → Encoding # toJSONList ∷ [Purpose] → Value # toEncodingList ∷ [Purpose] → Encoding # omitField ∷ Purpose → Bool #
Generic Purpose #
Instance details Defined in GeniusYield.Types.Blueprint.Purpose Associated Types type Rep Purpose ∷ Type → Type # Methods from ∷ Purpose → Rep Purpose x # to ∷ Rep Purpose x → Purpose #
Show Purpose #
Instance details Defined in GeniusYield.Types.Blueprint.Purpose Methods showsPrec ∷ Int → Purpose → ShowS # show ∷ Purpose → String # showList ∷ [Purpose] → ShowS #
Eq Purpose #
Instance details Defined in GeniusYield.Types.Blueprint.Purpose Methods (==) ∷ Purpose → Purpose → Bool # (/=) ∷ Purpose → Purpose → Bool #
Ord Purpose #
Instance details Defined in GeniusYield.Types.Blueprint.Purpose Methods compare ∷ Purpose → Purpose → Ordering # (<) ∷ Purpose → Purpose → Bool # (<=) ∷ Purpose → Purpose → Bool # (>) ∷ Purpose → Purpose → Bool # (>=) ∷ Purpose → Purpose → Bool # max ∷ Purpose → Purpose → Purpose # min ∷ Purpose → Purpose → Purpose #
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.1-inplace" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Withdraw" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Publish" 'PrefixI 'False) (U1 ∷ Type → Type)))