package containers

  1. Overview
  2. Docs
package containers
Legend:
Library
Module
Module type
Parameter
Class
Class type

Growable, mutable vector

type ro = [
  1. | `RO
]
type rw = [
  1. | `RW
]

Mutability is rw (read-write) or ro (read-only)

type ('a, 'mut) t

The type of a vector of elements of type 'a, with a mutability flat 'mut

type 'a vector = ('a, rw) t

Type synonym: a 'a vector is mutable.

type 'a ro_vector = ('a, ro) t

Alias for immutable vectors.

  • since 0.15
type 'a sequence = ('a -> unit) -> unit
type 'a klist = unit -> [ `Nil | `Cons of 'a * 'a klist ]
type 'a gen = unit -> 'a option
type 'a equal = 'a -> 'a -> bool
type 'a ord = 'a -> 'a -> int
type 'a printer = Buffer.t -> 'a -> unit
type 'a formatter = Format.formatter -> 'a -> unit
val freeze : ('a, _) t -> ('a, ro) t

Make an immutable vector (no copy! Don't use the old version)

val freeze_copy : ('a, _) t -> ('a, ro) t

Copy the vector into an immutable version

val create : unit -> ('a, rw) t

Create a new, empty vector

val create_with : ?capacity:int -> 'a -> ('a, rw) t

Create a new vector, using the given value as a filler.

  • parameter capacity

    the size of the underlying array caution: the value will likely not be GC'd before the vector is.

val return : 'a -> ('a, 'mut) t

Singleton vector

  • since 0.14
val make : int -> 'a -> ('a, 'mut) t

make n x makes a vector of size n, filled with x

val init : int -> (int -> 'a) -> ('a, 'mut) t

Init the vector with the given function and size

val clear : ('a, rw) t -> unit

Clear the content of the vector

val ensure_with : init:'a -> ('a, rw) t -> int -> unit

Hint to the vector that it should have at least the given capacity.

  • parameter init

    if capacity v = 0, used as a filler element for the underlying array (see create_with)

  • since 0.14
val ensure : ('a, rw) t -> int -> unit

Hint to the vector that it should have at least the given capacity. Just a hint, will not be enforced if the vector is empty and init is not provided.

val is_empty : ('a, _) t -> bool

Is the vector empty?

val push : ('a, rw) t -> 'a -> unit

Add an element at the end of the vector

val append : ('a, rw) t -> ('a, _) t -> unit

append a b adds all elements of b to a

val append_array : ('a, rw) t -> 'a array -> unit

Same as append, with an array

val append_seq : ('a, rw) t -> 'a sequence -> unit

Append content of sequence

val append_list : ('a, rw) t -> 'a list -> unit

Append content of list

  • since 0.14
val append_gen : ('a, rw) t -> 'a gen -> unit

Append content of generator

  • since 0.20
val equal : 'a equal -> ('a, _) t equal
val compare : 'a ord -> ('a, _) t ord

Total ordering on vectors. Lexicographic comparison.

exception Empty

Raised on empty stack

val pop : ('a, rw) t -> 'a option

Remove last element, or None

val pop_exn : ('a, rw) t -> 'a

Remove last element, or raise a Failure if empty

  • raises Empty

    on an empty vector

val top : ('a, _) t -> 'a option

Top element, if present

  • since 0.6
val top_exn : ('a, _) t -> 'a

Top element, if present

  • raises Empty

    on an empty vector

  • since 0.6
val copy : ('a, _) t -> ('a, 'mut) t

Shallow copy (may give an immutable or mutable vector)

val shrink : ('a, rw) t -> int -> unit

Shrink to the given size (remove elements above this size). Does nothing if the parameter is bigger than the current size.

val member : ?eq:('a -> 'a -> bool) -> 'a -> ('a, _) t -> bool

Is the element a member of the vector?

val sort : ('a -> 'a -> int) -> ('a, _) t -> ('a, 'mut) t

Sort the vector, returning a copy of it that is sorted w.r.t the given ordering. The vector itself is unchanged.

val sort' : ('a -> 'a -> int) -> ('a, rw) t -> unit

Sort the vector in place (modifying it).

val uniq_sort : ('a -> 'a -> int) -> ('a, rw) t -> unit

Sort the array and remove duplicates, in place (e.g. modifying the vector itself)

val iter : ('a -> unit) -> ('a, _) t -> unit

Iterate on the vector's content

val iteri : (int -> 'a -> unit) -> ('a, _) t -> unit

Iterate on the vector, with indexes

val map : ('a -> 'b) -> ('a, _) t -> ('b, 'mut) t

Map elements of the vector, yielding a new vector

val filter : ('a -> bool) -> ('a, _) t -> ('a, 'mut) t

Filter elements from the vector. filter p v leaves v unchanged but returns a new vector that only contains elements of v satisfying p.

val filter' : ('a -> bool) -> ('a, rw) t -> unit

Filter elements in place.

val fold : ('b -> 'a -> 'b) -> 'b -> ('a, _) t -> 'b

Fold on elements of the vector

val exists : ('a -> bool) -> ('a, _) t -> bool

Existential test (is there an element that satisfies the predicate?)

val for_all : ('a -> bool) -> ('a, _) t -> bool

Universal test (do all the elements satisfy the predicate?)

val find : ('a -> bool) -> ('a, _) t -> 'a option

Find an element that satisfies the predicate

val find_exn : ('a -> bool) -> ('a, _) t -> 'a

Find an element that satisfies the predicate, or

  • raises Not_found

    if no element does

val find_map : ('a -> 'b option) -> ('a, _) t -> 'b option

find_map f v returns the first Some y = f x for x in v, or None if f x = None for each x in v

  • since 0.14
val filter_map : ('a -> 'b option) -> ('a, _) t -> ('b, 'mut) t

Map elements with a function, possibly filtering some of them out

val flat_map : ('a -> ('b, _) t) -> ('a, _) t -> ('b, 'mut) t

Map each element to a sub-vector

val flat_map_seq : ('a -> 'b sequence) -> ('a, _) t -> ('b, 'mut) t

Like flat_map, but using sequence for intermediate collections.

  • since 0.14
val flat_map_list : ('a -> 'b list) -> ('a, _) t -> ('b, 'mut) t

Like flat_map, but using List for intermediate collections.

  • since 0.14
val flat_map' : ('a -> 'b sequence) -> ('a, _) t -> ('b, 'mut) t

Alias to flat_map_seq

val (>>=) : ('a, _) t -> ('a -> ('b, _) t) -> ('b, 'mut) t

Infix version of flat_map

val (>|=) : ('a, _) t -> ('a -> 'b) -> ('b, 'mut) t

Infix version of map

val get : ('a, _) t -> int -> 'a

Access element by its index, or

  • raises Invalid_argument

    if bad index

val set : ('a, rw) t -> int -> 'a -> unit

Modify element at given index, or

  • raises Invalid_argument

    if bad index

val remove : ('a, rw) t -> int -> unit

Remove the n-th element of the vector. Does NOT preserve the order of the elements (might swap with the last element)

val rev : ('a, _) t -> ('a, 'mut) t

Reverse the vector

val rev_in_place : ('a, rw) t -> unit

Reverse the vector in place

  • since 0.14
val rev' : ('a, rw) t -> unit
val rev_iter : ('a -> unit) -> ('a, _) t -> unit

rev_iter f a is the same as iter f (rev a), only more efficient.

  • since 0.14
val size : ('a, _) t -> int

Number of elements in vector

val length : (_, _) t -> int

Synonym for size

val capacity : (_, _) t -> int

Number of elements the vector can contain without being resized

val unsafe_get_array : ('a, rw) t -> 'a array

Access the underlying shared array (do not modify!). unsafe_get_array v is longer than size v, but elements at higher index than size v are undefined (do not access!).

val (--) : int -> int -> (int, 'mut) t

Range of integers, either ascending or descending (both included, therefore the result is never empty). Example: 1 -- 10 returns the vector [1;2;3;4;5;6;7;8;9;10]

val (--^) : int -> int -> (int, 'mut) t

Range of integers, either ascending or descending, but excluding right., Example: 1 --^ 10 returns the vector [1;2;3;4;5;6;7;8;9]

  • since 0.17
val of_array : 'a array -> ('a, 'mut) t
val of_list : 'a list -> ('a, 'mut) t
val to_array : ('a, _) t -> 'a array
val to_list : ('a, _) t -> 'a list
val of_seq : ?init:('a, rw) t -> 'a sequence -> ('a, rw) t
val to_seq : ('a, _) t -> 'a sequence
val to_seq_rev : ('a, _) t -> 'a sequence

to_seq_rev v returns the sequence of elements of v in reverse order, that is, the last elements of v are iterated on first.

  • since 0.14
val slice : ('a, rw) t -> 'a array * int * int

Vector as an array slice. By doing it we expose the internal array, so be careful!

val slice_seq : ('a, _) t -> int -> int -> 'a sequence

slice_seq v start len is the sequence of elements from v.(start) to v.(start+len-1).

val of_klist : ?init:('a, rw) t -> 'a klist -> ('a, rw) t
val to_klist : ('a, _) t -> 'a klist
val of_gen : ?init:('a, rw) t -> 'a gen -> ('a, rw) t
val to_gen : ('a, _) t -> 'a gen
val pp : ?start:string -> ?stop:string -> ?sep:string -> 'a printer -> ('a, _) t printer
val print : ?start:string -> ?stop:string -> ?sep:string -> 'a formatter -> ('a, _) t formatter
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct