package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type text_edit = Lsp.Types.Range.t * string

type t

val create : string -> t

val text : t -> string

val position_of_loc : t -> int -> Lsp.Types.Position.t

val loc_of_position : t -> Lsp.Types.Position.t -> int

val end_loc : t -> int

val range_of_loc : t -> Loc.t -> Lsp.Types.Range.t

val word_at_position : t -> Lsp.Types.Position.t -> string option

val apply_text_edit : t -> text_edit -> t * int

Applies a text edit, and returns start location