Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Definition

Description

This module provides a functionality to derive and reference schema definitions.

Synopsis

data DefinitionId
class AsDefinitionId a where
- definitionId ∷ DefinitionId
module PlutusTx.Blueprint.Definition.Unroll
module PlutusTx.Blueprint.Definition.Internal

Documentation

data DefinitionId Source #

A reference to a Schema definition.

Instances

Instances details

ToJSON DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods toJSON ∷ DefinitionId → Value toEncoding ∷ DefinitionId → Encoding toJSONList ∷ [DefinitionId] → Value toEncodingList ∷ [DefinitionId] → Encoding omitField ∷ DefinitionId → Bool
ToJSONKey DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods toJSONKey ∷ ToJSONKeyFunction DefinitionId toJSONKeyList ∷ ToJSONKeyFunction [DefinitionId]
Data DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DefinitionId → c DefinitionId Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DefinitionId Source # toConstr ∷ DefinitionId → Constr Source # dataTypeOf ∷ DefinitionId → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DefinitionId) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DefinitionId) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → DefinitionId → DefinitionId Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DefinitionId → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DefinitionId → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DefinitionId → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DefinitionId → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source #
Generic DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Associated Types type Rep DefinitionId ∷ Type → Type Source # Methods from ∷ DefinitionId → Rep DefinitionId x Source # to ∷ Rep DefinitionId x → DefinitionId Source #
Show DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods showsPrec ∷ Int → DefinitionId → ShowS Source # show ∷ DefinitionId → String Source # showList ∷ [DefinitionId] → ShowS Source #
Eq DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods (==) ∷ DefinitionId → DefinitionId → Bool Source # (/=) ∷ DefinitionId → DefinitionId → Bool Source #
Ord DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods compare ∷ DefinitionId → DefinitionId → Ordering Source # (<) ∷ DefinitionId → DefinitionId → Bool Source # (<=) ∷ DefinitionId → DefinitionId → Bool Source # (>) ∷ DefinitionId → DefinitionId → Bool Source # (>=) ∷ DefinitionId → DefinitionId → Bool Source # max ∷ DefinitionId → DefinitionId → DefinitionId Source # min ∷ DefinitionId → DefinitionId → DefinitionId Source #
type Rep DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id type Rep DefinitionId = D1 ('MetaData "DefinitionId" "PlutusTx.Blueprint.Definition.Id" "plutus-tx-1.31.0.0-inplace" 'True) (C1 ('MetaCons "MkDefinitionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "definitionIdToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

class AsDefinitionId a where Source #

Minimal complete definition

Nothing

Methods

definitionId ∷ DefinitionId Source #

default definitionId ∷ Typeable a ⇒ DefinitionId Source #

Instances

Instances details

AsDefinitionId BuiltinByteString Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId BuiltinData Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId BuiltinString Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId Integer Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId () Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId Bool Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
AsDefinitionId a ⇒ AsDefinitionId (BuiltinList a ∷ Type) Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #

module PlutusTx.Blueprint.Definition.Unroll

module PlutusTx.Blueprint.Definition.Internal