| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HsDev.Symbols.Resolve
- newtype ResolveM a = ResolveM {
- runResolveM :: ReaderT (Database, ModuleMap) (State ResolvedTree) a
- type ResolvedTree = Map ModuleId ResolvedModule
- data ResolvedModule = ResolvedModule {}
- resolvedModule :: Lens' ResolvedModule Module
- resolvedScope :: Lens' ResolvedModule [Declaration]
- resolvedExports :: Lens' ResolvedModule [Declaration]
- scopeModule :: ResolvedModule -> Module
- exportsModule :: ResolvedModule -> Module
- resolvedTopScope :: ResolvedModule -> [Declaration]
- resolve :: (Traversable t, Foldable t) => Database -> t Module -> t ResolvedModule
- resolveOne :: Database -> Module -> ResolvedModule
- resolveModule :: Module -> ResolveM ResolvedModule
- resolveImports :: Module -> [Import] -> ResolveM [Declaration]
- resolveImport :: Set String -> Module -> Import -> ResolveM [Declaration]
- mergeImported :: [Declaration] -> [Declaration]
Documentation
Resolve monad uses existing Database and ResolvedTree as state.
Constructors
| ResolveM | |
Fields
| |
type ResolvedTree = Map ModuleId ResolvedModule Source
Tree of resolved modules
data ResolvedModule Source
Module with declarations bringed to scope and with exported declarations
Constructors
| ResolvedModule | |
Fields | |
Instances
scopeModule :: ResolvedModule -> Module Source
Make Module with scope declarations
exportsModule :: ResolvedModule -> Module Source
Make Module with exported only declarations
resolvedTopScope :: ResolvedModule -> [Declaration] Source
Get top-level scope
resolve :: (Traversable t, Foldable t) => Database -> t Module -> t ResolvedModule Source
Resolve modules, function is not IO, so all file names must be canonicalized
resolveOne :: Database -> Module -> ResolvedModule Source
Resolve one module
resolveModule :: Module -> ResolveM ResolvedModule Source
Resolve module
resolveImports :: Module -> [Import] -> ResolveM [Declaration] Source
Bring declarations into scope by imports
resolveImport :: Set String -> Module -> Import -> ResolveM [Declaration] Source
Bring declarations into scope, first parameter is set of visible packages
mergeImported :: [Declaration] -> [Declaration] Source
Merge imported declarations