|
Module Sortmodule Sort:
Deprecated. This module is obsolete and exists only for backward
compatibility.
The sorting functions in
Array and List should be used instead.
The new functions are faster and use less memory.Sorting and merging lists. val list :
Sort a list in increasing order according to an ordering predicate.
The predicate should return
true if its first argument is
less than or equal to its second argument.val array :
Sort an array in increasing order according to an
ordering predicate.
The predicate should return
true if its first argument is
less than or equal to its second argument.
The array is sorted in place.val merge :
Merge two lists according to the given predicate.
Assuming the two argument lists are sorted according to the
predicate,
merge returns a sorted list containing the elements
from the two lists. The behavior is undefined if the two
argument lists were not sorted. |