aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Utilities.ml')
-rw-r--r--lib/Utilities.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Utilities.ml b/lib/Utilities.ml
index 8f278a3..8b6b08e 100644
--- a/lib/Utilities.ml
+++ b/lib/Utilities.ml
@@ -86,6 +86,12 @@ module FingerTree = struct
let join ss sep =
BatFingerTree.print ~first:"" ~last:"" ~sep BatIO.nwrite |> Fun.flip BatIO.to_string ss
+
+ let filter_map f =
+ BatFingerTree.fold_left
+ (fun acc elem ->
+ match f elem with None -> acc | Some result -> BatFingerTree.snoc acc result)
+ BatFingerTree.empty
end
module Atomic = struct