-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Template Haskell support for generating `GenericK` instances
--   
--   This package provides Template Haskell functionality to automatically
--   derive <tt>GenericK</tt> instances (from the <tt>kind-generics</tt>
--   library).
@package kind-generics-th
@version 0.1.0.0


-- | Main module of <tt>kind-generics-th</tt>. Please refer to the
--   <tt>README</tt> file for documentation on how to use this package.
module Generics.Kind.TH

-- | Given the <a>Name</a> of a data type (or, the <a>Name</a> of a
--   constructor belonging to a data type), generate <a>GenericK</a>
--   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:
--   
--   <ul>
--   <li><pre>DataKinds</pre></li>
--   <li><tt>EmptyCase</tt> (if using an empty data type)</li>
--   <li><pre>FlexibleInstances</pre></li>
--   <li><pre>MultiParamTypeClasses</pre></li>
--   <li><tt>PolyKinds</tt> (if using a poly-kinded data type)</li>
--   <li><pre>TemplateHaskell</pre></li>
--   <li><pre>TypeFamilies</pre></li>
--   </ul>
deriveGenericK :: Name -> Q [Dec]
