package riot

  1. Overview
  2. Docs
type ('a, 'b) continuation
type '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
type '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
type ('a, 'b) step_callback = ('a step -> 'b t) -> 'a Effect.t -> 'b t
type perform = {
  1. perform : 'a 'b. ('a, 'b) step_callback;
}
val make : ('a -> 'b) -> 'a Effect.t -> 'b t
val run : reductions:int -> perform:perform -> 'a t -> 'a t
OCaml

Innovation. Community. Security.