add CCOrd.Infix

src/core/CCOrd.ml

@@ -123,3 +123,10 @@ let array ord a1 a2 =
 *)
 
 let map f ord a b = ord (f a) (f b)
+
+let (>|=) x f = map f x
+
+module Infix = struct
+  let (>|=) = (>|=)
+  let (<?>) = (<?>)
+end

src/core/CCOrd.mli

@@ -58,3 +58,11 @@ val map : ('a -> 'b) -> 'b t -> 'a t
     Example:
     [map fst CCInt.compare] compares values of type [(int * 'a)]  by their
       first component. *)
+
+val (>|=) : 'b t -> ('a -> 'b) -> 'a t
+(** Infix equivalent of {!map} *)
+
+module Infix : sig
+  val (<?>) : int -> ('a t * 'a * 'a) -> int
+  val (>|=) : 'b t -> ('a -> 'b) -> 'a t
+end