package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val read_request : Stdlib.in_channel -> Yojson.Safe.t

Read a JSON-RPC request from channel

exception ReadError of string

val send_json : Stdlib.Format.formatter -> Yojson.Safe.t -> unit

Send a JSON-RPC request to channel

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

Send a window/logMessage notification to the client

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

Send a $/logTrace notification to the client