Make_using_map2 (bonsai.bonsai.private_base.Bonsai_private_base.Applicative.Make_using

Parameters

module X : Basic_using_map2

val return : here:lexing_position -> 'a -> 'a X.t

val map : here:lexing_position -> 'a X.t -> f:('a -> 'b) -> 'b X.t

val both : here:lexing_position -> 'a X.t -> 'b X.t -> ('a * 'b) X.t

val (<*>) : here:lexing_position -> ('a -> 'b) X.t -> 'a X.t -> 'b X.t

val (<*) : here:lexing_position -> 'a X.t -> Base.unit X.t -> 'a X.t

val (*>) : here:lexing_position -> Base.unit X.t -> 'a X.t -> 'a X.t

val (>>|) : here:lexing_position -> 'a X.t -> ('a -> 'b) -> 'b X.t

val apply : here:lexing_position -> ('a -> 'b) X.t -> 'a X.t -> 'b X.t

val map2 : 
  here:lexing_position ->
  'a X.t ->
  'b X.t ->
  f:('a -> 'b -> 'c) ->
  'c X.t

val map3 : 
  here:lexing_position ->
  'a X.t ->
  'b X.t ->
  'c X.t ->
  f:('a -> 'b -> 'c -> 'd) ->
  'd X.t

val all : here:lexing_position -> 'a X.t Base.list -> 'a Base.list X.t

val all_unit : here:lexing_position -> Base.unit X.t Base.list -> Base.unit X.t

module Applicative_infix : sig ... end