diff --git a/src/core/CCFun.mli b/src/core/CCFun.mli index 2cd4774e..fe2902f3 100644 --- a/src/core/CCFun.mli +++ b/src/core/CCFun.mli @@ -109,7 +109,7 @@ end) : sig (** Kleisli composition. Monadic equivalent of [compose]. *) val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t - (** Mondaic [map]. *) + (** Monadic [map]. *) val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t (** Monadic [bind]. *) diff --git a/src/core/CCOption.mli b/src/core/CCOption.mli index e1f8d30a..946e0ec4 100644 --- a/src/core/CCOption.mli +++ b/src/core/CCOption.mli @@ -185,6 +185,7 @@ module Infix : sig val ( >=> ) : ('a -> 'b t) -> ('b -> 'c t) -> ('a -> 'c t) (** Monadic [k_compose]. *) + val ( <=< ) : ('b -> 'c t) -> ('a -> 'b t) -> ('a -> 'c t) (** Reverse monadic [k_compose]. *) end diff --git a/src/core/CCResult.mli b/src/core/CCResult.mli index 171bc273..02086f92 100644 --- a/src/core/CCResult.mli +++ b/src/core/CCResult.mli @@ -206,6 +206,7 @@ module Infix : sig val ( >=> ) : ('a -> ('b, 'err) t) -> ('b -> ('c, 'err) t) -> ('a -> ('c, 'err) t) (** Monadic [k_compose]. *) + val ( <=< ) : ('b -> ('c, 'err) t) -> ('a -> ('b, 'err) t) -> ('a -> ('c, 'err) t) (** Reverse monadic [k_compose]. *) end