Core (p.coq-lsp.0.1.6+8.16.doc.coq-lsp.lsp.Lsp.Core)

Sourcemodule Location : sig ... end

Sourcemodule LocationLink : sig ... end

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 DocumentDiagnosticParams : sig ... end

Pull Diagnostics

Sourcemodule FullDocumentDiagnosticReport : sig ... end

Sourcemodule UnchangedDocumentDiagnosticReport : sig ... end

Sourcemodule DocumentDiagnosticReportPartialResult : sig ... end

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