homepage: http://github.com/ivanperez-keera/Yampa
changelog-type: text
hash: 6eb0f1e39b7842a81f98aa9bfaf9e2416444f558718348f07b383e636ea9b46c
test-bench-deps:
  Yampa: -any
  Cabal: ! '>=1.19'
  base: <5
  yampa-test: -any
  cabal-test-quickcheck: -any
  random: -any
  QuickCheck: -any
maintainer: ivan.perez@keera.co.uk
synopsis: Testing library for Yampa.
changelog: ! "2018-10-21 Ivan Perez <ivan.perez@keera.co.uk>\n        * Initial version.\n\nCopyright
  (c) 2014-2018, Ivan Perez.\nAll rights reserved.\n\n"
basic-deps:
  Yampa: ! '>=0.12'
  base: ! '>=4 && <5'
  normaldistribution: -any
  QuickCheck: -any
all-versions:
- '0.1.0.0'
author: Ivan Perez
latest: '0.1.0.0'
description-type: haddock
description: ! 'Testing library for Yampa.


  This library contains several testing and debugging facilities for Yampa.

  In particular, 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

  <https://dl.acm.org/citation.cfm?id=3110246 Testing and Debugging Functional Reactive
  Programming>.'
license-name: BSD3

Update from Hackage at 2018-10-21T18:21:18Z
Update from Hackage at 2018-10-21T18:21:18Z
