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


-- | Backports of GHC deriving extensions
--   
@package deriving-compat
@version 0.1


-- | Exports functions to mechanically derive <tt>Foldable</tt> instances
--   in a way that mimics how the <tt>-XDeriveFoldable</tt> extension works
--   since GHC 7.12. These changes make it possible to derive
--   <tt>Foldable</tt> instances for data types with existential
--   constraints, e.g.,
--   
--   <pre>
--   {-# LANGUAGE DeriveFoldable, GADTs, StandaloneDeriving, TemplateHaskell #-}
--   
--   data WrappedSet a where
--       WrapSet :: Ord a =&gt; a -&gt; WrappedSet a
--   deriving instance Foldable WrappedSet -- On GHC 7.12 on later
--   $(deriveFoldable ''WrappedSet)        -- On GHC 7.10 and earlier
--   </pre>
--   
--   For more info on these changes, see <a>this GHC wiki page</a>.
module Data.Foldable.Deriving

-- | Generates a <tt>Foldable</tt> instance declaration for the given data
--   type or data family instance. This mimics how the
--   <tt>-XDeriveFoldable</tt> extension works since GHC 7.12.
deriveFoldable :: Name -> Q [Dec]

-- | Generates a lambda expression which behaves like <tt>foldMap</tt>
--   (without requiring a <tt>Foldable</tt> instance). This mimics how the
--   <tt>-XDeriveFoldable</tt> extension works since GHC 7.12.
makeFoldMap :: Name -> Q Exp

-- | Generates a lambda expression which behaves like <a>foldr</a> (without
--   requiring a <tt>Foldable</tt> instance). This mimics how the
--   <tt>-XDeriveFoldable</tt> extension works since GHC 7.12.
makeFoldr :: Name -> Q Exp
instance Eq FoldFun