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