hsdev-0.1.5.2: Haskell development library and tool with support of autocompletion, symbol info, go to declaration, find references etc.

Safe HaskellNone
LanguageHaskell98

HsDev.Symbols.Resolve

Synopsis

Documentation

newtype ResolveM a Source

Resolve monad uses existing Database and ResolvedTree as state.

Constructors

ResolveM 

Fields

runResolveM :: ReaderT Database (State ResolvedTree) a
 

Instances

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

_resolvedModule :: Module
 
_resolvedScope :: [Declaration]
 
_resolvedExports :: [Declaration]
 

Instances

resolvedModule :: Lens' ResolvedModule Module Source

resolvedScope :: Lens' ResolvedModule [Declaration] Source

resolvedExports :: Lens' ResolvedModule [Declaration] Source

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

exported :: Declaration -> Export -> Maybe Declaration Source

resolveImport :: Module -> Import -> ResolveM [Declaration] Source

Bring declarations into scope

mergeImported :: [Declaration] -> [Declaration] Source

Merge imported declarations