module M = M
A value of type 'a t
is an iterator over values of type 'a
that live in the monad M.t
. For instance, if M
is Lwt
, accessing
each element might require some IO operation (reading a file, etc.)
val return : 'a ‑> 'a t
val sequence_m : 'a M.t GenM_intf.gen ‑> 'a t
From a generator of actions, return an effectful generator
module Infix : sig ... end