14.4.127  Typelocked_Vector

The standard library Typelocked_Vector api defines access to vectors specialized to hold a particular element type such as Char.

The Typelocked_Vector api is implemented by the vector_of_chars, vector_of_one_byte_unts and vector_of_eight_byte_floats packages.

The Typelocked_Vector api source code is in src/lib/std/src/typelocked-vector.api.

See also: Typelocked_Rw_Vector.

See also: Typelocked_Vector_Slice.

See also: Typelocked Vectors tutorial.

The above information is manually maintained and may contain errors.

api {
    Vector;
    Element;
    maximum_vector_length : Int;
    from_list : List(Element ) -> Vector;
    from_fn : (Int , (Int -> Element)) -> Vector;
    length : Vector -> Int;
    cat : List(Vector ) -> Vector;
    get : (Vector , Int) -> Element;
    _[] : (Vector , Int) -> Element;
    set : (Vector , Int , Element) -> Vector;
    _[]:= : (Vector , Int , Element) -> Vector;
    keyed_apply : ((Int , Element) -> Void) -> Vector -> Void;
    apply : (Element -> Void) -> Vector -> Void;
    keyed_map : ((Int , Element) -> Element) -> Vector -> Vector;
    map : (Element -> Element) -> Vector -> Vector;
    keyed_fold_forward : ((Int , Element , X) -> X) -> X -> Vector -> X;
    keyed_fold_backward : ((Int , Element , X) -> X) -> X -> Vector -> X;
    fold_forward : ((Element , X) -> X) -> X -> Vector -> X;
    fold_backward : ((Element , X) -> X) -> X -> Vector -> X;
    keyed_find : ((Int , Element) -> Bool) -> Vector -> Null_Or(((Int , Element)) );
    find : (Element -> Bool) -> Vector -> Null_Or(Element );
    exists : (Element -> Bool) -> Vector -> Bool;
    all : (Element -> Bool) -> Vector -> Bool;
    compare_sequences : ((Element , Element) -> Order) -> (Vector , Vector) -> Order;};