Applicative_infix (base.Base.Applicative.Of_monad2.Applicative

val (<*>) : ('a -> 'b, 'e) M.t -> ('a, 'e) M.t -> ('b, 'e) M.t

val (<*) : ('a, 'e) M.t -> (unit, 'e) M.t -> ('a, 'e) M.t

val (*>) : (unit, 'e) M.t -> ('a, 'e) M.t -> ('a, 'e) M.t

val (>>|) : ('a, 'e) M.t -> ('a -> 'b) -> ('b, 'e) M.t