IfaceEnv

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
• 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
• ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]
• allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> (NameCache, Name)
• initNameCache :: UniqSupply -> [Name] -> NameCache
• updNameCache :: (NameCache -> (NameCache, c)) -> TcRnIf a b c
• mkNameCacheUpdater :: TcRnIf a b NameCacheUpdater
• newtype NameCacheUpdater = NCU {
  • updateNameCache :: forall c. (NameCache -> (NameCache, c)) -> IO c
  }

Documentation