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