Index of values

append c r returns a new vect with the c element at the end in amortized O(1) time.

append c r returns a new vect with the c element at the end in amortized O(1) time.

append_char c r returns a new rope with the c character at the end in amortized O(1) time.

balance r returns a balanced copy of the r rope.

balance r returns a balanced copy of the r vect.

balance r returns a balanced copy of the r vect.

concat r u concatenates the r and u ropes.

concat r u concatenates the r and u vects.

concat r u concatenates the r and u vects.

destructive_set n e v sets the element of index n in the v vect to e.

The empty rope.

The empty vect.

The empty vect.

filter f v returns a vect with the elements x from v such that f x returns true.

filter f v returns a vect with the elements x from v such that f x returns true.

Rope.fold f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Rope.get n r and N = length r.

fold_left f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Vect.get n r and N = length r.

fold_left f a r computes f (... (f (f a r0) r1)...) rN-1 where rn = Vect.get n r and N = length r.

fold_right f r a computes f (r0 ... (f rN-2 (f rN-1 a)) ...)) where rn = Vect.get n r and N = length r.

fold_right f r a computes f (r0 ... (f rN-2 (f rN-1 a)) ...)) where rn = Vect.get n r and N = length r.

get n r returns the (n+1)th character from the rope r; i.e.

get n r returns the (n+1)th element from the vect r; i.e.

get n r returns the (n+1)th element from the vect r; i.e.

Returns the height (depth) of the rope.

Returns the height (depth) of the vect.

Returns the height (depth) of the vect.

id_map f v returns a vect isomorphic to v where each element of index i equals f (get v i).

id_map f v returns a vect isomorphic to v where each element of index i equals f (get v i).

insert n r u returns a copy of the u rope where r has been inserted between the characters with index n and n + 1 in the original string.

insert n r u returns a copy of the u vect where r has been inserted between the elements with index n and n + 1 in the original vect.

insert n r u returns a copy of the u vect where r has been inserted between the elements with index n and n + 1 in the original vect.

Returns whether the rope is empty or not.

Returns whether the vect is empty or not.

Returns whether the vect is empty or not.

iter f r applies f to all the characters in the r rope, in order.

iter f r applies f to all the elements in the r vect, in order.

iter f r applies f to all the elements in the r vect, in order.

Operates like iter, but also passes the index of the character to the given function.

Operates like iter, but also passes the index of the character to the given function.

Operates like iter, but also passes the index of the character to the given function.

Returns the length of the rope (O(1)).

Returns the length of the vect (O(1)).

Returns the length of the vect (O(1)).

make i c returns a rope of length i consisting of c chars; it is similar to String.make

make i c returns a vect of length i whose elements are all equal to c; it is similar to Array.make

make i c returns a vect of length i whose elements are all equal to c; it is similar to Array.make

map f v returns a vect isomorphic to v where each element of index i equals f (get v i).

map f v returns a vect isomorphic to v where each element of index i equals f (get v i).

Maximum length of the rope.

Maximum length of the vect.

Maximum length of the vect.

of_array s returns a vect corresponding to the array s.

of_array s returns a vect corresponding to the container s.

of_string s returns a rope corresponding to the string s.

prepend c r returns a new vect with the c character at the beginning in amortized O(1) time.

prepend c r returns a new vect with the c character at the beginning in amortized O(1) time.

prepend_char c r returns a new rope with the c character at the beginning in amortized O(1) time.

rangeiter f m n r applies f to all the characters whose indices k satisfy m <= k < m + n.

rangeiter f m n r applies f to all the elements whose indices k satisfy m <= k < m + n.

rangeiter f m n r applies f to all the elements whose indices k satisfy m <= k < m + n.

remove m n r returns the rope resulting from deleting the characters with indexes ranging from m to m + n - 1 (included) from the original rope r.

remove m n r returns the vect resulting from deleting the elements with indexes ranging from m to m + n - 1 (included) from the original vect r.

remove m n r returns the vect resulting from deleting the elements with indexes ranging from m to m + n - 1 (included) from the original vect r.

set n c r returns a copy of the r rope where the (n+1)th character (see also get) has been set to c.

set n c r returns a copy of the r vect where the (n+1)th element (see also get) has been set to c.

set n c r returns a copy of the r vect where the (n+1)th element (see also get) has been set to c.

Returns a vect of length 1 holding only the given element.

Returns a Vect of length 1 holding only the given element.

sub m n r returns a sub-rope of r containing all characters whose indexes range from m to m + n - 1 (included).

sub m n r returns a sub-vect of r containing all the elements whose indexes range from m to m + n - 1 (included).

sub m n r returns a sub-vect of r containing all the elements whose indexes range from m to m + n - 1 (included).

to_array r returns an array corresponding to the vect r.

to_container r returns a container corresponding to the vect r.

Returns a list with the elements contained in the vect.

Returns a list with the elements contained in the vect.

to_string r returns the string corresponding to the rope r.