14.4.119  Typelocked_Rw_Vector_Slice

The standard library Typelocked_Rw_Vector_Slice api defines access to slices (subvectors) of mutable vectors specialized to hold a particular value type.

The Typelocked_Rw_Vector_Slice api is implemented by rw_float64_vector_slice from src/lib/std/src/rw-vector-slice-of-eight-byte-floats.pkg, by rw_unt8_vector_slice from src/lib/std/src/rw-vector-slice-of-one-byte-unts.pkg, by rw_vector_slice from src/lib/std/src/rw-vector-slice.pkg, and by rw_char_vector_slice from src/lib/std/src/rw-vector-slice-of-chars.pkg.

The Typelocked_Rw_Vector_Slice api source code is in src/lib/std/src/typelocked-rw-vector-slice.api.

See also: Typelocked_Vector_Slice.

See also: Rw_Vector_Slice.

See also: Vector_Slice.

See also: Rw_Vector.

See also: Typelocked_Rw_Vector.

See also: Typelocked_Vector.

The above information is manually maintained and may contain errors.

api {    Element ;
    Rw_Vector ;
    Slice ;
    Vector ;
    Vector_Slice ;
    length : Slice -> Int;
    get : (Slice , Int) -> Element;
    set : (Slice , Int , Element) -> Void;
    make_full_slice : Rw_Vector -> Slice;
    make_slice : (Rw_Vector , Int , Null_Or(Int )) -> Slice;
    make_subslice : (Slice , Int , Null_Or(Int )) -> Slice;
    base : Slice -> (Rw_Vector , Int , Int);
    to_vector : Slice -> Vector;
    copy : {di:Int,  from:Slice,  to:Rw_Vector} -> Void;
    copy_vec : {di:Int,  from:Vector_Slice,  to:Rw_Vector} -> Void;
    is_empty : Slice -> Bool;
    get_item : Slice -> Null_Or(((Element , Slice)) );
    keyed_apply : ((Int , Element) -> Void) -> Slice -> Void;
    apply : (Element -> Void) -> Slice -> Void;
    modifyi : ((Int , Element) -> Element) -> Slice -> Void;
    modify : (Element -> Element) -> Slice -> Void;
    keyed_fold_left : ((Int , Element , X) -> X) -> X -> Slice -> X;
    keyed_fold_right : ((Int , Element , X) -> X) -> X -> Slice -> X;
    fold_left : ((Element , X) -> X) -> X -> Slice -> X;
    fold_right : ((Element , X) -> X) -> X -> Slice -> X;
    findi : ((Int , Element) -> Bool)
            -> Slice -> Null_Or(((Int , Element)) );
    find : (Element -> Bool) -> Slice -> Null_Or(Element );
    exists : (Element -> Bool) -> Slice -> Bool;
    all : (Element -> Bool) -> Slice -> Bool;
    collate : ((Element , Element) -> Order)
              -> (Slice , Slice) -> Order;
};