added filter_map

[helm.git] / helm / ocaml / extlib / hExtlib.mli

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index cd4cc276ebc8a5084dbdde08c7deae2a6f0e471e..2565f7861f12af7ac93f98f182eaa22b0fed9242 100644 (file)
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -52,6 +52,7 @@ val trim_blanks: string -> string (** strip heading and trailing blanks *)
 (** {2 List processing} *)
 
 val list_uniq: 'a list -> 'a list (* uniq unix filter on lists *)
+val filter_map: ('a -> 'b option) -> 'a list -> 'b list (* filter + map *)
 
 (** {2 Debugging & Profiling} *)