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 -> intReturns the length of the set, i.e. the number of characters in the set.
val count : t -> intReturns the number of newlines in the set.
val of_rope : Zed_rope.t -> tof_rope rope returns the set of newline positions in rope.
val empty : tThe empty set.
val width : ?tolerant:bool -> t -> int -> int -> (int, int) Result.resultReturns the width of the given string.
val force_width : t -> int -> int -> intReturns the width of the given string. If error encounted, returns the width of the legit part
val line_index : t -> int -> intline_index set ofs returns the line number of the line containing ofs.
val line_start : t -> int -> intline_start set idx returns the offset of the beginning of the idxth line of set .
val line_stop : t -> int -> intline_stop set idx returns the offset of the end of the idxth line of set .
val line_length : t -> int -> intline_length set idx returns the length of the idxth line of set .
remove set offet length removes length characters at offset in set.
replace set offset length repl replaces the subset at offset offset and length length by repl in set.
val get_idx_by_width : t -> int -> int -> intget_idx_by_width set row column_width return the offset of the char at [row, column_width].