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) : sig ... end

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