yampa-test: Testing library for Yampa.
Testing library for Yampa.
This library contains several testing and debugging facilities for Yampa. In particular, 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.
|Versions [faq]||0.1.0.0, 0.1.1|
|Dependencies||base (==4.*), normaldistribution, QuickCheck, Yampa (>=0.12) [details]|
|Uploaded||by IvanPerez at Sat Oct 27 14:10:56 UTC 2018|
|Downloads||202 total (10 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2018-10-27 [all 1 reports]
For package maintainers and hackage trustees