Expand description
Token resolution and Markdown-highlighted type display for LSP hover.
Given the full source text and a cursor position (line, character), this module:
- Identifies the word (identifier / literal) under the cursor.
- Parses and type-checks the whole document using the project’s
pipeline (
parse→typing) to build a fully-populatedContext. - Looks up the identifier in that context and returns its type.
- Renders the type string with Markdown syntax highlighting.
Structs§
- Definition
Info - A resolved definition result: the location where a symbol is defined.
- Hover
Info - A resolved hover result: the Markdown-highlighted type and the LSP range.
Functions§
- find_
definition_ at - Main entry-point called by the LSP goto_definition handler.
- find_
type_ at - Main entry-point called by the LSP hover handler.
- get_
completions_ at - Main entry point for LSP completion requests.
- highlight_
type - Highlight a TypR type string into inline Markdown.