package

dunai-test

Description

Testing library for Dunai.

Description

hackage.haskell.org

Testing and debugging library for Dunai.

It contains:

Debugging signal functions using Debug.Trace.
A definition of Temporal Predicates based on LTL.
Monitoring signal functions with ptLTL using Signal Predicates.
A definition of Streams, and a Stream manipulation API.
Signal/stream generators for QuickCheck.

A detailed explanation of these ideas is included in the ICFP 2017 paper Testing and Debugging Functional Reactive Programming.

Metadata

Version

0.13.2

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:95936

Homepage

https://hackage.haskell.org/package/dunai-test

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all