Data.ReactiveValue

Reactive values: common interface

class ReactiveValueRead a b m

class ReactiveValueWrite a b m

class ReactiveValueReadWrite a b m

Reactive rules (data dependency/passing building combinators)

Purely functional implementation

Setters, getters and notifiers

type FieldGetter m a

type FieldSetter m a

type FieldNotifier m a

Concrete types implementing the above interface

data ReactiveFieldRead m a

data ReactiveFieldWrite m a

data ReactiveFieldReadWrite m a

Activatable reactive values (producing units)

type ReactiveFieldActivatable m

class ReactiveValueActivatable m a

Creating RVs based on other RVs

Lifting onto readable values

Lifting onto readable values

Lifting onto writeable values

Lift monadic operations

Lifting (sink) computations into writable RVs.

Lifting (source) computations into readable RVs.

Lifting onto read-write values

Bijections

data BijectiveFunc a b

type Involution a

Actual lifting

Modifying reactive values (applying modification transformations)

reactiveValueModify

Deactivating reactive values

Conditionals

Category theoretic definitions