| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Mu.Schema.Conversion.TypesToSchema
Description
Obtains a Schema from a set of Haskell types.
Unfortunately, GHC does not allow type families
to appear in instances, so you cannot use the
resulting type directly. Instead, evaluate it
in an interpreter session using :kind! and
copy the result to the file.
Documentation
type family SchemaFromTypes (f :: [FromType tn fn]) :: Schema tn fn where ... Source #
Convert a set of types into a Schema.
Equations
| SchemaFromTypes f = SchemaFromTypes' f f |
Defines whether to turn each Haskell type
into a record or an enumeration.
Any type not declared in the given list
of FromTypes is considered primitive.