ghc-6.12.3: The GHC APISource codeContentsIndex
TcSimplify
Documentation
tcSimplifyInfer :: SDoc -> TcTyVarSet -> [Inst] -> TcM ([TcTyVar], [Inst], TcDictBinds)Source
tcSimplifyInferCheck :: InstLoc -> TcTyVarSet -> [Inst] -> [Inst] -> TcM ([TyVar], TcDictBinds)Source
tcSimplifyCheck :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBindsSource
tcSimplifyRestricted :: SDoc -> TopLevelFlag -> [Name] -> TcTyVarSet -> [Inst] -> TcM ([TyVar], TcDictBinds)Source
tcSimplifyRuleLhs :: [Inst] -> TcM ([Inst], TcDictBinds)Source
tcSimplifyIPs :: [Inst] -> [Inst] -> TcM TcDictBindsSource
tcSimplifySuperClasses :: InstLoc -> Inst -> [Inst] -> [Inst] -> TcM TcDictBindsSource
tcSimplifyTop :: [Inst] -> TcM TcDictBindsSource
tcSimplifyInteractive :: [Inst] -> TcM TcDictBindsSource
tcSimplifyBracket :: [Inst] -> TcM ()Source
tcSimplifyCheckPat :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBindsSource
tcSimplifyDeriv :: InstOrigin -> [TyVar] -> ThetaType -> TcM ThetaTypeSource
tcSimplifyDefault :: ThetaType -> TcM ()Source
bindInstsOfLocalFuns :: [Inst] -> [TcId] -> TcM TcDictBindsSource
misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc)Source
Produced by Haddock version 2.6.1