Parameter Root.1-V

push_back t x adds a new element x at the end of the varray t. O(k) amortized.

pop_back t removes and returns the rightmost element of the varray t. O(k) amortized.

push_front t x inserts a new element x at position 0, on the left side of the varray t. Every previous element of t is shifted one to the right. O(k) amortized.

pop_front t removes and returns the leftmost element at position 0 of the varray t. Every element of t is shifted one to the right. O(k) amortized.

insert_at t i x inserts the element x at position i in the varray t. Every element on the right of i is shifted by one. O(k² × ^k√N)

• insert_at t 0 x is the same as push_front t x
• insert_at t (length t) x is the same as push_back t x

raises Invalid_arg

if i is negative or larger than length t.

pop_at t i removes and returns the element t.(i). Every element on the right of i is shifted by one to the left. O(k² × ^k√N)

• pop_at t 0 is the same as pop_front t
• pop_at t (length t - 1) is the same as pop_back t

raises Invalid_arg

if i is negative or larger than length t - 1.

delete_at t i removes the element t.(i). Every element on the right of i is shifted by one to the left. O(k² × ^k√N)

raises Invalid_arg

if i is negative or larger than length t - 1.

protect t fn marks t as protected during the execution of fn (). All operations that would update the length of t by pushing or poping elements will raise a Failure indicating that the traversal is unsafe.

get t i returns the ith element of the varray. Indexing starts from 0 upto length t - 1. O(k)

raises Invalid_argument

if i is negative or larger than length t - 1.

set t i v updates the value of the ith element to x. O(k)

raises Invalid_argument

if i is negative or larger than length t - 1.

length t returns the number of elements stored in t. O(1)

make n x returns a new varray of length n, where all the elements are initialized to the value x.

raises Invalid_argument

if n is negative.

init n f returns a new array of length n, where the element at position i is initialized to f i.

raises Invalid_argument

if n is negative.

empty () is a new varray of length 0.

is_empty t returns true when the varray t has length 0.

append a b returns a new varray by concatening the elements of a with those of b.

concat ts returns a new varray whose elements are in the same order as the values from the list of varrays ts.

sub t i n returns a new varray of length n, containing the elements from the range i, i+n-1 of the varray t.

raises Invalid_argument

if the range i, i + n - 1 is invalid for t.

copy t returns a new varray containing the same sequence of elements as t.

fill t pos len x modifies the varray t in place, by setting the value x in the range pos, pos + len - 1.

raises Invalid_argument

if the range pos, pos + len -1 is invalid.

blit src src_pos dst dst_pos len updates the varray dst in place, by copying the range src_pos, src_pos + len - 1 of values from src into the destination range dst_pos, dst_pos + len - 1 of dst.

raises Invalid_argument

if the ranges are invalid for either varray.

iter f t calls the function f on all elements of t, from left to right.

iteri f t calls f i t.(i) on all the indexes i of t, from left to right.

map f t returns a new varray, whose elements are f x for each x from the varray t.

mapi f t returns a new varray, whose elements are f i t.(i) for each index i of the varray t.

fold_left f z t computes f (... (f (f z t.(0)) t.(1)) ...) t.(length t - 1).

fold_right f t z computes f t.(0) (f t.(1) (... (f z t.(length t - 1)))).

fold_left_map is a combination of fold_left and map, that threads an accumulator.

iter2 f xs ys calls f xs.(i) ys.(i) for each index i from left to right.

raises Invalid_argument

if the two varrays have different lengths.

map2 f xs ys returns a new varray whose ith element is f xs.(i) ys.(i).

raises Invalid_argument

if the two varrays have different lengths.

for_all f t holds when f is satisfied by all the elements of t.

for_all2 f xs ys holds when f xs.(i) ys.(i) is satisfied by all indexes i.

raises Invalid_argument

if the two varrays have different lengths.

exists f t holds when f is satisfied by one of the elements of t.

exists2 f xs ys holds when an index i exists such that f xs.(i) ys.(i) is satisfied.

raises Invalid_argument

if the two varrays have different lengths.

find_opt f t returns the leftmost element of t that satisfies f.

find_map f t returns the first result of f of the form Some v.

mem x t is true when x is equal ( = ) to an element of the varray t.

Same as mem, but memq x t uses physical equality ( == ) for comparison.

sort cmp t updates t inplace by sorting the elements in increasing order according to cmp.

Same as sort, but equal elements are kept in the same relative order.

Same as sort.

The array type used behind the scene as a backend by the varray.

of_array arr returns a new varray containing all the elements of the array arr.

to_array t returns a new array containing all the elements of the varray t.

of_list xs returns a new varray containing all the elements of the list xs.

to_list t returns a list of all the elements of t.