Language.Haskell.Names.GlobalSymbolTable

This module is designed to be imported qualified.

Documentation

type Table = Map QName [Symbol]

Global symbol table — contains names declared somewhere at the top level.

empty :: Table

Empty global symbol table.

mergeTables :: Table -> Table -> Table

For each name take the union of the lists of symbols they refer to.

data Result l

Constructors

SymbolFound Symbol

Error (Error l)

Special

lookupValue :: QName l -> Table -> Result l

lookupType :: QName l -> Table -> Result l

lookupMethodOrAssociate :: QName l -> Table -> Result l

lookupName :: QName l -> Table -> Result l

filterTable :: (Symbol -> Bool) -> Table -> Table

isValue :: Symbol -> Bool

isType :: Symbol -> Bool

isMethodOrAssociated :: Symbol -> Bool

fromList :: [(QName, Symbol)] -> Table