14.4.126  Typelocked_Vector_Slice

The standard library Typelocked_Vector_Slice api defines access to slices of vectors specialized to hold a particular type, such as Char. (Vector slices allow constant-time, constant-space reference to arbitrary subvectors of an existing vector.)

The Typelocked_Vector_Slice api is implemented by the vector_slice_of_chars, vector_slice_of_one_byte_unts and vector_slice_of_eight_byte_floats packages.

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

See also: Typelocked_Vector.

The above information is manually maintained and may contain errors.

api {
    Element;
    Vector;
    Slice;
    length : Slice -> Int;
    get : (Slice , Int) -> Element;
    make_full_slice : Vector -> Slice;
    make_slice : (Vector , Int , Null_Or(Int )) -> Slice;
    make_subslice : (Slice , Int , Null_Or(Int )) -> Slice;
    burst_slice : Slice -> (Vector , Int , Int);
    to_vector : Slice -> Vector;
    cat : List(Slice ) -> Vector;
    is_empty : Slice -> Bool;
    get_item : Slice -> Null_Or(((Element , Slice)) );
    keyed_apply : ((Int , Element) -> Void) -> Slice -> Void;
    apply : (Element -> Void) -> Slice -> Void;
    keyed_map : ((Int , Element) -> Element) -> Slice -> Vector;
    map : (Element -> Element) -> Slice -> Vector;
    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;};