| ||||
| ||||
| Documentation | ||||
| type Equation = (TyVarSet, [(Type, Type)]) | ||||
| pprEquation :: Equation -> SDoc | ||||
| oclose :: [PredType] -> TyVarSet -> TyVarSet | ||||
| improveOne :: (Class -> [Instance]) -> Pred_Loc -> [Pred_Loc] -> [(Equation, Pred_Loc, Pred_Loc)] | ||||
| checkInstCoverage :: Class -> [Type] -> Bool | ||||
| checkFunDeps :: (InstEnv, InstEnv) -> Instance -> Maybe [Instance] | ||||
| pprFundeps :: Outputable a => [FunDep a] -> SDoc | ||||
| Produced by Haddock version 2.7.2 |