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

Package maintainers

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, 0.13.7, 0.14, 0.14.1
Change log CHANGELOG
Dependencies base (>=4 && <5), normaldistribution, QuickCheck, Yampa (>=0.14.1 && <0.15) [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 2023-02-07T08:17:49Z
Distributions NixOS:0.14.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1636 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-02-07 [all 1 reports]