14.4.30  Monomorphic_Rw_Vector_Sort

The standard library Monomorphic_Rw_Vector_Sort api defines access to sort algorithms defined over mutable vectors specialized to hold a particular value type.

Implementations of the Monomorphic_Rw_Vector_Sort api may be generated using rw_vector_quicksort_g from src/lib/src/rw-vector-quicksort-g.pkg.

The Monomorphic_Rw_Vector_Sort api source code is in src/lib/src/monomorphic-rw-vector-sort.api.

The above information is manually maintained and may contain errors.

api {    package a : api {
                    eqtype Rw_Vector ;
                    Element ;
                    Vector ;
                    max_len : Int;
                    make_rw_vector : (Int , Element) -> Rw_Vector;
                    from_list : List(Element ) -> Rw_Vector;
                    tabulate : (Int , (Int -> Element)) -> Rw_Vector;
                    length : Rw_Vector -> Int;
                    get : (Rw_Vector , Int) -> Element;
                    _[] : (Rw_Vector , Int) -> Element;
                    set : (Rw_Vector , Int , Element) -> Void;
                    _[]:= : (Rw_Vector , Int , Element) -> Void;
                    to_vector : Rw_Vector -> Vector;
                    copy : {di:Int,  dst:Rw_Vector,  src:Rw_Vector} -> Void;
                    copy_vec : {di:Int,  dst:Rw_Vector,  src:Vector} -> Void;
                    keyed_apply : ((Int , Element) -> Void) -> Rw_Vector -> Void;
                    apply : (Element -> Void) -> Rw_Vector -> Void;
                    modifyi : ((Int , Element) -> Element) -> Rw_Vector -> Void;
                    modify : (Element -> Element) -> Rw_Vector -> Void;
                    keyed_fold_left : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
                    keyed_fold_right : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
                    fold_left : ((Element , X) -> X) -> X -> Rw_Vector -> X;
                    fold_right : ((Element , X) -> X) -> X -> Rw_Vector -> X;
                    findi : ((Int , Element) -> Bool)
                            -> Rw_Vector -> Null_Or(((Int , Element)) );
                    find : (Element -> Bool)
                           -> Rw_Vector -> Null_Or(Element );
                    exists : (Element -> Bool) -> Rw_Vector -> Bool;
                    all : (Element -> Bool) -> Rw_Vector -> Bool;
                    collate : ((Element , Element) -> Order)
                              -> (Rw_Vector , Rw_Vector) -> Order;
                };;
    sort : ((a::Element , a::Element) -> Order)
           -> a::Rw_Vector -> Void;
    sorted : ((a::Element , a::Element) -> Order)
             -> a::Rw_Vector -> Bool;
};