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


-- | GHC type-checker plugin for solving LiftT instances from codet
--   
--   GHC type-checker plugin for solving LiftT instances from <a>codet</a>
--   package.
@package codet-plugin
@version 0.1.0.1

module Language.Haskell.TH.CodeT.Plugin

-- | A GHC type-checker plugin which solves <a>LiftT</a> instances.
--   
--   At the moment plugin solves only type constructor instances, e.g. for
--   a data type
--   
--   <pre>
--   data Foo a = MkFoo a
--   </pre>
--   
--   the plugin will solve needed instances in <tt><a>codeT</a> @Foo</tt>
--   and <tt><a>codeT</a> @('MkFoo)</tt>. (There is <tt>(LiftT f, LiftT x)
--   =&gt; LiftT (f x)</tt> existing instance, so plugin doesn't need to).
--   
--   Noteably, the plugin solves only for algebraic type constructors
--   (<tt>data</tt>, <tt>newtype</tt>, <tt>class</tt>) and promoted data
--   constructors. Specifically it doesn't solve for type-family type
--   constructors.
--   
--   Enable plugin with:
--   
--   <pre>
--   {-# OPTIONS_GHC -fplugin=Language.Haskell.TH.CodeT.Plugin #-}
--   </pre>
plugin :: Plugin