Up
Module
Expression
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
val
(<*>) : ('a -> 'b)
t
-> 'a
t
-> 'b
t
val
(<*) : 'a
t
-> unit
t
-> 'a
t
val
(*>) : unit
t
-> 'a
t
-> 'a
t
val
field : 'a
Field.t
-> 'a
t
val
maybe_field : 'a
Field.t
-> 'a option
t
val
variable : 'a
Variable.t
-> 'a
t
module
Args
: sig .. end