Copyright	(c) 2024 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
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

Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

type Rep Purpose = D1 ('MetaData "Purpose" "GeniusYield.Types.Blueprint.Purpose" "atlas-cardano-0.14.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)))

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.14.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)))