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

Dune Dependency

github.com Readme Changelog Edit opam file Versions (32)

Authors

Maintainers

E

e@x80.org

Sources

coq-lsp-0.1.4.v8.16.tbz

sha256=50df59eafc5b24a881c1a1dda6f6032b1da35b9b6ade7cb9e39968def9319508

sha512=e1d383b6802758cdbe5cbc6278af275d7951acd78224cdcfe622428942e84366ca283bf375d6e535ad7e8d8e847df84bd763bb2a263fc457dc5aead386c2836d

doc/coq-lsp.lsp/Lsp/JFleche/index.html

Module `Lsp.JFleche`Source

Sourcemodule Config : sig ... end

Sourcemodule Types : sig ... end

Source

val mk_diagnostics : 
  uri:string ->
  version:int ->
  Fleche.Types.Diagnostic.t list ->
  Yojson.Safe.t

Source

val mk_progress : 
  uri:string ->
  version:int ->
  Fleche.Progress.Info.t list ->
  Yojson.Safe.t

Sourcemodule GoalsAnswer : sig ... end

Source

val mk_goals : 
  uri:string ->
  version:int ->
  position:Fleche.Types.Point.t ->
  goals:Coq.Goals.reified_pp option ->
  messages:Pp.t list ->
  error:Pp.t option ->
  Yojson.Safe.t

Sourcemodule Location : sig ... end

Sourcemodule SymInfo : sig ... end

Sourcemodule HoverContents : sig ... end

Sourcemodule HoverInfo : sig ... end

Sourcemodule LabelDetails : sig ... end

Sourcemodule TextEditReplace : sig ... end

Sourcemodule CompletionData : sig ... end

package coq-lsp

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-lsp.lsp/Lsp/JFleche/index.html

Module Lsp.JFlecheSource

Module `Lsp.JFleche`Source