package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Message : sig ... end

Basic JSON-RPC Incoming Messages

val mk_notification : method_:string -> params:Yojson.Safe.t -> 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

module ProgressToken : sig ... end

Progress

module ProgressParams : sig ... end
val mk_progress : token:ProgressToken.t -> value:'a -> ('a -> Yojson.Safe.t) -> Yojson.Safe.t
module WorkDoneProgressBegin : sig ... end
module WorkDoneProgressReport : sig ... end
module WorkDoneProgressEnd : sig ... end