14.2.45  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;
    max_len : Int;
    make_rw_vector : (Int , X) -> Rw_Vector(X );
    from_list : List(X ) -> Rw_Vector(X );
    tabulate : (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 : {di:Int,  from:Rw_Vector(X ),  to:Rw_Vector(X )}
           -> Void;
    copy_vec : {di:Int,  from:Vector(X ),  to:Rw_Vector(X )} -> Void;
    keyed_apply : ((Int , X) -> Void) -> Rw_Vector(X ) -> Void;
    apply : (X -> Void) -> Rw_Vector(X ) -> Void;
    modifyi : ((Int , X) -> X) -> Rw_Vector(X ) -> Void;
    modify : (X -> X) -> Rw_Vector(X ) -> Void;
    keyed_fold_left : ((Int , X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    keyed_fold_right : ((Int , X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    fold_left : ((X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    fold_right : ((X , Y) -> Y) -> Y -> Rw_Vector(X ) -> Y;
    findi : ((Int , X) -> Bool)
            -> Rw_Vector(X ) -> Null_Or(((Int , X)) );
    find : (X -> Bool) -> Rw_Vector(X ) -> Null_Or(X );
    exists : (X -> Bool) -> Rw_Vector(X ) -> Bool;
    all : (X -> Bool) -> Rw_Vector(X ) -> Bool;
    collate : ((X , X) -> Order)
              -> (Rw_Vector(X ) , Rw_Vector(X )) -> Order;
};