Module diagnostics 

Convert Gruel JsonDiagnostic values to LSP Diagnostic values (ADR-0091).

Functions

group_by_file

Group LSP diagnostics by file path.

suggestions_from_diagnostic_data

Deserialize the JsonSuggestion[] from a Diagnostic.data field (Phase 2 carries them so codeAction can read them back).

to_lsp_diagnostic

Convert one Gruel JsonDiagnostic to an LSP Diagnostic and the file path it belongs to. Returns None if the diagnostic has no primary span.

Type Aliases

DiagnosticsByFile

Group of diagnostics keyed by file path string.