Safe Haskell	None
Language	GHC2021

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 :: IfLclName -> IfL Id
tcIfaceTyVar :: IfLclName -> 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 ()
trace_hi_diffs_io :: Logger -> IO SDoc -> IO ()
allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> IO Name

Documentation

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 #

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

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

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

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 :: IfLclName -> IfL Id #

tcIfaceTyVar :: IfLclName -> 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 #

Set the Module of a Name.

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

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

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

trace_hi_diffs_io :: Logger -> IO SDoc -> IO () #

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