MyNixOS website logo
Description

Sodium Reactive Programming (FRP) System.

A general purpose Reactive Programming (FRP) system. This is part of a project to implement reactive libraries with similar interfaces across a range of programming languages at http://reactiveprogramming.org/

  • Goals include simplicity and completeness.

  • Applicative style: Event implements Functor and Behaviour implements Applicative.

  • Instead of the common approach where inputs are fed into the front of a monolithic 'reactimate', Sodium allows you to push inputs in from scattered places in IO.

  • Integration with IO: Extensible to provide lots of scope for lifting IO into FRP logic.

  • Push-based imperative implementation.

See the examples directory for test cases and examples.

Changes:

  • 0.2.0.0 - Fix some value recursion deadlocks and improve docs;

  • 0.3.0.0 - Add mergeWith, make cross asynchronous;

  • 0.4.0.0 - API revamp to remove an excess type variable. Parallelism stuff to be rethought;

  • 0.5.0.0 - Improved tests cases + add Freecell example, API tweaks;

  • 0.5.0.1 - Internal improvements;

  • 0.5.0.2 - Fix multiple memory leaks;

  • 0.6 - Minor API changes, particular with accum;

  • 0.6.0.1 - ghc-7.8 compatibility;

  • 0.6.0.2 - Fix memory leak - see memory-test-8 & memory-test-8a;

  • 0.7.0.0 - Add split primitive.

  • 0.8.0.0 - Add executeIO primitive.

  • 0.9.0.0 - Rename changes to updates. Rename values to value.

  • 0.10.0.0 - Add Monoid instance to Event - thanks Finlay Thompson.

  • 0.10.0.1 - Fix finalizer issue that caused breakage in ghc-7.8 - thanks Luite Stegeman.

  • 0.10.0.2 - Second attempt.

  • 0.11.0.0 - Make merge left-biased, like Reactive Banana.

  • 0.11.0.1 - Fix regression when using in ghc-7.8: prevent keepAlive from being GC'd early

  • 0.11.0.2 - Thank you Samuel Gélineau. Fix breakage in 0.11.0.1.

Metadata

Version

0.11.0.3

Platforms (75)

    Darwin
    FreeBSD
    Genode
    GHCJS
    Linux
    MMIXware
    NetBSD
    none
    OpenBSD
    Redox
    Solaris
    WASI
    Windows
Show all
  • aarch64-darwin
  • aarch64-genode
  • aarch64-linux
  • aarch64-netbsd
  • aarch64-none
  • aarch64_be-none
  • arm-none
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv6l-none
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • avr-none
  • i686-cygwin
  • i686-darwin
  • i686-freebsd
  • i686-genode
  • i686-linux
  • i686-netbsd
  • i686-none
  • i686-openbsd
  • i686-windows
  • javascript-ghcjs
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • m68k-none
  • microblaze-linux
  • microblaze-none
  • microblazeel-linux
  • microblazeel-none
  • mips-linux
  • mips-none
  • mips64-linux
  • mips64-none
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • mmix-mmixware
  • msp430-none
  • or1k-none
  • powerpc-netbsd
  • powerpc-none
  • powerpc64-linux
  • powerpc64le-linux
  • powerpcle-none
  • riscv32-linux
  • riscv32-netbsd
  • riscv32-none
  • riscv64-linux
  • riscv64-netbsd
  • riscv64-none
  • rx-none
  • s390-linux
  • s390-none
  • s390x-linux
  • s390x-none
  • vc4-none
  • wasm32-wasi
  • wasm64-wasi
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd
  • x86_64-genode
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-none
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris
  • x86_64-windows