haskell-names-0.2: Name resolution library for Haskell

Safe Haskell	None

Language.Haskell.Names.GlobalSymbolTable

Description

This module is designed to be imported qualified.

Synopsis

Documentation

data Table Source

Global symbol table — contains global names

Instances

Eq Table
Data Table
Ord Table
Show Table
Typeable Table
Monoid Table

data GName Source

Possibly qualified name. If the name is not qualified, ModuleNameS is the empty string.

Instances

Eq GName
Data GName
Ord GName
Show GName
Typeable GName

data OrigName Source

Qualified name, where ModuleNameS points to the module where the name was originally defined. The module part is never empty.

Also contains name and version of the package where it was defined. If it's Nothing, then the entity is defined in the "current" package.

Instances

Eq OrigName
Data OrigName
Ord OrigName
Show OrigName
Typeable OrigName
ToJSON OrigName
FromJSON OrigName

empty :: Table Source

data Result l a Source

Constructors

Result a
Error (Error l)
Special

lookupValue :: QName l -> Table -> Result l (SymValueInfo OrigName)Source

addValue :: QName l -> SymValueInfo OrigName -> Table -> Table Source

lookupType :: QName l -> Table -> Result l (SymTypeInfo OrigName)Source

addType :: QName l -> SymTypeInfo OrigName -> Table -> Table Source

fromMaps :: Map GName (Set (SymValueInfo OrigName)) -> Map GName (Set (SymTypeInfo OrigName)) -> Table Source

fromLists :: ([(GName, SymValueInfo OrigName)], [(GName, SymTypeInfo OrigName)]) -> Table Source

types :: Table -> Map GName (Set (SymTypeInfo OrigName))Source

values :: Table -> Map GName (Set (SymValueInfo OrigName))Source

toSymbols :: Table -> Symbols Source