NAME¶
Sort - Sorting and merging lists.
Module¶
Module Sort
Documentation¶
Module
Sort
:
sig end
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 :
('a -> 'a -> bool) -> 'a list -> 'a 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 :
('a -> 'a -> bool) -> 'a array -> unit
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 :
('a -> 'a -> bool) -> 'a list -> 'a list ->
'a list
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.