module type RLIST =sig
..end
type 'a
t
The type of (shared) reactive lists
type 'a
handle
Handles are used to manipulate reactive lists
type 'a
signal
type 'a
sv
The type of shared values
type 'a
ct
Client-side version of 'a t
type 'a
chandle
Client-side version of 'a handle
val create : ?default:('a ct * 'a chandle)
option Eliom_client_value.t ->
?reset_default:bool ->
'a list -> 'a t * 'a handle
create ?default ?reset_default l
produces a pair l, f
, where
s
is a (shared) reactive list, and f
is a handle for
manipulating the list.
The initial value of the list is l
, unless default
is
provided. default
, if provided, is used as the client-side
list (and corresponding handle). reset_default
, if set to true
(default: false), resets the value of default
to l
.
val concat : 'a t ->
'a t -> 'a t
val value : 'a t -> 'a list sv
val signal : ?eq:('a -> 'a -> bool) sv ->
'a t -> 'a list signal
val singleton_s : 'a signal -> 'a t
val map : ('a -> 'b) sv ->
'a t -> 'b t
val from_signal : ?eq:('a -> 'a -> bool) sv ->
'a list signal -> 'a t
val acc_e : ?init:'a t * 'a handle ->
'a React.E.t Eliom_client_value.t -> 'a t
module Lwt:sig
..end
Cooperative versions of the ReactiveData operators