| ||||
| ||||
| Documentation | ||||
| tcSimplifyInfer :: SDoc -> TcTyVarSet -> [Inst] -> TcM ([TcTyVar], [Inst], TcDictBinds) | ||||
| tcSimplifyInferCheck :: InstLoc -> TcTyVarSet -> [Inst] -> [Inst] -> TcM ([TyVar], TcDictBinds) | ||||
| tcSimplifyCheck :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds | ||||
| tcSimplifyRestricted :: SDoc -> TopLevelFlag -> [Name] -> TcTyVarSet -> [Inst] -> TcM ([TyVar], TcDictBinds) | ||||
| tcSimplifyRuleLhs :: [Inst] -> TcM ([Inst], TcDictBinds) | ||||
| tcSimplifyIPs :: [Inst] -> [Inst] -> TcM TcDictBinds | ||||
| tcSimplifySuperClasses :: InstLoc -> Inst -> [Inst] -> [Inst] -> TcM TcDictBinds | ||||
| tcSimplifyTop :: [Inst] -> TcM TcDictBinds | ||||
| tcSimplifyInteractive :: [Inst] -> TcM TcDictBinds | ||||
| tcSimplifyBracket :: [Inst] -> TcM () | ||||
| tcSimplifyCheckPat :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds | ||||
| tcSimplifyDeriv :: InstOrigin -> [TyVar] -> ThetaType -> TcM ThetaType | ||||
| tcSimplifyDefault :: ThetaType -> TcM () | ||||
| bindInstsOfLocalFuns :: [Inst] -> [TcId] -> TcM TcDictBinds | ||||
| misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) | ||||
| Produced by Haddock version 2.7.2 |