yampa-test: Testing library for Yampa.
Testing and dbugging library for Yampa.
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.
|Versions [faq]||0.1.0.0, 0.1.1, 0.2|
|Dependencies||base (==4.*), normaldistribution, QuickCheck, Yampa (>=0.12) [details]|
|Uploaded||by IvanPerez at Tue Oct 15 00:26:18 UTC 2019|
|Downloads||729 total (101 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
Last success reported on 2019-10-15 [all 1 reports]
For package maintainers and hackage trustees