Commit 0177bc23 authored by Francois Bobot's avatar Francois Bobot

Register : complete l'interface

parent d8640b42
......@@ -71,8 +71,16 @@ let store_clone f =
memo f env_tag memo_t in
create f
let apply reg = reg.value
let apply_trans reg env clone = Trans.apply (reg.value env clone)
let apply0 reg = reg.value
let apply_clone reg env clone = apply0 reg (Some env) (Some clone)
let apply_env reg env = apply0 reg (Some env) None
let apply reg = apply0 reg None None
let apply_trans0 reg env clone = Trans.apply (reg.value env clone)
let apply_trans_clone reg env clone = apply_trans0 reg (Some env) (Some clone)
let apply_trans_env reg env = apply_trans0 reg (Some env) None
let apply_trans reg = apply_trans0 reg None None
let clear reg = reg.value<-reg.generate ()
let clear_all () = assert false
......
......@@ -27,10 +27,22 @@ val store_env : (env -> 'a) -> 'a registered
val store_clone : (env -> clone -> 'a) -> 'a registered
exception ArgumentNeeded
val apply : 'a registered -> env option -> clone option -> 'a
val apply_trans :
val apply0 : 'a registered -> env option -> clone option -> 'a
val apply_clone : 'a registered -> env -> clone -> 'a
val apply_env : 'a registered -> env -> 'a
val apply : 'a registered -> 'a
val apply_trans0 :
'a trans registered -> env option -> clone option -> task -> 'a
val apply_trans_clone :
'a trans registered -> env -> clone -> task -> 'a
val apply_trans_env :
'a trans registered -> env -> task -> 'a
val apply_trans :
'a trans registered -> task -> 'a
val compose0 :
('a -> 'b -> 'c) -> 'a registered -> 'b registered -> 'c registered
val compose :
('a -> 'b) registered -> ('b -> 'c) registered -> ('a -> 'c) registered
val compose_trans :
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment