@hackage yampa-test0.1.0.0

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.