Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Purpose

Synopsis

data Purpose
- = Spend
- | Mint
- | Withdraw
- | Publish
purposeToText ∷ Purpose → Text

Documentation

data Purpose Source #

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

ToJSON Purpose Source #
Instance details Defined in PlutusTx.Blueprint.Purpose Methods toJSON ∷ Purpose → Value toEncoding ∷ Purpose → Encoding toJSONList ∷ [Purpose] → Value toEncodingList ∷ [Purpose] → Encoding omitField ∷ Purpose → Bool
Show Purpose Source #
Instance details Defined in PlutusTx.Blueprint.Purpose Methods showsPrec ∷ Int → Purpose → ShowS Source # show ∷ Purpose → String Source # showList ∷ [Purpose] → ShowS Source #
Eq Purpose Source #
Instance details Defined in PlutusTx.Blueprint.Purpose Methods (==) ∷ Purpose → Purpose → Bool Source # (/=) ∷ Purpose → Purpose → Bool Source #
Ord Purpose Source #
Instance details Defined in PlutusTx.Blueprint.Purpose Methods compare ∷ Purpose → Purpose → Ordering Source # (<) ∷ Purpose → Purpose → Bool Source # (<=) ∷ Purpose → Purpose → Bool Source # (>) ∷ Purpose → Purpose → Bool Source # (>=) ∷ Purpose → Purpose → Bool Source # max ∷ Purpose → Purpose → Purpose Source # min ∷ Purpose → Purpose → Purpose Source #
Lift Purpose Source #
Instance details Defined in PlutusTx.Blueprint.Purpose Methods lift ∷ Quote m ⇒ Purpose → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Purpose → Code m Purpose Source #

purposeToText ∷ Purpose → Text Source #