Module lsp 

LSP server for TypR.

Currently exposes:

• Hover provider: shows inferred types with Markdown syntax highlighting
• Completion provider: context-aware autocompletion for variables, functions, and type aliases
  • Trigger characters: ., $, > (for |>), : (for type annotations)
• Diagnostics (push model): real-time error checking via textDocument/publishDiagnostics
  • Diagnostics are published on didOpen and didChange events
• Go to Definition provider: jump to symbol definitions (variables, functions, type aliases)
• Workspace Symbol provider: search for symbols across all open documents

Launch with typr lsp. The server communicates over stdin/stdout using the standard LSP JSON-RPC protocol.

Functions

run_lsp

Start the LSP server. Blocks until the client disconnects.