Morley.Util.TH
deriveGADTNFData :: Name -> Q [Dec] Source #
Generates an NFData instance for a GADT. Note: This will not generate additional constraints to the generated instance if those are required.
lookupTypeNameOrFail :: String -> Q Name Source #
isTypeAlias :: Name -> Q Bool Source #
Check if name is a type
type
addTypeVariables :: Name -> Q Type Source #
Accepts a type constructor and fills it with variables until getting a type of kind *.
*