package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Core LSP protocoal and language types

module Location : sig ... end
module DocumentSymbol : sig ... end
module SymInfo : sig ... end

Not used as of today, superseded by DocumentSymbol

Hover

module HoverContents : sig ... end
module HoverInfo : sig ... end

Completion

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

Code Lenses

module CodeLens : sig ... end
module DocumentDiagnosticParams : sig ... end

Pull Diagnostics

module FullDocumentDiagnosticReport : sig ... end

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

OCaml

Innovation. Community. Security.