package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Doc.CompletionSource

Sourcetype t = private
  1. | Yes of Lang.Range.t
    (*

    Location of the last token in the document

    *)
  2. | Stopped of Lang.Range.t
    (*

    Location of the last valid token before stopping

    *)
  3. | WorkspaceUpdated of Lang.Range.t
    (*

    The Workspace Environment was updated when document was processed up to the range. Document may need full re-check from the beginning.

    *)
  4. | Failed of Lang.Range.t
    (*

    Critical failure, like an anomaly

    *)
Sourceval is_completed : t -> bool