summaryrefslogtreecommitdiff
path: root/stdlib/listLabels.mli
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2014-12-19 17:31:41 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2014-12-19 17:31:41 +0000
commit512d128918544ae1da0c808e811f3a7f177524d2 (patch)
tree880d553eaf180ac5ca63a6b87f9034154f8e5c0b /stdlib/listLabels.mli
parent2799cb26772f658b62e446bf1412aba728973d38 (diff)
downloadocaml-512d128918544ae1da0c808e811f3a7f177524d2.tar.gz
Add sort_uniq to ListLabels.
From: Jeremy Yallop <yallop@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r--stdlib/listLabels.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli
index 45e3c41ea1..a9be40b945 100644
--- a/stdlib/listLabels.mli
+++ b/stdlib/listLabels.mli
@@ -280,6 +280,10 @@ val fast_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
(** Same as {!List.sort} or {!List.stable_sort}, whichever is faster
on typical input. *)
+val sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list
+(** Same as {!ListLabels.sort}, but also remove duplicates.
+ @since 4.02.0 *)
+
val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list
(** Merge two lists:
Assuming that [l1] and [l2] are sorted according to the