TcIface

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcIface

# Documentation

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

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

checkWiredInTyCon :: TyCon -> TcM ()

tcHiBootIface :: HscSource -> Module -> TcRn ModDetails

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails

tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing

tcIfaceInst :: IfaceClsInst -> IfL ClsInst

tcIfaceFamInst :: IfaceFamInst -> IfL FamInst

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

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

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

tcIfaceExpr :: IfaceExpr -> IfL CoreExpr

tcIfaceGlobal :: Name -> IfL TyThing