package tiny_languages

  1. Overview
  2. Docs

Module Scheme_evalSource

Sourcetype state
Sourcetype world = {
  1. init : Scheme.t;
  2. handlers : (string * Scheme.t) list;
  3. span : Sexpr.span;
}
Sourcetype error = {
  1. message : string;
  2. at : Sexpr.span option;
}
Sourcetype outcome =
  1. | Done of Scheme.t
  2. | Running
  3. | Failed of error
  4. | World of world
Sourceval create : unit -> state
Sourceval start : state -> Scheme.expr -> state
Sourceval run : ?fuel:int -> state -> outcome * state
Sourceval resume : state -> Scheme.t -> state
Sourceval call : ?fuel:int -> state -> Scheme.t -> Scheme.t list -> (Scheme.t, error) result * state
Sourceval take_output : state -> string * state
Sourceval eval_all : ?fuel:int -> state -> string -> (Scheme.t, error) result * state
Sourceval steps : state -> int
Sourceval defined : state -> string list