Module Base.Applicative.Compose

G : S

F : S

type 'a t = 'a F.t G.t

val return : 'a ‑> 'a t

val apply : ('a ‑> 'b) t ‑> 'a t ‑> 'b t

val map : 'a t ‑> f:('a ‑> 'b) ‑> 'b t

val map2 : 'a t ‑> 'b t ‑> f:('a ‑> 'b ‑> 'c) ‑> 'c t

val map3 : 'a t ‑> 'b t ‑> 'c t ‑> f:('a ‑> 'b ‑> 'c ‑> 'd) ‑> 'd t

val all : 'a t list ‑> 'a list t

val all_unit : unit t list ‑> unit t

val all_ignore : unit t list ‑> unit t

val both : 'a t ‑> 'b t ‑> ('a * 'b) t

module Applicative_infix : sig ... end

include module type of Applicative_infix

val (<*>) : ('a ‑> 'b) t ‑> 'a t ‑> 'b t

same as apply

val (<*) : 'a t ‑> unit t ‑> 'a t

val (*>) : unit t ‑> 'a t ‑> 'a t