14.2.42  Rw_Vector_Sort

The standard library Rw_Vector_Sort api defines access to in-place sort algorithms for mutable vectors.

The Rw_Vector_Sort api is implemented by the rw_vector_quicksort package.

(Will somone please contribute a matching heapsort implementation?)

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

The above information is manually maintained and may contain errors.

api {
    Rw_Vector X;
    sort : ((X , X) -> Order) -> Rw_Vector(X ) -> Void;
    sorted : ((X , X) -> Order) -> Rw_Vector(X ) -> Bool;};