| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HsDev.Symbols.Parsed
- type Ann = Scoped SrcSpanInfo
- type Parsed = Module Ann
- qnames :: Data (ast Ann) => Traversal' (ast Ann) (QName Ann)
- names :: Data (ast Ann) => Traversal' (ast Ann) (Name Ann)
- binders :: Annotated ast => Traversal' (ast Ann) (ast Ann)
- locals :: Annotated ast => Traversal' (ast Ann) (ast Ann)
- globals :: Annotated ast => Traversal' (ast Ann) (ast Ann)
- references :: Annotated ast => Traversal' (ast Ann) (ast Ann)
- unresolveds :: Annotated ast => Traversal' (ast Ann) (ast Ann)
- usages :: Annotated ast => Name -> Traversal' (ast Ann) (ast Ann)
- named :: Annotated ast => Text -> Traversal' (ast Ann) (ast Ann)
- imports :: Data (ast Ann) => Traversal' (ast Ann) (ImportDecl Ann)
- declarations :: Data (ast Ann) => Traversal' (ast Ann) (Decl Ann)
- moduleNames :: Data (ast Ann) => Traversal' (ast Ann) (ModuleName Ann)
- annL :: Annotated ast => Lens' (ast a) a
- symbolL :: Data a => Traversal' a Symbol
- file :: Annotated ast => Lens' (ast Ann) FilePath
- pos :: (Annotated ast, SrcInfo isrc, Data isrc) => Lens' (ast isrc) Position
- defPos :: Annotated ast => Traversal' (ast Ann) Position
- resolvedName :: Annotated ast => Traversal' (ast Ann) Name
- isBinder :: Annotated ast => ast Ann -> Bool
- isLocal :: Annotated ast => ast Ann -> Bool
- isGlobal :: Annotated ast => ast Ann -> Bool
- isReference :: Annotated ast => ast Ann -> Bool
- isUnresolved :: Annotated ast => ast Ann -> Bool
- resolveError :: Annotated ast => ast Ann -> Maybe String
- refsTo :: Annotated ast => Name -> ast Ann -> Bool
- refsToName :: Annotated ast => Text -> ast Ann -> Bool
- nameInfoL :: Lens' (Scoped a) (NameInfo a)
- positionL :: (SrcInfo isrc, Data isrc) => Lens' isrc Position
- regionL :: Annotated ast => Lens' (ast Ann) Region
- fileL :: (SrcInfo isrc, Data isrc) => Lens' isrc FilePath
- symbolNameL :: Lens' Symbol Name
- prettyPrint :: Pretty a => a -> String
Documentation
type Ann = Scoped SrcSpanInfo Source #
Annotation of parsed and resolved nodes
globals :: Annotated ast => Traversal' (ast Ann) (ast Ann) Source #
Get all names, references global symbol
references :: Annotated ast => Traversal' (ast Ann) (ast Ann) Source #
Get all resolved references
unresolveds :: Annotated ast => Traversal' (ast Ann) (ast Ann) Source #
Get all names with not in scope error
named :: Annotated ast => Text -> Traversal' (ast Ann) (ast Ann) Source #
Get usages of symbols with unqualified name
imports :: Data (ast Ann) => Traversal' (ast Ann) (ImportDecl Ann) Source #
Get imports
declarations :: Data (ast Ann) => Traversal' (ast Ann) (Decl Ann) Source #
Get declarations
moduleNames :: Data (ast Ann) => Traversal' (ast Ann) (ModuleName Ann) Source #
Get module names
pos :: (Annotated ast, SrcInfo isrc, Data isrc) => Lens' (ast isrc) Position Source #
Get source location
defPos :: Annotated ast => Traversal' (ast Ann) Position Source #
Definition position, if binder - returns current position
resolvedName :: Annotated ast => Traversal' (ast Ann) Name Source #
Resolved global name
refsToName :: Annotated ast => Text -> ast Ann -> Bool Source #
Node references to specified unqualified name
prettyPrint :: Pretty a => a -> String #
pretty-print with the default style and defaultMode.