Up
Module
Pair
(
F
:
S
) (
G
:
S
) :
S
with
type
'a
t
= 'a
F.t
* 'a
G.t
Parameters
F
:
S
G
:
S
Signature
type
'a t = 'a
F.t
* 'a
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
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
same as
apply
val
(*>) : unit
t
-> 'a
t
-> 'a
t