Home

Feel free to edit these Wiki pages! In particular concerning questions, documentation etc.

Some documentation can be found in the doc/ subdirectory.

TODO

Finish up the Reative library. In particular:

• Think up a good name for the Change data type. It should be mnemonic for both events and behaviors. Currently, it's only mnemonic for behaviors
• Optimize Behavior for the case of pure functions, so that we can make use the applicative instance when we want to fmap something.
• Behavior version of accumulate, filter. Should they be overloaded as well? Or should users always interject a pure to use them?

Decided

• The following functions will be overloaded. Note that apply is the behavioral version of map, but I think distinct names make sense here. Note that the non-overloaded version of map is called fmap, so there is no clash with the prelude.

  apply   :: Behavior (a -> t) -> Event a -> Event b
  map     :: (a -> t) -> Event a -> Event b
  accumulate :: (b -> a -> t) -> b -> Event a -> Behavior b