Safe Haskell | None |
---|---|
Language | Haskell98 |
- resolveImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Module -> m (Module, Imports)
- resolveModuleImport :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Imports -> (ModuleName, [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)]) -> m Imports
- findImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Declaration] -> m (Map ModuleName [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)])
Documentation
resolveImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Module -> m (Module, Imports) Source
Constructs a set of imports for a module.
resolveModuleImport :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Imports -> (ModuleName, [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)]) -> m Imports Source
Constructs a set of imports for a single module import.
findImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Declaration] -> m (Map ModuleName [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)]) Source
Finds the imports within a module, mapping the imported module name to an optional set of explicitly imported declarations.