Documentation

tcLookupImported_maybe :: Name -> TcM (MaybeErr MsgDoc TyThing) Source

importDecl :: Name -> IfM lcl (MaybeErr MsgDoc TyThing) Source

checkWiredInTyCon :: TyCon -> TcM () Source

tcHiBootIface :: HscSource -> Module -> TcRn ModDetails Source

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails Source

tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing Source

tcIfaceInst :: IfaceClsInst -> IfL ClsInst Source

tcIfaceFamInst :: IfaceFamInst -> IfL FamInst Source

tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule] Source

tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo Source

tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation] Source

tcIfaceExpr :: IfaceExpr -> IfL CoreExpr Source

tcIfaceGlobal :: Name -> IfL TyThing Source

tcExtCoreBindings :: [IfaceBinding] -> IfL CoreProgram Source