Lmh_incremental_inference.Infix
include Intf.Infix with type 'a t := 'a t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
Alias to bind.
bind
val (>|=) : 'a t -> ('a -> 'b) -> 'b t
Alias to map.
map
val let* : 'a t -> ('a -> 'b t) -> 'b t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
Equivalent to map2 m m' (fun x y -> (x, y)).
map2 m m' (fun x y -> (x, y))
val return : 'a -> 'a t
Convenience reexport of return.
return
val let*! : 'a t -> ('a shared -> 'b t) -> 'b t
Alias to sharing_bind
sharing_bind
val use : 'a shared -> 'a t
Convenience re-export of use.
use