val return : 'a -> 'a Generator.t
val (>>=) : 'a Generator.t -> ('a -> 'a Generator.t) -> 'a Generator.t
t >>= f
returns a computation that sequences the computations represented by two monad elements. The resulting computation first doest
to yield a valuev
, and then runs the computation returned byf v
.
val (>>|) : 'a Generator.t -> ('a -> 'b) -> 'a Generator.t
t >>| f
ist >>= (fun a -> return (f a))
.
module Let_syntax : sig ... end with module Let_syntax.Open_on_rhs = Generator