| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Blueprint.Definition.Id
Synopsis
- data DefinitionId
- definitionIdFromType :: forall (t :: Text)))
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Blueprint.Definition.Id
definitionIdFromType :: forall (t :: Type). Typeable t => DefinitionId #
Creates a DefinitionId from a type with a kind Type.
definitionIdFromTypeK :: forall k (t :: k). Typeable (t :: k) => DefinitionId #
Creates a DefinitionId from a type with a kind other than Type.
Example:
> definitionIdFromTypeK (Type -> Type) Maybe
definitionIdToText :: DefinitionId -> Text #