dunai-test 0.13.2 → 0.14.0

raw patch · 3 files changed

+7/−56 lines, 3 filesdep ~dunaiPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: dunai

API changes (from Hackage documentation)

Files

• CHANGELOG +5/−0
• dunai-test.cabal +2/−2
• src/FRP/Dunai/LTLPast.hs +0/−54

@@ -1,3 +1,8 @@+2024-12-21 Ivan Perez <ivan.perez@keera.co.uk>+        * Version bump (0.14.0) (#460).+        * Remove deprecated definitions from FRP.Dunai.LTLPast (#444).+        * Thanks to @solomon-b.+ 2024-10-21 Ivan Perez <ivan.perez@keera.co.uk>         * Version bump (0.13.2) (#442).         * Increase upper bounds on QuickCheck (#436).

@@ -30,7 +30,7 @@ build-type:    Simple  name:          dunai-test-version:       0.13.2+version:       0.14.0 author:        Ivan Perez maintainer:    ivan.perez@keera.co.uk homepage:      https://github.com/ivanperez-keera/dunai@@ -77,7 +77,7 @@    build-depends:       base >= 4 && < 5-    , dunai >= 0.5 && < 0.14+    , dunai >= 0.5 && < 0.15     , normaldistribution >= 1.0  && < 1.2     , QuickCheck         >= 2.12 && < 2.16 

@@ -83,57 +83,3 @@  -- | A signal predicate is an MSF whose output is a Boolean value. type SPred m a = MSF m a Bool---- ** Propositional MSFs---- | Output True at times when the input is False.-{-# DEPRECATED notSF' "Use notSF instead" #-}-notSF' :: Monad m => SPred m a -> SPred m a-notSF' sf = sf >>> arr not---- | Output True at times when both inputs are True.-{-# DEPRECATED andSF' "Use andSF instead" #-}-andSF' :: Monad m => SPred m a -> SPred m a -> SPred m a-andSF' sf1 sf2 = (sf1 &&& sf2) >>> arr (uncurry (&&))---- | Output True at times when at least one of the inputs is True.-{-# DEPRECATED orSF' "Use orSF instead" #-}-orSF' :: Monad m => SPred m a -> SPred m a -> SPred m a-orSF' sf1 sf2 = (sf1 &&& sf2) >>> arr (uncurry (||))---- | Output True at times when the first input stream is False or the second--- one is True.-{-# DEPRECATED implySF' "Use impliesSF instead" #-}-implySF' :: Monad m => SPred m a -> SPred m a -> SPred m a-implySF' sf1 sf2 = orSF' sf2 (notSF' sf1)---- ** Temporal MSFs---- | Output True at a time if the input has always been True up until that--- time.------ This corresponds to Historically, or the past-time version of Globally or--- Always.-{-# DEPRECATED history' "Use sofarSF instead" #-}-history' :: Monad m => SPred m a -> SPred m a-history' sf = feedback True $ proc (a, last) -> do-  b <- sf -< a-  let cur = last && b-  returnA -< (cur, cur)---- | Output True at a time if the input has ever been True up until that time.------ This corresponds to Ever, or the past-time version of Eventually.-{-# DEPRECATED ever' "Use everSF instead" #-}-ever' :: Monad m => SPred m a -> SPred m a-ever' sf = feedback False $ proc (a, last) -> do-  b <- sf -< a-  let cur = last || b-  returnA -< (cur, cur)---- | Output True at a time if the input at the last time was True.-{-# DEPRECATED prev' "Use lastSF instead" #-}-prev' :: Monad m => SPred m a -> SPred m a-prev' sf = feedback True $ proc (a, last) -> do-  b <- sf -< a-  returnA -< (last, b)