plutus-tx-1.36.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Blueprint.Definition.Id

Synopsis

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

toJSONDefinitionId → Value

toEncodingDefinitionId → Encoding

toJSONList ∷ [DefinitionId] → Value

toEncodingList ∷ [DefinitionId] → Encoding

omitFieldDefinitionIdBool

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 #

toConstrDefinitionIdConstr Source #

dataTypeOfDefinitionIdDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DefinitionId) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DefinitionId) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → DefinitionIdDefinitionId 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 #

gmapQiInt → (∀ d. Data d ⇒ d → u) → DefinitionId → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DefinitionId → m DefinitionId Source #

Semigroup DefinitionId Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

Generic DefinitionId Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

Associated Types

type Rep DefinitionIdTypeType Source #

Show DefinitionId Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

Eq DefinitionId Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

Ord DefinitionId Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

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.36.0.0-inplace" 'True) (C1 ('MetaCons "MkDefinitionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "definitionIdToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

definitionIdFromType ∷ ∀ (t ∷ Type). Typeable t ⇒ DefinitionId Source #

Creates a DefinitionId from a type with a kind Type.

definitionIdFromTypeK ∷ ∀ k (t ∷ k). Typeable (t ∷ k) ⇒ DefinitionId Source #

Creates a DefinitionId from a type with a kind other than Type. Example: > definitionIdFromTypeK (Type -> Type) Maybe