Module CCPersistentArray
Persistent Arrays
From the paper by Jean-Christophe Filliâtre, "A persistent Union-Find data structure", see the ps version
- since
- 0.10
val make : int -> 'a -> 'a t
make n x
returns a persistent array of length n, withx
. All the elements of this new array are initially physically equal to x (in the sense of the == predicate). Consequently, if x is mutable, it is shared among all elements of the array, and modifying x through one of the array entries will modify all other entries at the same time.- raises Invalid_argument
if
n < 0
orn > Sys.max_array_length
. If the value of x is a floating-point number, then the maximum size is onlySys.max_array_length / 2
.
val init : int -> (int -> 'a) -> 'a t
init n f
returns a persistent array of length n, with elementi
initialized to the result off i
.- raises Invalid_argument
if
n < 0
orn > Sys.max_array_length
. If the value of x is a floating-point number, then the maximum size is onlySys.max_array_length / 2
.
val get : 'a t -> int -> 'a
get a i
returns the element with indexi
from the arraya
.- raises Invalid_argument
"index out of bounds" if
n
is outside the range0
toArray.length a - 1
.
val set : 'a t -> int -> 'a -> 'a t
set a i v
sets the element indexi
from the arraya
tov
.- raises Invalid_argument
"index out of bounds" if
n
is outside the range0
toArray.length a - 1
.
val length : 'a t -> int
Return the length of the persistent array.
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t
Apply the given function to all elements of the array, and return a persistent array initialized by the results of f. In the case of
mapi
, the function is also given the index of the element. It is equivalent tofun f t -> init (fun i -> f (get t i))
.
val iter : ('a -> unit) -> 'a t -> unit
iter f t
applies functionf
to all elements of the persistent array, in order from element0
to elementlength t - 1
.
val iteri : (int -> 'a -> unit) -> 'a t -> unit
iter f t
applies functionf
to all elements of the persistent array, in order from element0
to elementlength t - 1
.
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val fold_right : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Fold on the elements of the array.
val to_array : 'a t -> 'a array
to_array t
returns a mutable copy oft
.
val of_array : 'a array -> 'a t
of_array a
returns an immutable copy ofa
.
val to_list : 'a t -> 'a list
to_list t
returns the list of elements int
.
val of_list : 'a list -> 'a t
of_list l
returns a fresh persistent array containing the elements ofl
.
val of_rev_list : 'a list -> 'a t
of_rev_list l
is the same asof_list (List.rev l)
but more efficient.- since
- 0.13