Add filter_map utility.

[whenjobs.git] / lib / whenutils.mli

diff --git a/lib/whenutils.mli b/lib/whenutils.mli
index b2a8878..c935906 100644 (file)
--- a/lib/whenutils.mli
+++ b/lib/whenutils.mli
@@ -81,6 +81,9 @@ module StringSet : sig
 end
 (** A set of strings. *)
 
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
+(** Filter + map. *)
+
 type whenexpr =
   | Expr_bool of bool                   (** A boolean constant. *)
   | Expr_str of string                  (** A string constant. *)