Control.Concurrent.Reactive

An API for generating reactive objects, as used in the TIMBER programming language.

Documentation

type Action s = s -> IO s

type Request s a = s -> IO (s, a)

reactiveObjectIO :: state -> (ThreadId -> (forall r. Request state r -> IO r) -> (Action state -> IO ()) -> IO () -> object) -> IO object