Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
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