The standard library Expanding_Rw_Vector api defines access to vectors which spontaneously expand as needed to contain requested slots.
The Expanding_Rw_Vector api is implemented by the expanding_rw_vector package.
Additional implementations of the Expanding_Rw_Vector api may be generated using expanding_rw_vector_g from src/lib/src/expanding-rw-vector-g.pkg.
The Expanding_Rw_Vector api source code is in src/lib/src/expanding-rw-vector.api.
The above information is manually maintained and may contain errors.
api {
Rw_Vector X;
rw_vector : (Int , X) -> Rw_Vector(X );
copy_rw_subvector : (Rw_Vector(X ) , Int , Int) -> Rw_Vector(X );
from_list : (List(X ) , X) -> Rw_Vector(X );
from_fn : (Int , (Int -> X) , X) -> Rw_Vector(X );
default : Rw_Vector(X ) -> X;
get : (Rw_Vector(X ) , Int) -> X;
set : (Rw_Vector(X ) , Int , X) -> Void;
bound : Rw_Vector(X ) -> Int;
truncate : (Rw_Vector(X ) , Int) -> Void;};