14.4.123  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 ;
    max_len : Int;
    from_list : List(Element ) -> Vector;
    tabulate : (Int , (Int -> Element)) -> Vector;
    length : Vector -> Int;
    cat : List(Vector ) -> Vector;
    get : (Vector , Int) -> Element;
    set : (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_left : ((Int , Element , X) -> X) -> X -> Vector -> X;
    keyed_fold_right : ((Int , Element , X) -> X) -> X -> Vector -> X;
    fold_left : ((Element , X) -> X) -> X -> Vector -> X;
    fold_right : ((Element , X) -> X) -> X -> Vector -> X;
    findi : ((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;
    collate : ((Element , Element) -> Order)
              -> (Vector , Vector) -> Order;
};