Index of values

concat a b is the concatenation of a and b, and it gets updated whenever a and b change

Add element to the beginning

Produce a constant container

Build a container from initial contents.

diff ?eq d1 d2 produces a patch describing the differences between d1 and d2.

Empty container

Empty data structure

Lift an equality operator over atoms of type 'a to an equality operator over 'a data

Event whose occurrences correspond to container updates

fold f c v accumulates the updates on c with f starting from v.

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.

insert v i h adds v as the i-th position in the container corresponding to h.

map f c applies f on all elements of c, producing a new reactive container c'.

map f d applies f on all the elements of d, producing a new container in an applicative way

Transform a message

Transform a patch

Applicative merge operation: merge p d is a new container produced by applying p on d.

move i j h moves the i-th element of the container corresponding to h to the j-th position, modifying the indices of other elements

patch h p applies p on the container corresponding to h

remove i h removes the i-th position from the container corresponding to h.

rev a is the reversal of a; rev a gets updated along with a

set h d sets the contents of the container corresponding to h, disregarding previous contents

Signal corresponding to contents

Produce container list containing a single, constant element

Produce reactive list containing a single element that gets updated based on a signal

Add element to the end

update v i h substitutes the i-th element of the container corresponding to h with v

Return current contents