preface.stdlib
Applicative.Syntax
preface
preface.core
preface.make
preface.specs
val (let+) : 'a t -> ('a -> 'b) -> 'b t
Flipped mapping over from 'a to 'b over 'a t to 'b t.
'a
'b
'a t
'b t
val (and+) : 'a t -> 'b t -> ('a * 'b) t
Product functor mapping from 'a t and 'b t to ('a * 'b) t.
('a * 'b) t