14.4.122  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;
    base : 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_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;
};