Module Rea.Tailrec

A self tail recursive interpreter usable with Js_of_ocaml.

type r

Abstract effect representation for Tailrec.

class 'D sync : object ... end

Base synchronous Tailrec interpreter dictionary.

val sync : 'D sync as 'D

Default sync dictionary.

val run : 'D sync as 'D -> (r, 'e, 'a, 'D) er -> ('e, 'a) res

run d sync executes the sync effect with the given interpreter d and returns its result.

class 'D async : object ... end

Base asynchronous Tailrec interpreter dictionary.

val async : 'D async as 'D

Default async dictionary.

val spawn : 'D -> (r, nothing, unit, 'D) er -> unit

spawn d async queues the async effect for execution using the given interpreter d.