Type of unicode ropes.
Exception raised when trying to access a character which is outside the bounds of a rope.
of_string str creates a rope from a string. The string must be
UTF-8 encoded and is validated. Note that
str must not be
modified after this operation, if you intend to do so you must
copy it before passing it to
Note: for all of the following functions, the leaves must absolutely not be modified.
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 characters, not to a character, so in a
rope of length
len there is
len + 1 positions.
This module is similar of the
Buffer module of the standard
library except that it works with rope.
Type of rope buffers.