New beta release of concurrent cell supports FRP(functional Reactive Programming). Two modules (Frp.TimeVaryReact and Frp.TimeVaryEvent) has thread safe functions below:
module Frp : sig
module rec TimeVaryReact : sig
type 'a t
val make : ?src:'a Mbox.t -> 'a -> 'a t * ('a -> unit)
val return : 'a -> 'a t
val read : 'a t -> 'a
val map : ('a -> 'b) -> 'a t -> 'b t
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val app : ('a -> 'b) t -> 'a t -> 'b t
val join : 'a t t -> 'a t
val switch : 'a t -> 'a t TimeVaryEvent.t -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
val accum : 'a -> ('a -> 'a) TimeVaryEvent.t -> 'a t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b TimeVaryEvent.t -> 'a t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a TimeVaryEvent.t
val history : int -> 'a t -> 'a list t
end
and TimeVaryEvent : sig
type 'a t
val make : ?src:'a Mbox.t -> unit -> 'a t * ('a -> unit)
val map : ('a -> 'b) -> 'a t -> 'b t
val listen : ('a -> unit) -> 'a t -> unit
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val merge : 'a t -> 'a t -> 'a t
val filter : ('a -> bool) -> 'a t -> 'a t
val fmap : ('a -> 'b option) -> 'a t -> 'b t
val join : 'a t t -> 'a t
val accum : 'a -> ('a -> 'a) t -> 'a t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a t
val select : 'a t list -> 'a t
val switch : 'a t -> 'a t t -> 'a t
val history : int -> 'a t -> 'a list t
val with_prev : 'a t -> ('a * 'a) t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t
end