Up
Module
S2_to_S
(
X
:
S2
) :
S
with
type
'a
t
= ('a, unit)
X.t
Parameters
X
:
S2
Signature
type
'a t = ('a, unit)
X.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