package coq-lsp

  1. Overview
  2. Docs
module Message : sig ... end

Basic JSON-RPC Incoming Messages

val mk_notification : method_:string -> params:(string * Yojson.Safe.t) list -> Yojson.Safe.t

Build notification

val mk_reply : id:int -> result:Yojson.Safe.t -> Yojson.Safe.t

Answer to a request

val mk_request_error : id:int -> code:int -> message:string -> Yojson.Safe.t

Fail a request

val mk_diagnostics : uri:string -> version:int -> (Fleche.Types.Range.t * int * string * unit option) list -> Yojson.Safe.t
val std_protocol : bool Stdlib.ref
OCaml

Innovation. Community. Security.