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 i th 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 i th 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.
|