Data.ReactiveValue

Reactive Values

Readable Reactive Values

class ReactiveValueRead a b m

Writable Reactive Values

class ReactiveValueWrite a b m

Read-Write Reactive Values

class ReactiveValueReadWrite a b m

Reactive Relations or Rules

Activatable Reactive Values

type ReactiveFieldActivatable m

class ReactiveValueActivatable m a

Purely functional implementation of RVs.

data ReactiveFieldRead m a

data ReactiveFieldWrite m a

data ReactiveFieldReadWrite m a

Setters, getters and notifiers

type FieldGetter m a

type FieldSetter m a

type FieldNotifier m a

RV combinators

Creating, lifting on and manipulating readable values

Merging

Creating, lifting on and manipulating writeable values

Lift monadic actions/sinks (setters) and sources (getters)

Lifting (sink) computations into writable RVs.

Bijective functions

data BijectiveFunc a b

type Involution a

Combinators

reactiveValueModify

Stopping change

Stopping unnecesary change propagation

Stopping all change propagation

Changing control over change propagation

Conditional change propagation