Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Preloaded = Preloaded {}
- preloadedId :: Lens' Preloaded ModuleId
- preloadedMode :: Lens' Preloaded ParseMode
- preloadedModule :: Lens' Preloaded (Module SrcSpanInfo)
- asModule :: Lens' Preloaded Module
- toImport :: ImportDecl SrcSpanInfo -> Import
- preloaded :: Lens' Preloaded Text
- type InspectedPreloaded = Inspected ModuleLocation ModuleTag Preloaded
- type Environment = Environment
- type FixitiesTable = Map Name Fixity
- data Resolved = Resolved {
- _resolvedModule :: ModuleName ()
- _resolvedSource :: Parsed
- _resolvedDefs :: [Symbol]
- _resolvedImports :: [Import]
- _resolvedExports :: [Symbol]
- _resolvedScope :: Table
- _resolvedFixities :: [Fixity]
- resolvedModule :: Lens' Resolved (ModuleName ())
- resolvedSource :: Lens' Resolved Parsed
- resolvedDefs :: Lens' Resolved [Symbol]
- resolvedImports :: Lens' Resolved [Import]
- resolvedExports :: Lens' Resolved [Symbol]
- resolvedScope :: Lens' Resolved Table
- resolvedFixities :: Lens' Resolved [Fixity]
- type InspectedResolved = Inspected ModuleLocation ModuleTag Resolved
- resolvedEnv :: Resolved -> Environment
- resolvedFixitiesTable :: Resolved -> FixitiesTable
- dropScope :: Functor f => f (Scoped l) -> f l
- noScope :: l -> Scoped l
- withNoScope :: Functor f => f l -> f (Scoped l)
Documentation
Preloaded module with contents and extensions
Preloaded | |
|
toImport :: ImportDecl SrcSpanInfo -> Import Source #
type Environment = Environment Source #
Symbols environment, used to resolve names in source
Resolved module
Resolved | |
|
resolvedModule :: Lens' Resolved (ModuleName ()) Source #
type InspectedResolved = Inspected ModuleLocation ModuleTag Resolved Source #
Like InspectedModule
, but for Resolved
resolvedEnv :: Resolved -> Environment Source #
Get environment for resolved module
resolvedFixitiesTable :: Resolved -> FixitiesTable Source #
Get fixities table from resolved module
withNoScope :: Functor f => f l -> f (Scoped l) Source #
Set empty scope