The standard library Typelocked_Rw_Vector api defines access to mutable vectors specialized to hold a particular element type such as Char.
The Typelocked_Rw_Vector api is implemented by the rw_vector_of_chars, rw_vector_of_one_byte_unts and rw_vector_of_eight_byte_floats packages.
Additional implementations of the Typelocked_Rw_Vector api may be generated using typelocked_rw_vector_g from src/lib/src/typelocked-rw-vector-g.pkg.
The Typelocked_Rw_Vector api source code is in src/lib/std/src/typelocked-rw-vector.api.
See also: Typelocked_Vector.
See also: Typelocked_Vector_Rw_Slice.
See also: Typelocked Vectors tutorial.
The above information is manually maintained and may contain errors.
api { eqtype Rw_Vector ;
Element ;
Vector ;
max_len : Int;
make_rw_vector : (Int , Element) -> Rw_Vector;
from_list : List(Element ) -> Rw_Vector;
tabulate : (Int , (Int -> Element)) -> Rw_Vector;
length : Rw_Vector -> Int;
get : (Rw_Vector , Int) -> Element;
_[] : (Rw_Vector , Int) -> Element;
set : (Rw_Vector , Int , Element) -> Void;
_[]:= : (Rw_Vector , Int , Element) -> Void;
to_vector : Rw_Vector -> Vector;
copy : {di:Int, from:Rw_Vector, to:Rw_Vector} -> Void;
copy_vec : {di:Int, from:Vector, to:Rw_Vector} -> Void;
keyed_apply : ((Int , Element) -> Void) -> Rw_Vector -> Void;
apply : (Element -> Void) -> Rw_Vector -> Void;
modifyi : ((Int , Element) -> Element) -> Rw_Vector -> Void;
modify : (Element -> Element) -> Rw_Vector -> Void;
keyed_fold_left : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
keyed_fold_right : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
fold_left : ((Element , X) -> X) -> X -> Rw_Vector -> X;
fold_right : ((Element , X) -> X) -> X -> Rw_Vector -> X;
findi : ((Int , Element) -> Bool)
-> Rw_Vector -> Null_Or(((Int , Element)) );
find : (Element -> Bool)
-> Rw_Vector -> Null_Or(Element );
exists : (Element -> Bool) -> Rw_Vector -> Bool;
all : (Element -> Bool) -> Rw_Vector -> Bool;
collate : ((Element , Element) -> Order)
-> (Rw_Vector , Rw_Vector) -> Order;
};