Apply suggestions from code review

This commit is contained in:
Simon Cruanes 2024-07-09 10:15:28 -04:00 committed by GitHub
parent c248d9801c
commit 01155686bf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 1 deletions

View file

@ -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]. *)

View file

@ -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

View file

@ -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