Module Core.Proc_stateSource

Sourcetype ('a, 'b) continuation
Sourcetype 'a t =
  1. | Finished of ('a, exn) result
  2. | Suspended : ('a, 'b) continuation * 'a Effect.t -> 'b t
  3. | Unhandled : ('a, 'b) continuation * 'a -> 'b t
Sourcetype 'a step =
  1. | Continue of 'a
  2. | Discontinue of exn
  3. | Reperform : 'a Effect.t -> 'a step
  4. | Delay : 'a step
  5. | Suspend : 'a step
  6. | Yield : unit step
Sourcetype ('a, 'b) step_callback = ('a step -> 'b t) -> 'a Effect.t -> 'b t
Sourcetype perform = {
  1. perform : 'a 'b. ('a, 'b) step_callback;
}
Sourceval make : ('a -> 'b) -> 'a Effect.t -> 'b t
Sourceval run : reductions:int -> perform:perform -> 'a t -> 'a t