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 ModDetailsSource

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetailsSource

tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThingSource

tcIfaceInst :: IfaceClsInst -> IfL ClsInstSource

tcIfaceFamInst :: IfaceFamInst -> IfL FamInstSource

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

tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfoSource

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

tcIfaceExpr :: IfaceExpr -> IfL CoreExprSource

tcIfaceGlobal :: Name -> IfL TyThingSource

tcExtCoreBindings :: [IfaceBinding] -> IfL CoreProgramSource