kind-generics-th-0.2.1.0: Template Haskell support for generating `GenericK` instances

Safe HaskellNone
LanguageHaskell2010

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

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