package inquire
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=0b88d89e24d4cbc0560a7c8d8ec51388990e1b27f24685029997afa52a7c720f
sha512=8b62860a8d15e41528a404a6f1b9968c3d79755607b5ea319af2e3e45516e672a785361d278279910928db4054e1800e87bcee0210ff3eabfb330713b368c827
doc/inquire.zed/Zed_lines/index.html
Module Zed_linesSource
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.
Type of sets of line positions.
of_rope rope returns the set of newline positions in rope.
Returns the width of the given string.
Returns the width of the given string. If error encounted, returns the width of the legit part
line_index set ofs returns the line number of the line containing ofs.
line_start set idx returns the offset of the beginning of the idxth line of set .
line_stop set idx returns the offset of the end of the idxth line of set .
line_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.