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

SelectionRange

module PublishDiagnosticsParams : sig ... end

Publish Diagnostics params

val mk_diagnostics : uri:Lang.LUri.File.t -> version:int -> Lang.Diagnostic.t list -> Base.Notification.t
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:

module CodeActionContext : sig ... end
module CodeActionParams : sig ... end
module CodeAction : sig ... end
OCaml

Innovation. Community. Security.