package reactiveData

You can search for identifiers within the package.

in-package search v0.2.0

reactiveData
- ReactiveData
  - DATA
  - Make
    
    D
  - RList
  - RMap
    
    M
  - S

Legend:
Library
Module
Module type
Parameter
Class
Class type

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
  (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 D.data and type 'a patch = 'a D.patch

Functor for turning a plain container into an incremental one