Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Commit e78511ab authored by Johannes Kanig's avatar Johannes Kanig
Browse files

util: new function option_map_fold

parent 4c908010
......@@ -44,6 +44,13 @@ let option_eq eq a b = match a,b with
| None, _ | _, None -> false
| Some x, Some y -> eq x y
let option_map_fold f acc x =
match x with
| None -> acc, None
| Some x ->
let acc, x = f acc x in
acc, Some x
(* useful list combinators *)
let rev_map_fold_left f acc l =
......
......@@ -41,6 +41,9 @@ val option_apply : 'b -> ('a -> 'b) -> 'a option -> 'b
val option_eq : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool
val option_map_fold :
('a -> 'b -> 'a * 'b) -> 'a -> 'b option -> 'a * 'b option
(* useful list combinators *)
val rev_map_fold_left :
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment