PreviousUpNext

14.4.118  Typelocked_Expanding_Rw_Vector

The standard library Typelocked_Expanding_Rw_Vector api defines access to mutable vectors which expand dynamically as needed.

Implementations of the Typelocked_Expanding_Rw_Vector api may be generated via expanding_rw_vector_g from src/lib/src/expanding-rw-vector-g.pkg.

The Typelocked_Expanding_Rw_Vector api source code is in src/lib/src/typelocked-expanding-rw-vector.api.

See also: Expanding_Rw_Vector.

The above information is manually maintained and may contain errors.

api {
    Element;
    Rw_Vector;
    rw_vector : (Int , Element) -> Rw_Vector;
    copy_rw_subvector : (Rw_Vector , Int , Int) -> Rw_Vector;
    from_list : (List(Element ) , Element) -> Rw_Vector;
    from_fn : (Int , (Int -> Element) , Element) -> Rw_Vector;
    default : Rw_Vector -> Element;
    get : (Rw_Vector , Int) -> Element;
    set : (Rw_Vector , Int , Element) -> Void;
    bound : Rw_Vector -> Int;
    truncate : (Rw_Vector , Int) -> Void;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext