yampa-test: Testing library for Yampa.

[ bsd3, library, testing ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

[Last Documentation]

  • FRP
    • Yampa
      • FRP.Yampa.Debug
      • FRP.Yampa.LTLFuture
      • FRP.Yampa.LTLPast
      • FRP.Yampa.QuickCheck
      • FRP.Yampa.Stream

Flags

Manual Flags

NameDescriptionDefault
test-space

Enable space usage test suite

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.1, 0.2, 0.13.2, 0.13.3, 0.13.4, 0.13.5, 0.13.6, 0.13.7, 0.14, 0.14.1, 0.14.2, 0.14.3, 0.14.4, 0.14.5, 0.14.6, 0.14.7, 0.14.8, 0.14.9, 0.14.10, 0.14.11, 0.14.12
Change log CHANGELOG
Dependencies base (>=4 && <5), normaldistribution (>=1.1.0.1 && <1.2), QuickCheck (>=2.12 && <2.16), Yampa (>=0.14.12 && <0.15) [details]
License BSD-3-Clause
Author Ivan Perez
Maintainer ivan.perez@keera.co.uk
Category Testing
Home page http://github.com/ivanperez-keera/Yampa
Source repo head: git clone git://github.com/ivanperez-keera/Yampa.git(yampa-test)
Uploaded by IvanPerez at 2024-12-08T04:20:14Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3232 total (199 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs pending
Build status unknown [no reports yet]