| Safe Haskell | Safe-Infered |
|---|
IfaceEnv
- newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b 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
- newIPName :: FastString -> TcRnIf m n (IPName 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
- lookupIfaceTyVar :: FastString -> IfL (Maybe TyVar)
- ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]
- allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> (NameCache, Name)
- allocateIPName :: NameCache -> FastString -> (NameCache, IPName Name)
- initNameCache :: UniqSupply -> [Name] -> NameCache
- updNameCache :: (NameCache -> (NameCache, c)) -> TcRnIf a b c
- getNameCache :: TcRnIf a b NameCache
- mkNameCacheUpdater :: TcRnIf a b NameCacheUpdater
- data NameCacheUpdater = NCU {
- updateNameCache :: forall c. (NameCache -> (NameCache, c)) -> IO c
Documentation
lookupIfaceTop :: OccName -> IfL 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
ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]Source
allocateIPName :: NameCache -> FastString -> (NameCache, IPName Name)Source
initNameCache :: UniqSupply -> [Name] -> NameCacheSource
updNameCache :: (NameCache -> (NameCache, c)) -> TcRnIf a b cSource
getNameCache :: TcRnIf a b NameCacheSource
mkNameCacheUpdater :: TcRnIf a b NameCacheUpdaterSource
Return a function to atomically update the name cache.
data NameCacheUpdater Source
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.
Constructors
| NCU | |
Fields
| |