@hackage / dunai-test

Testing library for Dunai

Latest0.14.1

About

Metadata

  • Last updated , by IvanPerez
  • License BSD-3-Clause
  • Categories Testing

  • Maintained by: contact@ivanperez.io

  • Lottery factor: 1

Links

Installation

Readme

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.