aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Utilities.mli')
-rw-r--r--lib/Utilities.mli12
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/Utilities.mli b/lib/Utilities.mli
index 9661796..f149889 100644
--- a/lib/Utilities.mli
+++ b/lib/Utilities.mli
@@ -7,6 +7,9 @@ end
module Result : sig
val ( let* ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result
val fmap : ('a -> ('b, 'e) result) -> ('a, 'e) result -> ('b, 'e) result
+end
+
+module List : sig
val sequence : ('a, 'b) result list -> ('a list, 'b) result
end
@@ -20,3 +23,12 @@ module Atomic : sig
(* This is silly *)
val mswap : 'a Atomic.t -> ('a -> ('a, 'b) result) -> ('a Atomic.t, 'b) result
end
+
+module FingerTree : sig
+ val map2 : ('a -> 'b -> 'c) -> 'a BatFingerTree.t -> 'b BatFingerTree.t -> 'c BatFingerTree.t
+ val zip : 'a BatFingerTree.t -> 'b BatFingerTree.t -> ('a * 'b) BatFingerTree.t
+
+ val sequence : ('a, 'b) result BatFingerTree.t -> ('a BatFingerTree.t, 'b) result
+
+ val join : string BatFingerTree.t -> string -> string
+end