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


-- | Template Haskell code to generate instances of classes in dependent-sum package
--   
--   Template Haskell code to generate instances of classes in
--   dependent-sum package, such as <a>GEq</a> and <a>GCompare</a>.
@package dependent-sum-template
@version 0.0.0.6

module Data.GADT.Show.TH
class DeriveGShow t
deriveGShow :: DeriveGShow t => t -> Q [Dec]
instance Data.GADT.Show.TH.DeriveGShow Language.Haskell.TH.Syntax.Name
instance Data.GADT.Show.TH.DeriveGShow Language.Haskell.TH.Syntax.Dec
instance Data.GADT.Show.TH.DeriveGShow t => Data.GADT.Show.TH.DeriveGShow [t]
instance Data.GADT.Show.TH.DeriveGShow t => Data.GADT.Show.TH.DeriveGShow (Language.Haskell.TH.Syntax.Q t)

module Data.GADT.Compare.TH
class DeriveGEQ t
deriveGEq :: DeriveGEQ t => t -> Q [Dec]
class DeriveGCompare t
deriveGCompare :: DeriveGCompare t => t -> Q [Dec]
data GComparing a b t
runGComparing :: GComparing k t1 t (GOrdering k t1 t) -> GOrdering k t1 t
geq' :: GCompare t => t a -> t b -> GComparing x y (a := b)
compare' :: Ord a1 => a1 -> a1 -> GComparing k a b ()
instance Data.GADT.Compare.TH.DeriveGEQ Language.Haskell.TH.Syntax.Name
instance Data.GADT.Compare.TH.DeriveGEQ Language.Haskell.TH.Syntax.Dec
instance Data.GADT.Compare.TH.DeriveGEQ t => Data.GADT.Compare.TH.DeriveGEQ [t]
instance Data.GADT.Compare.TH.DeriveGEQ t => Data.GADT.Compare.TH.DeriveGEQ (Language.Haskell.TH.Syntax.Q t)
instance forall k (a :: k) (b :: k). GHC.Base.Functor (Data.GADT.Compare.TH.GComparing a b)
instance forall k (a :: k) (b :: k). GHC.Base.Monad (Data.GADT.Compare.TH.GComparing a b)
instance forall k (a :: k) (b :: k). GHC.Base.Applicative (Data.GADT.Compare.TH.GComparing a b)
instance Data.GADT.Compare.TH.DeriveGCompare Language.Haskell.TH.Syntax.Name
instance Data.GADT.Compare.TH.DeriveGCompare Language.Haskell.TH.Syntax.Dec
instance Data.GADT.Compare.TH.DeriveGCompare t => Data.GADT.Compare.TH.DeriveGCompare [t]
instance Data.GADT.Compare.TH.DeriveGCompare t => Data.GADT.Compare.TH.DeriveGCompare (Language.Haskell.TH.Syntax.Q t)
