Module ReactiveData

module ReactiveData: sig .. end

ReactiveData is a module for data-aware functional reactive programming (FRP). It adds support to incremental changes in data structures by reasoning on patches instead of absolute values. ReactiveData is based on and inter-operates with React.

You are most likely interested in the sub-module RList, which implements a superset of the signature S.

module type S = sig .. end

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

module RList: sig .. end

Reactive list data structure

module RMap: functor (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: functor (D : DATA) -> S  with type 'a data = 'a D.data
                           and type 'a patch = 'a D.patch

Functor for turning a plain container into an incremental one