Morley.Util.TH

Documentation

deriveGADTNFData :: Name -> Q [Dec]

Generates an NFData instance for a GADT.

On superclass constraints for type arguments: we use heuristics to guess for which type arguments we need to add NFData instance. If this behaves not as you want, probably it's just worth starting passing the necessary constraints to this function manually.

lookupTypeNameOrFail :: String -> Q Name

isTypeAlias :: Name -> Q Bool

Check if name is a type

addTypeVariables :: Name -> TypeQ

Accepts a type constructor and fills it with variables until getting a type of kind *.

tupT :: [Q Type] -> Q Type

Given a list of types, produce the type of a tuple of those types. This is analogous to tupE and tupP.

tupT [[t|Int|], [t|Char|], [t|Bool]] = [t| (Int, Char, Bool) |]