yampa-test: Testing library for Yampa.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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.
Properties
| Versions | 0.1.0.0, 0.1.0.0, 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, 0.14.2, 0.14.3, 0.14.4, 0.14.5, 0.14.6, 0.14.7, 0.14.8 |
|---|---|
| Change log | CHANGELOG |
| Dependencies | base (>=4 && <5), normaldistribution, QuickCheck, Yampa (>=0.12) [details] |
| License | BSD-3-Clause |
| Author | Ivan Perez |
| Maintainer | ivan.perez@keera.co.uk |
| Category | Testing |
| Home page | http://github.com/ivanperez-keera/Yampa |
| Uploaded | by IvanPerez at 2018-10-21T16:41:51Z |
Modules
[Index] [Quick Jump]
Downloads
- yampa-test-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees