added iter_option

diff --git a/helm/ocaml/extlib/hExtlib.ml b/helm/ocaml/extlib/hExtlib.ml
index ceb9c8d8bc1ca21fd3a361db1d951300136a34de..9f4f2d9c904bef51d1c3121eeeec90aad4ca050e 100644 (file)
--- a/helm/ocaml/extlib/hExtlib.ml
+++ b/helm/ocaml/extlib/hExtlib.ml
@@ -57,6 +57,7 @@ let profile =
 (** {2 Optional values} *)
 
 let map_option f = function None -> None | Some v -> Some (f v)
+let iter_option f = function None -> () | Some v -> f v
 let unopt = function None -> failwith "unopt: None" | Some v -> v
 
 (** {2 String processing} *)

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index e40920350710fa2b9cca7a89e6573847babaf376..32fb59d473942a2f4ac61a72b07dacd391c4a18e 100644 (file)
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -26,6 +26,7 @@
 (** {2 Optional values} *)
 
 val map_option: ('a -> 'b) -> 'a option -> 'b option
+val iter_option: ('a -> unit) -> 'a option -> unit
 val unopt: 'a option -> 'a  (** @raise Failure *)
 
 (** {2 Filesystem} *)