The elerea package

[Tags: bsd3, library]

Elerea (Eventless reactivity) is a tiny discrete time FRP implementation without the notion of event-based switching and sampling, with first-class signals (time-varying values). Reactivity is provided through various higher-order constructs that also allow the user to work with arbitrary time-varying structures containing live signals. Signals have precise and simple denotational semantics.

Stateful signals can be safely generated at any time through a monadic interface, while stateless combinators can be used in a purely applicative style. Elerea signals can be defined recursively, and external input is trivial to attach. The library comes in three major variants:

This is a minimal library that defines only some basic primitives, and you are advised to install elerea-examples as well to get an idea how to build non-trivial systems with it. The examples are separated in order to minimise the dependencies of the core library. The dow package contains a full game built on top of the simple variant.

The basic idea of the implementation is described in the WFLP 2010 paper Efficient and Compositional Higher-Order Streams (http://sgate.emt.bme.hu/documents/patai/publications/PataiWFLP2010.pdf).

Additional contributions: Takano Akio, Mitsutoshi Aoe

Properties

Versions0.1.0, 0.2.0, 0.3.0, 0.4.0, 0.5.0, 0.6.0, 1.0.0, 1.1.0, 1.2.0, 1.2.1, 1.2.2, 1.2.3, 2.0.0, 2.1.0, 2.2.0, 2.3.0, 2.4.0, 2.5.0, 2.6.0, 2.7.0, 2.7.0.1, 2.7.0.2, 2.8.0
Change logCHANGES
Dependenciesbase (==4.*), containers, transformers, transformers-base [details]
LicenseBSD3
Copyright(c) 2009-2012, Patai Gergely
AuthorPatai Gergely
MaintainerPatai Gergely (patai.gergely@gmail.com)
Stabilityexperimental
Categoryreactivity, FRP
UploadedSat Nov 22 08:43:00 UTC 2014 by GergelyPatai
DistributionsNixOS:2.8.0
Downloads5893 total (258 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees