Module type Ccell.Frp.ReactSig


module type ReactSig = sig .. end
The React module signature.

React module provides many combinators for 'reactive value'. These combinators(map, app, bind, switch and delay) expresses dependency of between values.


type 'a t 
the react value
type 'a event 
val make : 'a -> 'a t * ('a -> unit)
make v returns pair of react value r and a sender function fn. fn v will send the value v as next react value. Notice Updater.notify_register function is called inside of this function.
val put : 'a t -> 'a t -> unit
put dst src sets the react value src into dst. all dependencies toward dst are become same as src.
val set : 'a t -> 'a -> unit
set r v sets the value v into the react value r. all dependencies toward r are cleared. all dependencies from r are still effective.
val read : 'a t -> 'a
read r takes the current value from the react value r.
val return : 'a -> 'a t
return v makes new react value that current value is v. the result react value never changed.
val map : ('a -> 'b) -> 'a t -> 'b t
map f r makes new react value mapped by f.
val map2 : ('a -> 'b -> 'c) ->
'a t -> 'b t -> 'c t
val map3 : ('a -> 'b -> 'c -> 'd) ->
'a t ->
'b t -> 'c t -> 'd t
val app : ('a -> 'b) t ->
'a t -> 'b t
val sequence : 'a t list -> 'a list t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t
val history : int -> 'a t -> 'a list t
val delay : int -> 'a t -> 'a t
val delay_while : ('a -> bool) -> 'a t -> 'a t
val bind : 'a t ->
('a -> 'b t) -> 'b t
val (>>=) : 'a t ->
('a -> 'b t) -> 'b t
val join : 'a t t -> 'a t
val switch : 'a t ->
'a t event -> 'a t
val reduce : 'a -> ('a -> 'a) event -> 'a t
val fold : ('a -> 'b -> 'a) ->
'a -> 'b event -> 'a t
val event : 'a t -> 'a event