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


-- | Familiar functions lifted to type-level functions on generic types
--   
--   Please see README.md.
@package generic-type-functions
@version 0.1.0

module Generic.Type.Example
data FieldCountSym a
data PlusSym f
data PlusSym1 l r
data X3Fields
X3Fields :: () -> () -> () -> X3Fields
[x3Fields1] :: X3Fields -> ()
[x3Fields2] :: X3Fields -> ()
[x3Fields3] :: X3Fields -> ()
instance GHC.Generics.Generic Generic.Type.Example.X3Fields

module Generic.Type.Function.FoldMap

-- | <a>foldMap</a> on generic type representations (field product level).
--   
--   Will work for single-constructor types as well thanks to meta
--   unwrapping.
type family GTFoldMapC tmappend tmempty f gf