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

module Message : sig ... end

Basic JSON-RPC Incoming Messages

val mk_range : Fleche.Types.Range.t -> Yojson.Safe.t

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

val mk_diagnostics : 
  uri:string ->
  version:int ->
  (Fleche.Types.Range.t * int * string * unit option) list ->
  Yojson.Safe.t

val std_protocol : bool Stdlib.ref