Module Theory.RequestSource

Sourcetype 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;
    }
Sourcetype t = {
  1. id : int;
  2. request : request;
}
Sourcetype action =
  1. | Now of Doc.t
  2. | Postpone
  3. | Cancel
Sourceval 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"

Sourceval remove : t -> unit

Removes the request from the list of things to wake up