package coq-lsp

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

Module Point.ModeSource

Sourcetype t =
  1. | LineColumn
    (*

    Points are standard LSP objects with line character field; this is the default

    *)
  2. | Offset
    (*

    Points are objects with only the offset

    *)
  3. | Full
    (*

    Points include / require line, character, and offset field

    *)

Internally, Flèche always works with a point type which includes both line/column and offset information. However, this is beyond the LSP standard, so clients can configure the input / output behavior here

Sourceval set : t -> unit

Set the mode for serialization.