@hackage dunai-test0.7.0

Testing library for Dunai

Categories
- Testing
License
BSD-3-Clause
Maintainer
ivan.perez@keera.co.uk
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.13.2 Tue, 22 Oct 2024
- 0.13.1 Thu, 22 Aug 2024
- 0.13.0 Sat, 22 Jun 2024
- 0.12.3 Tue, 23 Apr 2024
- 0.12.2 Thu, 22 Feb 2024
- 0.12.1 Fri, 22 Dec 2023

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- QuickCheck
- dunai >=0.5 && <0.8
- normaldistribution
Dependents (0)

Testing and debugging library for Duani.

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.