package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file reactive.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20


(* abstract reactive program *)
type prg = DoStep of (Value.t list -> Value.t list * prg)
let step p = match p with DoStep p -> p
  

type ctx = RdbgEvent.t
type e = RdbgEvent.t

type 't prg_ldbg = 
    DoStep_ldbg of (ctx ->  't -> Value.t list ->
                    (ctx -> 't -> 't prg_ldbg -> Value.t list -> e) ->
                    (ctx -> 't -> e) -> (ctx -> 't -> string -> e) -> e)

let (step_ldbg : ctx -> 't -> 't prg_ldbg -> Value.t list 
     -> (ctx -> 't -> 't prg_ldbg -> Value.t list -> e)
     ->  (ctx -> 't -> e) -> (ctx -> 't -> string -> e) -> e) =
  fun ctx t p vl cont fail_cont -> 
    match p with DoStep_ldbg p -> p ctx t vl cont fail_cont