HsDev.Symbols.Resolve

Documentation

newtype ResolveM a

Resolve monad uses existing Database and ResolvedTree as state.

Constructors

ResolveM

Fields

• runResolveM :: ReaderT (Database, ModuleMap) (State ResolvedTree) a

Instances

Monad ResolveM

Methods

(>>=) :: ResolveM a -> (a -> ResolveM b) -> ResolveM b

(>>) :: ResolveM a -> ResolveM b -> ResolveM b

return :: a -> ResolveM a

fail :: String -> ResolveM a

Functor ResolveM

Methods

fmap :: (a -> b) -> ResolveM a -> ResolveM b

(<$) :: a -> ResolveM b -> ResolveM a

Applicative ResolveM

Methods

pure :: a -> ResolveM a

(<*>) :: ResolveM (a -> b) -> ResolveM a -> ResolveM b

(*>) :: ResolveM a -> ResolveM b -> ResolveM b

(<*) :: ResolveM a -> ResolveM b -> ResolveM a

MonadState ResolvedTree ResolveM

Methods

get :: ResolveM ResolvedTree

put :: ResolvedTree -> ResolveM ()

state :: (ResolvedTree -> (a, ResolvedTree)) -> ResolveM a

type ResolvedTree = Map ModuleId ResolvedModule

Tree of resolved modules

data ResolvedModule

Module with declarations bringed to scope and with exported declarations

Constructors

ResolvedModule

Fields

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

Instances

MonadState ResolvedTree ResolveM

Methods

get :: ResolveM ResolvedTree

put :: ResolvedTree -> ResolveM ()

state :: (ResolvedTree -> (a, ResolvedTree)) -> ResolveM a

resolvedModule :: Lens' ResolvedModule Module

resolvedScope :: Lens' ResolvedModule [Declaration]

resolvedExports :: Lens' ResolvedModule [Declaration]

scopeModule :: ResolvedModule -> Module

Make Module with scope declarations

exportsModule :: ResolvedModule -> Module

Make Module with exported only declarations

resolvedTopScope :: ResolvedModule -> [Declaration]

Get top-level scope

resolve :: Traversable t => Database -> t Module -> t ResolvedModule

Resolve modules, function is not IO, so all file names must be canonicalized

resolveOne :: Database -> Module -> ResolvedModule

Resolve one module

resolveModule :: Module -> ResolveM ResolvedModule

Resolve module

resolveImports :: Module -> [Import] -> ResolveM [Declaration]

Bring declarations into scope by imports

resolveImport :: Set String -> Module -> Import -> ResolveM [Declaration]

Bring declarations into scope, first parameter is set of visible packages

mergeImported :: [Declaration] -> [Declaration]

Merge imported declarations