Copyright | (c) Fontaine 2008 - 2011 |
---|---|
License | BSD3 |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Language.CSPM.Rename
Description
Compute the mapping between the using occurences and the defining occurences of all Identifier in a Module Also decide whether to use ground or non-ground- representaions for the translation to Prolog.
- renameModule :: ModuleFromParser -> Either RenameError (ModuleFromRenaming, RenameInfo)
- data RenameError = RenameError {}
- data RenameInfo = RenameInfo {}
- type ModuleFromRenaming = Module FromRenaming
- data FromRenaming
Documentation
renameModule :: ModuleFromParser -> Either RenameError (ModuleFromRenaming, RenameInfo) Source #
renameModule
renames a Module
.
| (also calls mergeFunBinds)
data RenameInfo Source #
Gather all information about an renaming.
Constructors
RenameInfo | |
Fields |
Instances
type ModuleFromRenaming = Module FromRenaming Source #
A module that has gone through renaming