Fields - familyTypes :: ft
A list of:
(type quotation, name of corresponding constructor of the family GADT)
This defines our mutually recursive family. The types must resolve to
data types or newtype s of kind * (type synonyms will be expanded).
- indexGadtName :: String
Name of the family GADT (this type has to be generated
manually because TH doesn't support GADTs yet)
- constructorNameModifier :: String -> String -> String
Scheme for producing names for the
empty types corresponding to constructors. The first arg is the name
of the type (as given in familyTypes ), the second arg is the name
of the constructor (builtins will be called: NIL , CONS , TUPLE2 , TUPLE3 ...)
- patternFunctorName :: String
Name of the pattern functor (PF ) to generate
- verbose :: Bool
Print various informational messges?
|