ghc-9.6.3: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Iface.Env

Synopsis

- newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b Name
- newInteractiveBinder :: HscEnv -> OccName -> SrcSpan -> IO Name
- externaliseName :: Module -> Name -> TcRnIf m n Name
- lookupIfaceTop :: OccName -> IfL Name
- lookupOrig :: Module -> OccName -> TcRnIf a b Name
- lookupNameCache :: NameCache -> Module -> OccName -> IO Name
- lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name
- newIfaceName :: OccName -> IfL Name
- newIfaceNames :: [OccName] -> IfL [Name]
- extendIfaceIdEnv :: [Id] -> IfL a -> IfL a
- extendIfaceTyVarEnv :: [TyVar] -> IfL a -> IfL a
- tcIfaceLclId :: FastString -> IfL Id
- tcIfaceTyVar :: FastString -> IfL TyVar
- lookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar)
- lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar)
- extendIfaceEnvs :: [TyCoVar] -> IfL a -> IfL a
- setNameModule :: Maybe Module -> Name -> TcRnIf m n Name
- ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]
- trace_if :: Logger -> SDoc -> IO ()
- trace_hi_diffs :: Logger -> SDoc -> IO ()
- allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> IO Name

# Documentation

newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b Name Source #

newInteractiveBinder :: HscEnv -> OccName -> SrcSpan -> IO Name Source #

externaliseName :: Module -> Name -> TcRnIf m n Name Source #

lookupIfaceTop :: OccName -> IfL Name Source #

Look up a top-level name from the current Iface module

lookupOrig :: Module -> OccName -> TcRnIf a b Name Source #

Look up the `Name` for a given `GenModule` and `OccName`. Consider alternatively using `lookupIfaceTop` if you're in the `IfL` monad and `GenModule` is simply that of the `ModIface` you are typechecking.

lookupNameCache :: NameCache -> Module -> OccName -> IO Name Source #

lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name Source #

newIfaceName :: OccName -> IfL Name Source #

newIfaceNames :: [OccName] -> IfL [Name] Source #

extendIfaceIdEnv :: [Id] -> IfL a -> IfL a Source #

extendIfaceTyVarEnv :: [TyVar] -> IfL a -> IfL a Source #

tcIfaceLclId :: FastString -> IfL Id Source #

tcIfaceTyVar :: FastString -> IfL TyVar Source #

lookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar) Source #

lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar) Source #

extendIfaceEnvs :: [TyCoVar] -> IfL a -> IfL a Source #

setNameModule :: Maybe Module -> Name -> TcRnIf m n Name Source #

Set the `GenModule` of a `Name`.

ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo] Source #

trace_if :: Logger -> SDoc -> IO () Source #

trace_hi_diffs :: Logger -> SDoc -> IO () Source #

allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> IO Name Source #