|
|
|
|
|
| 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.4.2 |
