package inquire
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0b88d89e24d4cbc0560a7c8d8ec51388990e1b27f24685029997afa52a7c720f
sha512=8b62860a8d15e41528a404a6f1b9968c3d79755607b5ea319af2e3e45516e672a785361d278279910928db4054e1800e87bcee0210ff3eabfb330713b368c827
doc/inquire.zed/Zed_rope/Zip/index.html
Module Zed_rope.Zip
Source
Type of zippers. A zipper allow to naviguate in a rope in a convenient and efficient manner. Note that a zipper points to a position between two glyphs, not to a glyph, so in a rope of length len
there is len + 1
positions.
make_f rope pos
creates a new zipper pointing to positon pos
of rope
.
make_b rope pos
creates a new zipper pointing to positon length rope - pos
of rope
.
next zipper
returns the glyph at the right of the zipper and a zipper to the next position. It raises Out_of_bounds
if the zipper points to the end of the rope.
prev zipper
returns the glyph at the left of the zipper and a zipper to the previous position. It raises Out_of_bounds
if the zipper points to the beginning of the rope.
move n zip
moves the zipper by n
glyphs. If n
is negative it is moved to the left and if it is positive it is moved to the right. It raises Out_of_bounds
if the result is outside the bounds of the rope.
at_bos zipper
returns true
if zipper
points to the beginning of the rope.
find_f f zip
search forward for a glyph to satisfy f
. It returns a zipper pointing to the left of the first glyph to satisfy f
, or a zipper pointing to the end of the rope if no such glyph exists.
find_b f zip
search backward for a glyph to satisfy f
. It returns a zipper pointing to the right of the first glyph to satisfy f
, or a zipper pointing to the beginning of the rope if no such glyph exists.
sub zipper len
returns the sub-rope of length len
pointed by zipper
.