@hackage dunai-test0.12.2

Testing library for Dunai

Categories
- Testing
License
BSD-3-Clause
Maintainer
ivan.perez@keera.co.uk
Links
Versions
- 0.12.2 Thu, 22 Feb 2024
- 0.12.1 Fri, 22 Dec 2023
- 0.12.0 Sun, 22 Oct 2023
- 0.11.2 Tue, 22 Aug 2023
- 0.11.1 Thu, 22 Jun 2023
- 0.11.0 Fri, 21 Apr 2023

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.

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- QuickCheck >=2.12 && <2.15
- dunai >=0.5 && <0.13
- normaldistribution >=1.0 && <1.2
Dependents (0)