package base

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Applicative.Make_using_map2_local`Source

module X : Basic_using_map2_local

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

Sourceval map : 'a X.t -> f:('a -> 'b) -> 'b X.t

Sourceval both : 'a X.t -> 'b X.t -> ('a * 'b) X.t

Sourceval (<*>) : ('a -> 'b) X.t -> 'a X.t -> 'b X.t

same as apply

Sourceval (<*) : 'a X.t -> unit X.t -> 'a X.t

Sourceval (*>) : unit X.t -> 'a X.t -> 'a X.t

Sourceval (>>|) : 'a X.t -> ('a -> 'b) -> 'b X.t

Sourceval apply : ('a -> 'b) X.t -> 'a X.t -> 'b X.t

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

Sourceval map3 : 'a X.t -> 'b X.t -> 'c X.t -> f:('a -> 'b -> 'c -> 'd) -> 'd X.t

Sourceval all : 'a X.t list -> 'a list X.t

Sourceval all_unit : unit X.t list -> unit X.t

Sourcemodule Applicative_infix : sig ... end