package vscoq-language-server

  1. Overview
  2. Docs
module ResetParams : sig ... end
module AboutParams : sig ... end
module CheckParams : sig ... end
module LocateParams : sig ... end
module PrintParams : sig ... end
module SearchParams : sig ... end
module DocumentStateParams : sig ... end
module DocumentStateResult : sig ... end
type 'a t =
  1. | Std : 'a Lsp.Client_request.t -> 'a t
  2. | Reset : ResetParams.t -> unit t
  3. | About : AboutParams.t -> Printing.pp t
  4. | Check : CheckParams.t -> Printing.pp t
  5. | Locate : LocateParams.t -> Printing.pp t
  6. | Print : PrintParams.t -> Printing.pp t
  7. | Search : SearchParams.t -> unit t
  8. | DocumentState : DocumentStateParams.t -> DocumentStateResult.t t
type packed =
  1. | Pack : 'a t -> packed
val t_of_jsonrpc : Jsonrpc.Request.t -> (packed, string) result
val yojson_of_result : 'a. 'a t -> 'a -> Yojson.Safe.t
OCaml

Innovation. Community. Security.