| Copyright | (c) Ivan Perez 2019-2022 (c) Ivan Perez and Manuel Baerenz 2016-2018 |
|---|---|
| License | BSD3 |
| Maintainer | ivan.perez@keera.co.uk |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
FRP.BearRiver.Loop
Description
Well-initialised loops.
Synopsis
- loopPre :: MonadFix m => c -> SF m (a, c) (b, c) -> SF m a b
- loopIntegral :: (MonadFix m, Fractional s, VectorSpace c s) => SF m (a, c) (b, c) -> SF m a b
Loops with guaranteed well-defined feedback
loopPre :: MonadFix m => c -> SF m (a, c) (b, c) -> SF m a b Source #
Loop with an initial value for the signal being fed back.
loopIntegral :: (MonadFix m, Fractional s, VectorSpace c s) => SF m (a, c) (b, c) -> SF m a b Source #
Loop by integrating the second value in the pair and feeding the result back. Because the integral at time 0 is zero, this is always well defined.