dunai-test
Version 0.13.2 revision 0 uploaded by IvanPerez.
Package meta
- Synopsis
- Testing library for Dunai
- Description
Testing and debugging library for Dunai.
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.
- Author
- Ivan Perez
- Bug reports
- n/a
- Category
- Testing
- Copyright
- Copyright (c) 2017 - Ivan Perez
- Homepage
- https://github.com/ivanperez-keera/dunai
- Maintainer
- ivan.perez@keera.co.uk
- Package URL
- n/a
- Stability
- n/a