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