HsDev.Inspect.Types

Documentation

data Preloaded

Preloaded module with contents and extensions

Constructors

Preloaded

Fields

• _preloadedId :: ModuleId
• _preloadedMode :: ParseMode
• _preloadedModule :: Module SrcSpanInfo

  Loaded module head without declarations

• _preloaded :: Text

Instances

NFData Preloaded

Defined in HsDev.Inspect.Types

Methods

rnf :: 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

Symbols environment, used to resolve names in source

type FixitiesTable = Map Name Fixity

Fixities environment, needed to parse source

data Resolved

Resolved module

Constructors

Resolved

Fields

• _resolvedModule :: ModuleName ()
• _resolvedSource :: Parsed
• _resolvedDefs :: [Symbol]
• _resolvedImports :: [Import]
• _resolvedExports :: [Symbol]
• _resolvedScope :: Table
• _resolvedFixities :: [Fixity]

Instances

NFData Resolved

Defined in HsDev.Inspect.Types

Methods

rnf :: Resolved -> ()

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

Like InspectedModule, but for Resolved

resolvedEnv :: Resolved -> Environment

Get environment for resolved module

resolvedFixitiesTable :: Resolved -> FixitiesTable

Get fixities table from resolved module

dropScope :: Functor f => f (Scoped l) -> f l

Drop extra info

noScope :: l -> Scoped l

Empty scope info

withNoScope :: Functor f => f l -> f (Scoped l)

Set empty scope