| Copyright | (c) 2000 - 2003 Wolfgang Lux 2011 Björn Peemöller 2016 Jan Tikovsky 2016 Finn Teegen |
|---|---|
| License | BSD-3-clause |
| Maintainer | bjp@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Imports
Description
This module provides the function importModules to bring the imported
entities into the module's scope, and the function qualifyEnv to
qualify the environment prior to computing the export interface.
Synopsis
- importInterfaces :: Interface -> InterfaceEnv -> CompilerEnv
- importModules :: Monad m => Module a -> InterfaceEnv -> [ImportDecl] -> CYT m CompilerEnv
- qualifyEnv :: CompilerEnv -> CompilerEnv
Documentation
importInterfaces :: Interface -> InterfaceEnv -> CompilerEnv Source #
The function importInterfaces brings the declarations of all
imported interfaces into scope for the current Interface.
importModules :: Monad m => Module a -> InterfaceEnv -> [ImportDecl] -> CYT m CompilerEnv Source #
qualifyEnv :: CompilerEnv -> CompilerEnv Source #