dunai-test 0.11.2 → 0.12.0

raw patch · 3 files changed

+13/−2 lines, 3 filesdep ~dunaiPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: dunai

API changes (from Hackage documentation)

Files

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

@@ -1,3 +1,7 @@+2023-10-21 Ivan Perez <ivan.perez@keera.co.uk>+        * Version bump (0.12.0) (#388).+        * Deprecate one of multiple ptLTL implementations (#385).+ 2023-08-21 Ivan Perez <ivan.perez@keera.co.uk>         * Version bump (0.11.2) (#377). 

@@ -30,7 +30,7 @@ build-type:    Simple  name:          dunai-test-version:       0.11.2+version:       0.12.0 author:        Ivan Perez maintainer:    ivan.perez@keera.co.uk homepage:      https://github.com/ivanperez-keera/dunai@@ -74,7 +74,7 @@    build-depends:       base >= 4 && < 5-    , dunai >= 0.5 && < 0.12+    , dunai >= 0.5 && < 0.13     , normaldistribution     , QuickCheck 

@@ -87,19 +87,23 @@ -- ** 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) @@ -110,6 +114,7 @@ -- -- 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@@ -119,6 +124,7 @@ -- | 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@@ -126,6 +132,7 @@   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