class +template-haskell

ClassD :: Cxt -> Name -> [TyVarBndr] -> [FunDep] -> [Dec] -> Dec
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
> { class Eq a => Ord a
classD :: CxtQ -> Name -> [TyVarBndr] -> [FunDep] -> [DecQ] -> DecQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH
ClassI :: Dec -> [InstanceDec] -> Info
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
A class is reified to its declaration and a list of its instances
ClassOpI :: Name -> Type -> Name -> Fixity -> Info
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
ClassP :: Name -> [Type] -> Pred
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
> Eq (Int, a)
classP :: Name -> [TypeQ] -> PredQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH