package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct