|
|
|
|
|
Documentation |
|
data Class |
Instances | |
|
|
type ClassOpItem = (Id, DefMeth) |
|
data DefMeth |
Constructors | NoDefMeth | | DefMeth | | GenDefMeth | |
| Instances | |
|
|
type FunDep a = ([a], [a]) |
|
pprFundeps :: Outputable a => [FunDep a] -> SDoc |
|
mkClass :: Name -> [TyVar] -> [([TyVar], [TyVar])] -> [PredType] -> [Id] -> [TyCon] -> [ClassOpItem] -> TyCon -> Class |
|
classTyVars :: Class -> [TyVar] |
|
classArity :: Class -> Arity |
|
classKey :: Class -> Unique |
|
className :: Class -> Name |
|
classATs :: Class -> [TyCon] |
|
classSelIds :: Class -> [Id] |
|
classTyCon :: Class -> TyCon |
|
classMethods :: Class -> [Id] |
|
classBigSig :: Class -> ([TyVar], [PredType], [Id], [ClassOpItem]) |
|
classExtraBigSig :: Class -> ([TyVar], [FunDep TyVar], [PredType], [Id], [TyCon], [ClassOpItem]) |
|
classTvsFds :: Class -> ([TyVar], [FunDep TyVar]) |
|
classSCTheta :: Class -> [PredType] |
|
Produced by Haddock version 2.3.0 |