package zed
Library
Module
Module type
Parameter
Class
Class type
Sets of line positions.
This module implement sets of line positions. They allow to efficiently find the beginning of a line and to convert offset to line and column number.
Exception raised when trying to access a position outside the bounds of a set.
val length : t -> int
Returns the length of the set, i.e. the number of characters in the set.
val count : t -> int
Returns the number of newlines in the set.
val of_rope : Zed_rope.t -> t
of_rope rope
returns the set of newline positions in rope
.
val empty : t
The empty set.
val line_index : t -> int -> int
line_index set ofs
returns the line number of the line containing ofs
.
val line_start : t -> int -> int
line_start set idx
returns the offset of the beginning of the idx
th line of set
.
val line_stop : t -> int -> int
line_stop set idx
returns the offset of the end of the idx
th line of set
.
val line_length : t -> int -> int
line_length set idx
returns the length of the idx
th line of set
.
remove set offet length
removes length
characters at offset
in set.