package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

JSON-RPC input/output

val set_log_fn : (Base.Notification.t -> unit) -> unit

Set the log output function

val read_message : Stdlib.in_channel -> (Base.Message.t, string) Result.t option

Read a JSON-RPC message from channel; None signals EOF

val send_message : Stdlib.Format.formatter -> Base.Message.t -> unit

Send a JSON-RPC message to channel

Logging

module TraceValue : sig ... end

Trace values

val set_trace_value : TraceValue.t -> unit

Set the trace value

module Lvl : sig ... end
module MessageParams : sig ... end
val mk_logMessage : type_:int -> message:string -> Base.Notification.t

Create a logMessage notification

val logMessage : lvl:Lvl.t -> message:string -> unit

Send a window/logMessage notification to the client

val logMessageInt : lvl:int -> message:string -> unit

Send a window/logMessage notification to the client

module TraceParams : sig ... end
val mk_logTrace : message:string -> extra:string option -> Base.Notification.t

Create a logTrace notification

val logTrace : message:string -> extra:string option -> unit

Send a $/logTrace notification to the client

OCaml

Innovation. Community. Security.