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

lookupUnqualifiedAsQualified :: Name l -> Table -> (Result l, Maybe QName)

Methods and associated types in instance declarations are referenced unqualified and still resolved to a symbol that is only in scope qualified. https://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html The test for this is testsannotationsQualifiedMethods.hs

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

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

isValue :: Symbol -> Bool

isType :: Symbol -> Bool

isMethodOrAssociated :: Symbol -> Bool

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