Library
Module
Module type
Parameter
Class
Class type
Reactive map data structure
type 'a data = 'a M.t
Raw (non-reactive) version of the data container
val empty : 'a t
Empty data structure
Build a container from initial contents. The handle can be used for performing reactive updates.
from_event d e
is a container whose initial value is d
, and which gets updated for every occurrence of e
Convert a React signal into a ReactiveData container.
Whenever the signal changes from value v
to value v'
, we detect the differences between v
and v'
, and perform downstream computation (e.g., for map
) only on the new and modified elements.
set h d
sets the contents of the container corresponding to h
, disregarding previous contents
map f c
applies f
on all elements of c
, producing a new reactive container c'
. Modifying the contents of c
leads to modifications of c'
. f
is applied only on the new or modified elements of c
.
val fold : ('a -> 'b msg -> 'a) -> 'b t -> 'a -> 'a React.signal
fold f c v
accumulates the updates on c
with f
starting from v
.
The result is a signal of value f m_n (f ... (f m_1 v))
, where m_1
... m_n
are the messages that have been applied since the beginning of fold
. m_1
is a pseudo-message Set l
, accounting for the contents l
of c
at the time when accumulation starts.