Language.Haskell.Names.ModuleSymbols

Documentation

moduleSymbols

Arguments

:: (Eq l, Data l)

=> Table

the import table for this module

-> Module l

-> Symbols

Compute the symbols that are defined in the given module.

The import table is needed to resolve possible top-level record wildcard bindings, such as

A {..} = foo

moduleTable

Arguments

:: (Eq l, Data l)

=> Table

the import table for this module

-> Module l

-> Table

Compute module's global table. It contains both the imported entities and the global entities defined in this module.

getTopDeclSymbols

Arguments

:: forall l . (Eq l, Data l)

=> Table

the import table for this module

-> ModuleName l

-> Decl l

-> [Either (SymValueInfo OrigName) (SymTypeInfo OrigName)]