Safe Haskell	None
Language	Haskell2010

Generics.Kind.TH

Description

Main module of kind-generics-th. Please refer to the README file for documentation on how to use this package.

Synopsis

deriveGenericK :: Name -> Q [Dec]

Documentation

deriveGenericK :: Name -> Q [Dec] Source #

Given the Name of a data type (or, the Name of a constructor belonging to a data type), generate GenericK instances for that data type. You will likely need to enable most of these language extensions in order for GHC to accept the generated code:

```
DataKinds
```
EmptyCase (if using an empty data type)
```
FlexibleInstances
```
```
MultiParamTypeClasses
```
PolyKinds (if using a poly-kinded data type)
```
TemplateHaskell
```
```
TypeFamilies
```