ghc-7.0.3: The GHC API

TcIface

# Documentation

tcImportDecl :: Name -> TcM TyThing

checkWiredInTyCon :: TyCon -> TcM ()

tcHiBootIface :: HscSource -> Module -> TcRn ModDetails

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails

tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing

tcIfaceInst :: IfaceInst -> IfL Instance

tcIfaceFamInst :: IfaceFamInst -> IfL FamInst

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

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

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

tcIfaceGlobal :: Name -> IfL TyThing

tcExtCoreBindings :: [IfaceBinding] -> IfL [CoreBind]