@hackage yampa-test0.14.12

Testing library for Yampa.

Categories
- Testing
License
BSD-3-Clause
Maintainer
ivan.perez@keera.co.uk
Links
Versions
- 0.14.12 Sun, 8 Dec 2024
- 0.14.11 Tue, 8 Oct 2024
- 0.14.10 Thu, 8 Aug 2024
- 0.14.9 Sun, 9 Jun 2024
- 0.14.8 Mon, 8 Apr 2024
- 0.14.7 Fri, 9 Feb 2024

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- QuickCheck >=2.12 && <2.16
- Yampa >=0.14.12 && <0.15
- normaldistribution >=1.1.0.1 && <1.2
Dependents (1)
@hackage/acme-everything

Package Flags

test-space

(off by default)

Enable space usage test suite

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.