HeinrichApfelmus/reactive-banana — Issue #24: Add type paramater to Event, Behavior, NetworkDescription
Author: HeinrichApfelmus
Created: 2012-01-01 19:33:02+00:00
State: open
Labels: design-discussion

I would like to add a type parameter to the `Event`, `Behavior` and `NetworkDescription` monad in preparation for the implementation of dynamic event switching. In other words, functions will now like this:

filterE :: (a -> Bool) -> Event t a -> Event t a
fromAddHandler :: AddHandler a -> NetworkDescription t (Event t a)

In return, the `FRP` is going to be removed, so that's one parameter less to worry about. (You will still be able to check event graphs against the model implementation.)

More details [on my blog][1].

[1]: http://apfelmus.nfshost.com/blog/2012/01/01-frp-api-0-5.html