yampa-test: Testing library for Yampa.

[ bsd3, library, testing ] [ Propose Tags ]

Testing and debugging library for Yampa.

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.


Manual Flags


Enable space usage test suite


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS], 0.1.1, 0.2, 0.13.2, 0.13.3, 0.13.4, 0.13.5, 0.13.6
Change log CHANGELOG
Dependencies base (>=4 && <5), normaldistribution, QuickCheck, Yampa (>=0.13.6 && <0.14) [details]
License BSD-3-Clause
Author Ivan Perez
Maintainer ivan.perez@keera.co.uk
Category Testing
Home page http://github.com/ivanperez-keera/Yampa
Source repo head: git clone git://github.com/ivanperez-keera/Yampa.git(yampa-test)
Uploaded by IvanPerez at 2022-08-08T03:10:54Z
Distributions NixOS:0.13.6
Downloads 1499 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-08-08 [all 1 reports]