package coq-lsp

  1. Overview
  2. Docs
val read_request : in_channel -> Yojson.Safe.t

Read a JSON-RPC request from channel

exception ReadError of string
val send_json : Format.formatter -> Yojson.Safe.t -> unit

Send a JSON-RPC request to channel

val logMessage : Format.formatter -> lvl:int -> message:string -> unit

Send a window/logMessage notification to the client

val logTrace : Format.formatter -> message:string -> ?verbose:string -> unit -> unit

Send a $/logTrace notification to the client

OCaml

Innovation. Community. Security.