package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
type request =
  1. | FullDoc of {
    1. uri : Lang.LUri.File.t;
    }
  2. | PosInDoc of {
    1. uri : Lang.LUri.File.t;
    2. point : int * int;
    3. version : int option;
    4. postpone : bool;
    }
type t = {
  1. id : int;
  2. 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