|
|
|
|
|
| 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 |
|
| pprFunDep :: 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.7.2 |