2 files changed, 11 insertions, 7 deletions

diff --git a/lib/Utilities.ml b/lib/Utilities.ml
index 03d1eea..1e25176 100644
--- a/lib/Utilities.ml
+++ b/lib/Utilities.ml
@@ -7,12 +7,14 @@ end
 module Option = struct
   let ( let* ) = Option.bind
   let fmap f m = Option.bind m f
+  let ( |>> ) = Option.bind
   let sequence = function None -> Ok None | Some x -> Result.map Option.some x
 end
 
 module Result = struct
   let ( let* ) = Result.bind
   let fmap f m = Result.bind m f
+  let ( |>> ) = Result.bind
 end
 
 module type SEQUENCE = sig
@@ -20,21 +22,21 @@ module type SEQUENCE = sig
 
   val empty : 'a t
   val cons : 'a -> 'a t -> 'a t
-  val fold : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
+  val fold_right : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
   val fold_left : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
 end
 
 module Generic (S : SEQUENCE) = struct
   let sequence ms =
     let open Result in
-    S.fold
+    S.fold_right
       (fun m acc ->
         let* acc = acc in
         let* m = m in
         Ok (S.cons m acc) )
       ms (Ok S.empty)
 
-  let fold_left f init ms =
+  let foldm_left f init ms =
     let open Result in
     S.fold_left
       (fun acc m ->
@@ -49,7 +51,7 @@ module List = struct
 
     let empty = []
     let cons x xs = x :: xs
-    let fold = List.fold_right
+    let fold_right = List.fold_right
     let fold_left = List.fold_left
   end
 
@@ -65,7 +67,7 @@ module FingerTree = struct
 
     let empty = BatFingerTree.empty
     let cons x xs = BatFingerTree.cons xs x
-    let fold f xs acc = BatFingerTree.fold_right (Fun.flip f) acc xs
+    let fold_right f xs acc = BatFingerTree.fold_right (Fun.flip f) acc xs
     let fold_left = BatFingerTree.fold_left
   end
 
diff --git a/lib/Utilities.mli b/lib/Utilities.mli
index fb38966..7af9f03 100644
--- a/lib/Utilities.mli
+++ b/lib/Utilities.mli
@@ -6,18 +6,20 @@ end
 
 module Result : sig
   val ( let* ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result
+  val ( |>> ) : ('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
-  val fold_left : ('a -> 'b -> ('a, 'e) result) -> 'a -> 'b list -> ('a, 'e) result
+  val foldm_left : ('a -> 'b -> ('a, 'e) result) -> 'a -> 'b list -> ('a, 'e) result
   val concat_map : ('a -> ('b list, 'e) result) -> 'a list -> ('b list, 'e) result
   val hd_opt : 'a list -> 'a option
 end
 
 module Option : sig
   val ( let* ) : 'a option -> ('a -> 'b option) -> 'b option
+  val ( |>> ) : 'a option -> ('a -> 'b option) -> 'b option
   val fmap : ('a -> 'b option) -> 'a option -> 'b option
   val sequence : ('a, 'b) result option -> ('a option, 'b) result
 end
@@ -33,7 +35,7 @@ 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 fold_left : ('a -> 'b -> ('a, 'e) result) -> 'a -> 'b BatFingerTree.t -> ('a, 'e) result
+  val foldm_left : ('a -> 'b -> ('a, 'e) result) -> 'a -> 'b BatFingerTree.t -> ('a, 'e) result
   val join : string BatFingerTree.t -> string -> string
 end