package inquire
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=0b88d89e24d4cbc0560a7c8d8ec51388990e1b27f24685029997afa52a7c720f
sha512=8b62860a8d15e41528a404a6f1b9968c3d79755607b5ea319af2e3e45516e672a785361d278279910928db4054e1800e87bcee0210ff3eabfb330713b368c827
doc/inquire.zed/Zed_lines/index.html
Module Zed_lines
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].