bearriver 0.14.11 → 0.14.12

raw patch · 3 files changed

+48/−4 lines, 3 filesdep ~dunaiPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: dunai

API changes (from Hackage documentation)

Files

• CHANGELOG +5/−0
• bearriver.cabal +2/−2
• src/FRP/Yampa.hs +41/−2

@@ -1,3 +1,8 @@+2024-12-21 Ivan Perez <ivan.perez@keera.co.uk>+        * Version bump (0.14.0) (#460).+        * Implement reactimate function matching the signature in Yampa (#454).+        * Thanks to @solomon-b.+ 2024-10-21 Ivan Perez <ivan.perez@keera.co.uk>         * Version bump (0.14.11) (#442).         * Offer all definitions from FRP.Yampa.Switches (#426).

@@ -30,7 +30,7 @@ build-type:    Simple  name:          bearriver-version:       0.14.11+version:       0.14.12 author:        Ivan Perez, Manuel Bärenz maintainer:    ivan.perez@keera.co.uk homepage:      https://github.com/ivanperez-keera/dunai@@ -102,7 +102,7 @@   build-depends:       base >= 4.6 && <5     , deepseq             >= 1.3.0.0 && < 1.6-    , dunai >= 0.6.0 && < 0.14+    , dunai >= 0.6.0 && < 0.15     , mtl                 >= 2.1.2 && < 2.4     , random              >= 1.1   && < 1.3     , simple-affine-space >= 0.1   && < 0.3

@@ -3,13 +3,15 @@ --              (c) Ivan Perez and Manuel Baerenz, 2016-2018 -- License    : BSD3 -- Maintainer : ivan.perez@keera.co.uk-module FRP.Yampa (module X, SF, FutureSF, embed) where+module FRP.Yampa (module X, SF, FutureSF, embed, reactimate) where  -- External imports+import Control.Monad.Reader  (mapReaderT) import Data.Functor.Identity (Identity, runIdentity)  -- Internal imports-import           FRP.BearRiver      as X hiding (FutureSF, SF, embed, loopPre)+import           FRP.BearRiver      as X hiding (FutureSF, SF, embed, loopPre,+                                          reactimate) import qualified FRP.BearRiver      as BR import           FRP.BearRiver.Loop as X @@ -30,3 +32,40 @@ -- This is a simplified, purely-functional version of 'reactimate'. embed :: SF a b -> (a, [(DTime, Maybe a)]) -> [b] embed sf = runIdentity . BR.embed sf++-- * Reactimation++-- | Convenience function to run a signal function indefinitely, using actions+-- to obtain new input and process the output.+--+-- This function first runs the initialization action, which provides the+-- initial input for the signal transformer at time 0.+--+-- Afterwards, an input sensing action is used to obtain new input (if any) and+-- the time since the last iteration. The argument to the input sensing function+-- indicates if it can block. If no new input is received, it is assumed to be+-- the same as in the last iteration.+--+-- After applying the signal function to the input, the actuation action is+-- executed. The first argument indicates if the output has changed, the second+-- gives the actual output). Actuation functions may choose to ignore the first+-- argument altogether. This action should return True if the reactimation must+-- stop, and False if it should continue.+--+-- Note that this becomes the program's /main loop/, which makes using this+-- function incompatible with GLUT, Gtk and other graphics libraries. It may+-- also impose a sizeable constraint in larger projects in which different+-- subparts run at different time steps. If you need to control the main loop+-- yourself for these or other reasons, use 'reactInit' and 'react'.+reactimate :: Monad m+           => m a                          -- ^ Initialization action+           -> (Bool -> m (DTime, Maybe a)) -- ^ Input sensing action+           -> (Bool -> b -> m Bool)        -- ^ Actuation (output processing)+                                           --   action+           -> SF a b                       -- ^ Signal function+           -> m ()+reactimate senseI sense actuate sf =+    BR.reactimate senseI sense actuate (foldIdentity sf)+  where+    foldIdentity :: Monad m => SF a b -> BR.SF m a b+    foldIdentity = morphS $ mapReaderT $ return . runIdentity