dunai-test

Testing library for Dunai

https://github.com/ivanperez-keera/dunai

Latest on Hackage:0.12.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Ivan Perez
Maintained by [email protected]

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.