yampa-test

Testing library for Yampa.

Testing and debugging library for Yampa.

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.