yampa-test 0.14.9 → 0.14.10

raw patch · 3 files changed

+42/−2 lines, 3 filesdep ~YampaPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: Yampa

API changes (from Hackage documentation)

Files

• CHANGELOG +4/−0
• tests/Test/FRP/Yampa/Integration.hs +36/−0
• yampa-test.cabal +2/−2

@@ -1,3 +1,7 @@+2024-08-07 Ivan Perez <ivan.perez@keera.co.uk>+    * Version bump (0.14.10) (#302).+    * Add test for trapezoidIntegral (#263).+ 2024-06-08 Ivan Perez <ivan.perez@keera.co.uk>     * Version bump (0.14.9) (#299). 

@@ -27,6 +27,8 @@   , testProperty "imIntegral (0, qc)"         testImIntegral0   , testProperty "imIntegral (1, qc)"         testImIntegral1   , testProperty "imIntegral (2, qc)"         testImIntegral2+  , testProperty "trapezoidIntegral (0, qc)"  testTrapezoidIntegral0+  , testProperty "trapezoidIntegral (1, qc)"  testTrapezoidIntegral1   , testProperty "impulseIntegral (0, fixed)" (property $ utils_t7 ~= utils_t7r)   , testProperty "count (0, fixed)"           (property $ utils_t4 ~= utils_t4r)   , testProperty "count (1, fixed)"           (property $ utils_t5 ~= utils_t5r)@@ -146,6 +148,40 @@      sfByHand :: SF Double Double     sfByHand = imIntegral 0 >>> arr (*2)++    close (x,y) = abs (x-y) < 0.05++testTrapezoidIntegral0 :: Property+testTrapezoidIntegral0 =+    forAll myStream $ evalT $+      Next $ Always $ prop ((sf &&& sfByHand), const close)++  where+    myStream :: Gen (SignalSampleStream Double)+    myStream = uniDistStream++    sf :: SF Double Double+    sf = trapezoidIntegral >>> derivative++    sfByHand :: SF Double Double+    sfByHand = (identity &&& iPre 0) >>^ (\(x, y) -> (x + y) / 2)++    close (x,y) = abs (x-y) < 0.05++testTrapezoidIntegral1 :: Property+testTrapezoidIntegral1 =+    forAll myStream $ evalT $+      Next $ Always $ prop ((sf &&& sfByHand), const close)++  where+    myStream :: Gen (SignalSampleStream Double)+    myStream = uniDistStream++    sf :: SF Double Double+    sf = arr (*2) >>> trapezoidIntegral++    sfByHand :: SF Double Double+    sfByHand = trapezoidIntegral >>> arr (*2)      close (x,y) = abs (x-y) < 0.05 

@@ -31,7 +31,7 @@ build-type:    Simple  name:          yampa-test-version:       0.14.9+version:       0.14.10 author:        Ivan Perez maintainer:    ivan.perez@keera.co.uk homepage:      http://github.com/ivanperez-keera/Yampa@@ -84,7 +84,7 @@       base               >= 4       && < 5     , normaldistribution >= 1.1.0.1 && < 1.2     , QuickCheck         >= 2.12    && < 2.15-    , Yampa              >= 0.14.9  && < 0.15+    , Yampa              >= 0.14.10 && < 0.15    default-language:     Haskell2010