name:                yampa-test
version:             0.13.3
synopsis:            Testing library for Yampa.
description:
  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
  <https://dl.acm.org/citation.cfm?id=3110246 Testing and Debugging Functional Reactive Programming>.

homepage:            http://github.com/ivanperez-keera/Yampa
license:             BSD3
license-file:        LICENSE
author:              Ivan Perez
maintainer:          ivan.perez@keera.co.uk
-- copyright:
category:            Testing
build-type:          Simple
extra-source-files:  CHANGELOG

cabal-version:       >=1.10

library
  exposed-modules:     FRP.Yampa.Debug
                       FRP.Yampa.LTLFuture
                       FRP.Yampa.LTLPast
                       FRP.Yampa.Stream
                       FRP.Yampa.QuickCheck
  build-depends:       base >=4 && <5,
                       Yampa >= 0.13.3 && < 0.14,
                       QuickCheck,
                       normaldistribution
  hs-source-dirs:      src
  default-language:    Haskell2010

test-suite yampa-quicheck
  type:        exitcode-stdio-1.0
  main-is:     YampaQC.hs
  ghc-options: -Wall
  default-language:    Haskell2010

  hs-source-dirs:   tests
  build-depends:
    base < 5,
    random,
    Cabal >= 1.19,
    QuickCheck,
    tasty,
    tasty-quickcheck,
    Yampa,
    yampa-test