Convert a list to a vector.

Create an empty vector.

Return the element at position index in vector v, or Nothingstd/core/types/Nothing: forall<a> maybe<a> if out of bounds.

Invoke a function f for each element in a vector v.

Invoke a function f for each element in a vector v.

Invoke a function f for each element in a vector v. If f returns Juststd/core/types/Just: forall<a> (value : a) -> maybe<a>, the iteration is stopped early and the result is returned.

Return the length of a vector.

Convert a vector to a list.

Apply a function f to each element in a vector v.

Create a new vector of length n with initial elements defaultstd/core/exn/default: forall<a> (t : error<a>, def : a) -> a .

Create a new vector of length n with initial elements given by function f which can have a control effect.

Create a new vector of length n with initial elements given by total function f. (can be more efficient than vector-initstd/core/vector/vector-init: forall<a,e> (n : int, f : (int) -> e a) -> e vector<a>).

Convert a vector to a list with an optional tail.