Module Fleche_lsp.CoreSource

Sourcemodule Location : sig ... end

Core LSP protocol and language types

Sourcemodule DocumentSymbol : sig ... end
Sourcemodule SymInfo : sig ... end

Not used as of today, superseded by DocumentSymbol

Hover

Sourcemodule HoverContents : sig ... end
Sourcemodule HoverInfo : sig ... end

Completion

Sourcemodule LabelDetails : sig ... end
Sourcemodule TextEditReplace : sig ... end
Sourcemodule CompletionData : sig ... end
Sourcemodule Command : sig ... end

Code Lenses

Sourcemodule CodeLens : sig ... end
Sourcemodule SelectionRange : sig ... end

SelectionRange

Sourcemodule PublishDiagnosticsParams : sig ... end

Publish Diagnostics params

Sourceval mk_diagnostics : uri:Lang.LUri.File.t -> version:int -> pp:('a -> Yojson.Safe.t) -> 'a Lang.Diagnostic.t list -> Base.Notification.t
Sourcemodule DocumentDiagnosticParams : sig ... end

Pull Diagnostics

partial result: The first literal send need to be a DocumentDiagnosticReport followed by n DocumentDiagnosticReportPartialResult literals defined as follows:

Sourcemodule CodeActionContext : sig ... end
Sourcemodule CodeActionParams : sig ... end
Sourcemodule CodeAction : sig ... end