orsetto.cf
Cf_cmonad.Affix
Open Affix to include the affix monad operators.
Affix
orsetto.cbor
orsetto.json
orsetto.ucs
val (>>:) : ('m, 'a) t -> ('a -> 'b) -> ('m, 'b) t
Use m >>: f as a convenient way to express map m f.
m >>: f
map m f
val (>>=) : ('m, 'a) t -> ('a -> ('m, 'b) t) -> ('m, 'b) t
Use m >>= f as a convenient way to express bind m f.
m >>= f
bind m f
val (let+) : ('m, 'a) t -> ('a -> 'b) -> ('m, 'b) t
The conventional binding operators.
val (and+) : ('m, 'a) t -> ('m, 'b) t -> ('m, 'a * 'b) t
val (let*) : ('m, 'a) t -> ('a -> ('m, 'b) t) -> ('m, 'b) t
val (and*) : ('m, 'a) t -> ('m, 'b) t -> ('m, 'a * 'b) t