14.2.43  Rw_Vector

The standard library Rw_Vector api defines access to vanilla mutable vectors.

The Rw_Vector api is implemented by the rw_vector package.

The Rw_Vector api source code is in src/lib/std/src/rw-vector.api.

See also: Typelocked_Rw_Vector API.

See also: Vector API.

See also: Rw_Vector_Slice API.

See also: Expanding_Rw_Vector API.The above information is manually maintained and may contain errors.

api {
    Rw_Vector X;
    Vector X;
    maximum_vector_length : Int;
    make_rw_vector : (Int , X) -> Rw_Vector(X );
    from_list : List(X ) -> Rw_Vector(X );
    from_fn : (Int , (Int -> X)) -> Rw_Vector(X );
    length : Rw_Vector(X ) -> Int;
    get : (Rw_Vector(X ) , Int) -> X;
    _[] : (Rw_Vector(X ) , Int) -> X;
    set : (Rw_Vector(X ) , Int , X) -> Void;
    _[]:= : (Rw_Vector(X ) , Int , X) -> Void;
    to_vector : Rw_Vector(X ) -> Vector(X );
    copy : {at:Int, from:Rw_Vector(X ), into:Rw_Vector(X )} -> Void;
    copy_vector : {at:Int, from:Vector(X ), into:Rw_Vector(X )} -> Void;
    apply : (X -> Void) -> Rw_Vector(X ) -> Void;
    keyed_apply : ((Int , X) -> Void) -> Rw_Vector(X ) -> Void;
    map_in_place : (X -> X) -> Rw_Vector(X ) -> Void;
    keyed_map_in_place : ((Int , X) -> X) -> Rw_Vector(X ) -> Void;
    fold_forward : ((X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    fold_backward : ((X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    keyed_fold_forward : ((Int , X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    keyed_fold_backward : ((Int , X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    find : (X -> Bool) -> Rw_Vector(X ) -> Null_Or(X );
    keyed_find : ((Int , X) -> Bool) -> Rw_Vector(X ) -> Null_Or(((Int , X)) );
    exists : (X -> Bool) -> Rw_Vector(X ) -> Bool;
    all : (X -> Bool) -> Rw_Vector(X ) -> Bool;
    compare_sequences : ((X , X) -> Order) -> (Rw_Vector(X ) , Rw_Vector(X )) -> Order;};