package inquire
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0b88d89e24d4cbc0560a7c8d8ec51388990e1b27f24685029997afa52a7c720f
sha512=8b62860a8d15e41528a404a6f1b9968c3d79755607b5ea319af2e3e45516e672a785361d278279910928db4054e1800e87bcee0210ff3eabfb330713b368c827
doc/inquire.zed/Zed_lines/index.html
Module Zed_lines
Source
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 idx
th line of set
.
line_stop set idx
returns the offset of the end of the idx
th line of set
.
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.
replace set offset length repl
replaces the subset at offset offset
and length length
by repl
in set
.