15.3.550  src/lib/std/src/vector-slice.api

## vector-slice.api

# Compiled by:
#     src/lib/std/src/standard-core.sublib



api Vector_Slice {

    Slice(X);

    length:  Slice(X) -> Int;
    get:     (Slice(X), Int) -> X;

    make_full_slice:  vector::Vector(X)                       -> Slice(X);
    make_slice:      (vector::Vector(X), Int, Null_Or( Int )) -> Slice(X);
    make_subslice:   (Slice(X), Int, Null_Or( Int ))          -> Slice(X);

    base:         Slice(X)   -> (vector::Vector(X), Int, Int);
    to_vector:    Slice(X)   -> vector::Vector(X);
    cat:    List( Slice(X) ) -> vector::Vector(X);

    is_empty:  Slice(X) -> Bool;
    get_item:  Slice(X) ->  Null_Or((X, Slice(X)));

    keyed_apply:  ((Int, X) -> Void) -> Slice(X) -> Void;
    apply:   (X -> Void) -> Slice(X) -> Void;
    keyed_map:  ((Int, X) -> Y) -> Slice(X) -> vector::Vector(Y);
    map:   (X -> Y) -> Slice(X) -> vector::Vector(Y);

    keyed_fold_left:  ((Int, X, Y) -> Y) -> Y -> Slice(X) -> Y;
    keyed_fold_right:  ((Int, X, Y) -> Y) -> Y -> Slice(X) -> Y;
    fold_left:   ((X, Y) -> Y) -> Y -> Slice(X) -> Y;
    fold_right:   ((X, Y) -> Y) -> Y -> Slice(X) -> Y;

    findi:   ((Int, X) -> Bool) -> Slice(X) -> Null_Or( (Int, X) );
    find:    (X -> Bool) -> Slice(X) -> Null_Or(X);
    exists:  (X -> Bool) -> Slice(X) -> Bool;
    all:     (X -> Bool) -> Slice(X) -> Bool;
    collate: ((X, X) -> Order) -> (Slice(X), Slice(X)) -> Order;
};


## Copyright (c) 2003 by The Fellowship of SML/NJ
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2011,
## released under Gnu Public Licence version 3.