package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type request =
  1. | Immediate
  2. | FullDoc
  3. | PosInDoc of {
    1. point : int * int;
    2. version : int option;
    }
type t = {
  1. id : int;
  2. uri : Lang.LUri.File.t;
  3. postpone : bool;
  4. request : request;
}
type action =
  1. | Now of Doc.t
  2. | Postpone
  3. | Cancel
val add : t -> action

Add a request to be served; returns Postpone if request is added to the queue, Now doc if the request is available. Cancel means "we will never be able to serve this"

val remove : t -> unit

Removes the request from the list of things to wake up

OCaml

Innovation. Community. Security.