Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Definition.Id

Synopsis

data DefinitionId
definitionIdFromType ∷ ∀ (t ∷ Type). Typeable t ⇒ DefinitionId
definitionIdFromTypeK ∷ ∀ k (t ∷ k). Typeable (t ∷ k) ⇒ DefinitionId
definitionIdToText ∷ DefinitionId → Text
definitionIdUnit ∷ DefinitionId
definitionIdList ∷ DefinitionId
definitionIdTuple2 ∷ DefinitionId
definitionIdTuple3 ∷ DefinitionId

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 #
Semigroup DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods (<>) ∷ DefinitionId → DefinitionId → DefinitionId Source # sconcat ∷ NonEmpty DefinitionId → DefinitionId Source # stimes ∷ Integral b ⇒ b → DefinitionId → 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.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

definitionIdToText ∷ DefinitionId → Text Source #

definitionIdUnit ∷ DefinitionId Source #

definitionIdList ∷ DefinitionId Source #

definitionIdTuple2 ∷ DefinitionId Source #

definitionIdTuple3 ∷ DefinitionId Source #