Functional reactive programming with incremental changes in data structures
Module ReactiveData
module type S = sig ... end

Signature describing a reactive data structure ('a t).

module RList : sig ... end

Reactive list data structure

module RMap (M : Map.S) : S with type 'a data = 'a M.t and type 'a patch = [ `Add of M.key * 'a | `Del of M.key ] list

Reactive map data structure

module type DATA = sig ... end

Signature describing a raw data container ('a data).

module Make (D : DATA) : S with type 'a data = 'a and type 'a patch = 'a D.patch

Functor for turning a plain container into an incremental one