Module `Sequence.Generator`Source

include Base.Monad.S2

Sourcetype ('a, 'e) t

val (>>=) : 
  ('a, 'e) Base.Sequence.Generator.t ->
  ('a -> ('b, 'e) Base.Sequence.Generator.t) ->
  ('b, 'e) Base.Sequence.Generator.t

val (>>|) : 
  ('a, 'e) Base.Sequence.Generator.t ->
  ('a -> 'b) ->
  ('b, 'e) Base.Sequence.Generator.t

Sourcemodule Let_syntax : sig ... end

Sourcemodule Monad_infix : sig ... end

Same as Infix, except the monad type has two arguments. The second is always just passed through.

val bind : 
  ('a, 'e) Base.Sequence.Generator.t ->
  f:('a -> ('b, 'e) Base.Sequence.Generator.t) ->
  ('b, 'e) Base.Sequence.Generator.t

Sourceval return : 'a -> ('a, _) Base.Sequence.Generator.t

val map : 
  ('a, 'e) Base.Sequence.Generator.t ->
  f:('a -> 'b) ->
  ('b, 'e) Base.Sequence.Generator.t

val join : 
  (('a, 'e) Base.Sequence.Generator.t, 'e) Base.Sequence.Generator.t ->
  ('a, 'e) Base.Sequence.Generator.t

val ignore_m : 
  (_, 'e) Base.Sequence.Generator.t ->
  (unit, 'e) Base.Sequence.Generator.t

val all : 
  ('a, 'e) Base.Sequence.Generator.t list ->
  ('a list, 'e) Base.Sequence.Generator.t

val all_unit : 
  (unit, 'e) Base.Sequence.Generator.t list ->
  (unit, 'e) Base.Sequence.Generator.t

Sourceval yield : 'elt -> (unit, 'elt) Base.Sequence.Generator.t

val of_sequence : 
  'elt Base.Sequence.sequence ->
  (unit, 'elt) Base.Sequence.Generator.t

Sourceval run : (unit, 'elt) Base.Sequence.Generator.t -> 'elt Base.Sequence.sequence

Module Sequence.GeneratorSource