PreviousUpNext

14.4.123  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;
    Vector;
    Rw_Vector;
    Slice;
    Vector_Slice;
    length : Slice -> Int;
    get : (Slice , Int) -> Element;
    set : (Slice , Int , Element) -> Void;
    _[] : (Slice , Int) -> Element;
    _[]:= : (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;
    burst_slice : Slice -> (Rw_Vector , Int , Int);
    to_vector : Slice -> Vector;
    copy : {at:Int, from:Slice, into:Rw_Vector} -> Void;
    copy_vector : {at:Int, from:Vector_Slice, into: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;
    map_in_place : (Element -> Element) -> Slice -> Void;
    keyed_map_in_place : ((Int , Element) -> Element) -> Slice -> Void;
    keyed_fold_forward : ((Int , Element , X) -> X) -> X -> Slice -> X;
    keyed_fold_backward : ((Int , Element , X) -> X) -> X -> Slice -> X;
    fold_forward : ((Element , X) -> X) -> X -> Slice -> X;
    fold_backward : ((Element , X) -> X) -> X -> Slice -> X;
    keyed_find : ((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;
    compare_sequences : ((Element , Element) -> Order) -> (Slice , Slice) -> Order;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext