ghc-6.12.2: The GHC APISource codeContentsIndex
IfaceEnv
Synopsis
newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b Name
newIPName :: IPName OccName -> TcRnIf m n (IPName Name)
newImplicitBinder :: Name -> (OccName -> OccName) -> TcRnIf m n Name
lookupIfaceTop :: OccName -> IfL Name
lookupOrig :: Module -> OccName -> TcRnIf a b Name
lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name
extendNameCache :: OrigNameCache -> Module -> OccName -> Name -> OrigNameCache
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
lookupIfaceTyVar :: FastString -> IfL (Maybe TyVar)
tcIfaceTick :: Module -> Int -> IfL Id
ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]
allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> (NameCache, Name)
initNameCache :: UniqSupply -> [Name] -> NameCache
getNameCache :: TcRnIf a b NameCache
mkNameCacheUpdater :: TcRnIf a b (NameCacheUpdater c)
type NameCacheUpdater c = (NameCache -> (NameCache, c)) -> IO c
Documentation
newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b NameSource
newIPName :: IPName OccName -> TcRnIf m n (IPName Name)Source
newImplicitBinder :: Name -> (OccName -> OccName) -> TcRnIf m n NameSource
lookupIfaceTop :: OccName -> IfL NameSource
lookupOrig :: Module -> OccName -> TcRnIf a b NameSource
lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe NameSource
extendNameCache :: OrigNameCache -> Module -> OccName -> Name -> OrigNameCacheSource
newIfaceName :: OccName -> IfL NameSource
newIfaceNames :: [OccName] -> IfL [Name]Source
extendIfaceIdEnv :: [Id] -> IfL a -> IfL aSource
extendIfaceTyVarEnv :: [TyVar] -> IfL a -> IfL aSource
tcIfaceLclId :: FastString -> IfL IdSource
tcIfaceTyVar :: FastString -> IfL TyVarSource
lookupIfaceTyVar :: FastString -> IfL (Maybe TyVar)Source
tcIfaceTick :: Module -> Int -> IfL IdSource
ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]Source
allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> (NameCache, Name)Source
initNameCache :: UniqSupply -> [Name] -> NameCacheSource
getNameCache :: TcRnIf a b NameCacheSource
mkNameCacheUpdater :: TcRnIf a b (NameCacheUpdater c)Source
Return a function to atomically update the name cache.
type NameCacheUpdater c = (NameCache -> (NameCache, c)) -> IO cSource
A function that atomically updates the name cache given a modifier function. The second result of the modifier function will be the result of the IO action.
Produced by Haddock version 2.6.1