ghc-7.4.2: The GHC API

Safe Haskell | None

TcIface

# Documentation

tcImportDecl :: Name -> TcM TyThing

importDecl :: Name -> IfM lcl (MaybeErr Message 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 CoreProgram