package rml

  1. Overview
  2. Docs
exception RML
and 'a process = unit -> 'a expr
val rml_make : 'a process -> unit -> 'a option
val rml_make_unit : unit process -> (unit -> unit option) * (unit process -> unit)
val rml_make_exec_process : unit process -> unit process list -> unit option
val rml_pre_status : ('a, 'b) event -> bool
val rml_pre_value : ('a, 'b) event -> 'b
val rml_last : ('a, 'b) event -> 'b
val rml_default : ('a, 'b) event -> 'b
val rml_expr_emit : (unit, 'b) event -> unit
val rml_expr_emit_val : ('a, 'b) event -> 'a -> unit
val rml_global_signal : unit -> ('a, 'a list) event
val rml_global_signal_combine : 'b -> ('a -> 'b -> 'b) -> ('a, 'b) event
val rml_global_signal_memory_combine : 'b -> ('a -> 'b -> 'b) -> ('a, 'b) event
val cfg_present' : ('a, 'b) event -> 'b event_cfg
val cfg_present : (unit -> ('a, 'b) event) -> 'b event_cfg
val cfg_and : 'a event_cfg -> 'b event_cfg -> ('a * 'b) event_cfg
val cfg_or_option : 'a event_cfg -> 'b event_cfg -> ('a option * 'b option) event_cfg
val rml_nothing : unit expr
val rml_compute : (unit -> 'a) -> 'a expr
val rml_pause : unit expr
val rml_halt : 'a expr
val rml_pause_kboi : unit expr
val rml_halt_kboi : 'a expr
val rml_emit' : (unit, 'b) event -> unit expr
val rml_emit : (unit -> (unit, 'b) event) -> unit expr
val rml_emit_val' : ('a, 'b) event -> (unit -> 'a) -> unit expr
val rml_emit_val : (unit -> ('a, 'b) event) -> (unit -> 'a) -> unit expr
val rml_get : (unit -> ('a, 'b) event) -> ('b -> 'c expr) -> 'c expr
val rml_await' : ('a, 'b) event -> unit expr
val rml_await : (unit -> ('a, 'b) event) -> unit expr
val rml_await_conf : 'a event_cfg -> unit expr
val rml_await_immediate' : ('a, 'b) event -> unit expr
val rml_await_immediate : (unit -> ('a, 'b) event) -> unit expr
val rml_await_immediate_conf : 'a event_cfg -> unit expr
val rml_await_all' : ('a, 'b) event -> ('b -> 'c expr) -> 'c expr
val rml_await_all : (unit -> ('a, 'b) event) -> ('b -> 'c expr) -> 'c expr
val rml_await_all_conf : 'b event_cfg -> ('b -> 'c expr) -> 'c expr
val rml_await_all_match' : ('a, 'b) event -> ('b -> bool) -> ('b -> 'c expr) -> 'c expr
val rml_await_all_match : (unit -> ('a, 'b) event) -> ('b -> bool) -> ('b -> 'c expr) -> 'c expr
val rml_await_all_match_conf : 'b event_cfg -> ('b -> bool) -> ('b -> 'c expr) -> 'c expr
val rml_await_one' : ('a, 'a list) event -> ('a -> 'c expr) -> 'c expr
val rml_await_one : (unit -> ('a, 'a list) event) -> ('a -> 'c expr) -> 'c expr
val rml_await_immediate_one' : ('a, 'a list) event -> ('a -> 'c expr) -> 'c expr
val rml_await_immediate_one : (unit -> ('a, 'a list) event) -> ('a -> 'c expr) -> 'c expr
val rml_await_one_match' : ('a, 'b list) event -> ('b -> bool) -> ('b -> 'c expr) -> 'c expr
val rml_await_one_match : (unit -> ('a, 'b list) event) -> ('b -> bool) -> ('b -> 'c expr) -> 'c expr
val rml_present' : ('a, 'b) event -> 'c expr -> 'c expr -> 'c expr
val rml_present : (unit -> ('a, 'b) event) -> 'c expr -> 'c expr -> 'c expr
val rml_present_conf : 'a event_cfg -> 'a expr -> 'a expr -> 'a expr
val rml_seq : 'a expr -> 'b expr -> 'b expr
val rml_par : 'a expr -> 'b expr -> unit expr
val rml_merge : 'a expr -> 'b expr -> unit expr
val rml_loop : 'a expr -> unit expr
val rml_loop_n : (unit -> int) -> 'a expr -> unit expr
val rml_while : (unit -> bool) -> 'a expr -> unit expr
val rml_for : (unit -> int) -> (unit -> int) -> bool -> (int -> 'a expr) -> unit expr
val rml_fordopar : (unit -> int) -> (unit -> int) -> bool -> (int -> 'a expr) -> unit expr
val rml_signal : (('a, 'a list) event -> 'b expr) -> 'b expr
val rml_signal_combine : (unit -> 'b) -> (unit -> 'a -> 'b -> 'b) -> (('a, 'b) event -> 'c expr) -> 'c expr
val rml_signal_memory_combine : (unit -> 'b) -> (unit -> 'a -> 'b -> 'b) -> (('a, 'b) event -> 'c expr) -> 'c expr
val rml_def : (unit -> 'a) -> ('a -> 'b expr) -> 'b expr
val rml_def_dyn : 'a expr -> ('a -> 'b expr) -> 'b expr
val rml_match : (unit -> 'a) -> ('a -> 'b expr) -> 'b expr
val rml_run : (unit -> 'a process) -> 'a expr
val rml_until' : ('a, 'b) event -> unit expr -> unit expr
val rml_until : (unit -> ('a, 'b) event) -> unit expr -> unit expr
val rml_until_conf : 'a event_cfg -> unit expr -> unit expr
val rml_until_handler' : ('a, 'b) event -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_handler : (unit -> ('a, 'b) event) -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_handler_conf : 'b event_cfg -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_handler_match' : ('a, 'b) event -> ('b -> bool) -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_handler_match : (unit -> ('a, 'b) event) -> ('b -> bool) -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_handler_match_conf : 'b event_cfg -> ('b -> bool) -> 'c expr -> ('b -> 'c expr) -> 'c expr
val rml_until_match' : ('a, 'b) event -> ('b -> bool) -> unit expr -> unit expr
val rml_until_match : (unit -> ('a, 'b) event) -> ('b -> bool) -> unit expr -> unit expr
val rml_until_match_conf : 'b event_cfg -> ('b -> bool) -> unit expr -> unit expr
val rml_control' : ('a, 'b) event -> 'c expr -> 'c expr
val rml_control : (unit -> ('a, 'b) event) -> 'c expr -> 'c expr
val rml_control_conf : 'a event_cfg -> 'c expr -> 'c expr
val rml_control_match' : ('a, 'b) event -> ('b -> bool) -> 'c expr -> 'c expr
val rml_control_match : (unit -> ('a, 'b) event) -> ('b -> bool) -> 'c expr -> 'c expr
val rml_control_match_conf : 'b event_cfg -> ('b -> bool) -> 'c expr -> 'c expr
val rml_when' : ('a, 'b) event -> 'c expr -> 'c expr
val rml_when : (unit -> ('a, 'b) event) -> 'c expr -> 'c expr
val rml_when_conf : 'a event_cfg -> 'c expr -> 'c expr
val rml_if : (unit -> bool) -> 'a expr -> 'a expr -> 'a expr
val rml_par_n : unit expr list -> unit expr