Module Base__Applicative.Of_monad
Every monad is Applicative via:
let apply mf mx =
mf >>= fun f ->
mx >>| fun x ->
f x
Parameters
Signature
module Applicative_infix : sig ... end
val all_unit : 'a M.t list -> 'a M.t
val all : 'a M.t list -> 'a M.t
val map3 : 'a M.t -> 'a M.t -> 'a M.t -> f:('a -> 'b -> 'c -> 'd) -> 'a M.t
val map2 : 'a M.t -> 'a M.t -> f:('a -> 'b -> 'c) -> 'a M.t
val apply : 'a M.t -> 'a M.t -> 'a M.t