package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.2.0.8.18.tbz
sha256=ba40f92f4c751793265d20f1c217638146e4714e0196a0d2b00c9ed58774abf6
sha512=0b7c1d98e22017e44d90461ee61081043401387251488ee7113668d24f6a463dca4ce690e30355248a949817c6b8f8a0944489c4d9b66bd239d903a089a1f11f

doc/coq-lsp.lsp/Lsp/Base/Message/index.html

Module Base.MessageSource

Basic JSON-RPC Incoming Messages

Sourcetype t =
  1. | Notification of Notification.t
  2. | Request of Request.t
  3. | Response of Response.t
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval notification : Notification.t -> t
Sourceval response : Response.t -> t
OCaml

Innovation. Community. Security.