TcSimplify

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

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