package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

sha256=5404b94fbfe8c126470e7ef706001a77da6f6c388c314b6a80981c265a712399

sha512=1cc67ed0e0f0d5f64dc6e89239045f59e1ec85535496182ff6b7988621ff13e9fdd5e74e30224e37f3832a77435d1f636b15e46cd93e382b1c4256e96e9297c8

val msg : 
  io:CallBack.t ->
  lvl:Level.t ->
  ('a, Format.formatter, unit) format ->
  'a

User-visible message

Sourceval message_ : io:CallBack.t -> lvl:Level.t -> message:string -> unit

Raw LSP method

val diagnostics : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Lang.Diagnostic.t list ->
  unit

val fileProgress : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Progress.Info.t list ->
  unit

val perfData : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Perf.t ->
  unit

Sourceval serverVersion : io:CallBack.t -> ServerInfo.Version.t -> unit

Sourceval serverStatus : io:CallBack.t -> ServerInfo.Status.t -> unit