Up
Module type
S
Signature
type
'a 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