Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- deriveGADTNFData :: Name -> Q [Dec]
- lookupTypeNameOrFail :: String -> Q Name
- isTypeAlias :: Name -> Q Bool
- addTypeVariables :: Name -> TypeQ
- tupT :: [Q Type] -> Q Type
Documentation
deriveGADTNFData :: Name -> Q [Dec] Source #
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.
addTypeVariables :: Name -> TypeQ Source #
Accepts a type constructor and fills it with variables until
getting a type of kind *
.