Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
- lookupOrigIO :: HscEnv -> Module -> OccName -> IO 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
- 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]
- allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> (NameCache, Name)
- updNameCacheTc :: Module -> OccName -> (NameCache -> (NameCache, c)) -> TcRnIf a b c
- mkNameCacheUpdater :: TcRnIf a b NameCacheUpdater
- newtype NameCacheUpdater = NCU {
- updateNameCache :: forall c. (NameCache -> (NameCache, c)) -> IO c
Documentation
lookupIfaceTop :: OccName -> IfL Name Source #
Look up a top-level name from the current Iface module
lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name Source #
extendNameCache :: OrigNameCache -> Module -> OccName -> Name -> OrigNameCache Source #
tcIfaceLclId :: FastString -> IfL Id Source #
tcIfaceTyVar :: FastString -> IfL TyVar Source #
lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar) Source #
ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo] Source #
newtype 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.
NCU | |
|