A |
| add_buffer [Rope.Buffer] |
add_buffer b1 b2 appends the current contents of buffer b2
at the end of buffer b1.
|
| add_channel [Rope.Buffer] |
add_channel b ic n reads exactly n characters from the input
channel ic and stores them at the end of buffer b.
|
| add_char [Rope.Buffer] |
add_char b c appends the character c at the end of the
buffer b.
|
| add_rope [Rope.Buffer] |
add_rope b r add the rope r to the buffer b.
|
| add_string [Rope.Buffer] |
add_string b s appends the string s at the end of the
buffer b.
|
| add_substring [Rope.Buffer] |
add_substring b s ofs len takes len characters from offset
ofs in string s and appends them at the end of the buffer
b.
|
B |
| balance [Rope] |
balance r return a balanced copy of the rope r.
|
| blit [Rope] |
blit src srcoff dst dstoff len copies len bytes from the rope
src starting at index srcoff, to sequence dst, starting at
index dstoff.
|
C |
| capitalize [Rope] |
|
| capitalize_ascii [Rope] |
Return the argument, with the first character set to uppercase.
|
| clear [Rope.Buffer] |
|
| compare [Rope] |
The comparison function for ropes, with the same specification
as Pervasives.compare.
|
| concat [Rope] |
concat sep rl concatenates the list of ropes rl, inserting
the separator string sep between each.
|
| concat2 [Rope] |
concat2 r1 r2 concatenates the ropes r1 and r2.
|
| contains [Rope] |
contains r c tests if character c appears in the rope r.
|
| contains_from [Rope] |
contains_from r start c tests if character c appears in
the subrope of r starting from start to the end of s.
|
| contents [Rope.Buffer] |
Return a copy of the current contents of the buffer.
|
| create [Rope.Buffer] |
create n returns a fresh buffer, initially empty.
|
D |
| decr [Rope.Iterator] |
decr itr moves to the previous character.
|
E |
| ellipsis [Rope.Rope_toploop] |
String used a ellipsis for truncated ropes.
|
| empty [Rope] |
|
| equal [Rope] |
equal r1 r2 tells whether the two ropes r1 and r2 are
equal.
|
| escaped [Rope] |
Return a copy of the argument, with special characters
represented by escape sequences, following the lexical
conventions of Objective Caml.
|
| eval_string [Rope_top] |
|
G |
| get [Rope.Iterator] |
get itr returns the character of the rope at the current
position.
|
| get [Rope] |
get r i returns the ith char of the rope.
|
| goto [Rope.Iterator] |
goto itr i move to position i.
|
H |
| height [Rope] |
depth r returns the depth of the rope r.
|
I |
| incr [Rope.Iterator] |
incr itr moves to the next character.
|
| index [Rope] |
index r c returns the position of the leftmost occurrence of
character c in rope r.
|
| index_from [Rope] |
Same as Rope.index, but start searching at the character
position given as second argument.
|
| index_from_opt [Rope] |
Same as Rope.index_opt, but start searching at the character
position given as second argument.
|
| index_opt [Rope] |
index r c returns Some i where i is the position of the
leftmost occurrence of character c in rope r and None if c
does not occur in r.
|
| init [Rope] |
init len f returns a rope of length len with entry of index
i filled with f i.
|
| input_line [Rope] |
Read characters from the given input channel, until a newline
character is encountered.
|
| install_printer [Rope_top] |
|
| is_empty [Rope] |
is_empty r tells whether the rope r is empty.
|
| iter [Rope] |
iter f r execute f c for c going through every character
of rope r from left to right.
|
| iteri [Rope] |
iter f r execute f i c for c going through every
character of rope r from left to right and i the index of
c.
|
L |
| length [Rope.Buffer] |
Return the number of characters currently contained in the buffer.
|
| length [Rope] |
length r returns the length of the rope.
|
| lowercase [Rope] |
|
| lowercase_ascii [Rope] |
Return the argument with all uppercase letters translated to
lowercase, including accented letters of the ISO Latin-1 (8859-1)
character set.
|
M |
| make [Rope.Iterator] |
make r i0 returns a new iterator for the rope r.
|
| make [Rope] |
make len c returns a rope of length len filled with c.
|
| map [Rope] |
map f r applies function f in turn to all the characters of
r (in increasing index order) and stores the results in a new
string that is returned.
|
| mapi [Rope] |
Same as map but the function f is passed the index i of the
char.
|
| max_display_length [Rope.Rope_toploop] |
Maximum number of characters displayed.
|
| move [Rope.Iterator] |
mode itr i move the current position by i chars (i may
be negative or null).
|
N |
| nth [Rope.Buffer] |
nth b i returns the ith character if the buffer.
|
O |
| of_char [Rope] |
of_char c returns a rope consisting of the unique character
c.
|
| of_string [Rope] |
of_string s creates a rope from the string s.
|
| of_substring [Rope] |
of_substring s start len create a rope from the substring
s.[start .. start+len-1].
|
| output_rope [Rope] |
output_rope oc r outputs the rope r to the output channel oc.
|
| output_string [Rope] |
|
P |
| peek [Rope.Iterator] |
peek itr i returns the character i of the rope.
|
| pos [Rope.Iterator] |
pos itr returns the current position.
|
| prerr_endline [Rope] |
Print a rope, followed by a newline character on standard error
and flush standard error.
|
| prerr_string [Rope] |
Print a rope on standard error.
|
| print_endline [Rope] |
Print a rope, followed by a newline character, on standard
output and flush standard output.
|
| print_string [Rope] |
Print a rope on standard output.
|
| printer [Rope.Rope_toploop] |
Toploop printer for rope values.
|
R |
| rcontains_from [Rope] |
rcontains_from r stop c tests if character c appears in
the subrope of r starting from the beginning of r to index
stop.
|
| read_line [Rope] |
Flush standard output, then read characters from standard input
until a newline character is encountered.
|
| rebalancing_height [Rope] |
The rope will be rebalanced by some functions it its height is
greater or equal to rebalancing_height.
|
| reset [Rope.Buffer] |
|
| rindex [Rope] |
rindex r c returns the position of the rightmost occurrence
of character c in rope r.
|
| rindex_from [Rope] |
Same as Rope.rindex, but start searching at the character
position given as second argument.
|
| rindex_from_opt [Rope] |
Same as Rope.rindex_opt, but start searching at the character
position given as second argument.
|
| rindex_opt [Rope] |
rindex_opt r c returns Some i where i is the position of the
rightmost occurrence of character c in rope r or None if c
does not occur in r.
|
| rope [Rope.Iterator] |
rope itr returns the rope from which the iterator was
constructed.
|
S |
| search_forward_string [Rope] |
search_forward_string p is a search function that, given a
rope r and a start index i0, will return the position of
p in r or raise Not_found if no occurrence of p in r
exists.
|
| sub [Rope.Buffer] |
sub b off len returns a rope of the current contents of the
buffer b starting at offset off of length len bytes.
|
| sub [Rope] |
sub r i start len returns the sub-rope consisting of
characters from position start to start+len-1 (included) of
the rope r.
|
T |
| to_string [Rope] |
to_string r return a string with the same content as the rope.
|
| trim [Rope] |
Return a copy of the argument, without leading and trailing
whitespace.
|
U |
| uncapitalize [Rope] |
|
| uncapitalize_ascii [Rope] |
Return the argument with the first character set to lowercase.
|
| uppercase [Rope] |
|
| uppercase_ascii [Rope] |
Return the argument with all lowercase letters translated to
uppercase, including accented letters of the ISO Latin-1 (8859-1)
character set.
|