package coq-lsp

  1. Overview
  2. Docs

Basic JSON-RPC Incoming Messages

type t =
  1. | Notification of {
    1. method_ : string;
    2. params : (string * Yojson.Safe.t) list;
    }
  2. | Request of {
    1. id : int;
    2. method_ : string;
    3. params : (string * Yojson.Safe.t) list;
    }
val from_yojson : Yojson.Safe.t -> (t, string) Result.t

Reify an incoming message

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