Module TalkSource

Sourcetype status =
  1. | Exited
  2. | Interrupted
Sourcetype 'a talk =
  1. | Done of 'a
  2. | Print of string * 'a talk
  3. | Read_line of string -> 'a talk
  4. | Read_key of string -> 'a talk
  5. | Random of int * int -> 'a talk
  6. | Spawn of unit talk * status -> 'a talk
  7. | Step of unit -> 'a talk
Sourceval print : string -> unit talk
Sourceval read_line : string talk
Sourceval read_key : string talk
Sourceval random : int -> int talk
Sourceval return : 'a -> 'a talk
Sourceval (let*) : 'a talk -> ('a -> 'b talk) -> 'b talk
Sourceval spawn : unit talk -> status talk
Sourceval step : unit talk
Sourceval ask : string -> string talk
Sourceval run : ?seed:int -> 'a talk -> string list -> string
Sourcetype machine
Sourceval start : ?baud:int -> seed:int -> rows:int -> cols:int -> unit talk -> machine
Sourceval input : machine -> string -> machine
Sourceval tick : machine -> float -> machine
Sourceval screen : machine -> Vt.t
Sourceval reading : machine -> bool
Sourceval finished : machine -> bool