Documentation
tcImportDecl :: Name -> TcM TyThingSource
checkWiredInTyCon :: TyCon -> TcM ()Source
tcHiBootIface :: HscSource -> Module -> TcRn ModDetailsSource
typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetailsSource
tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfoSource
tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]Source
tcIfaceGlobal :: Name -> IfL TyThingSource
tcExtCoreBindings :: [IfaceBinding] -> IfL [CoreBind]Source