Copyright | (c) Antony Courtney and Henrik Nilsson Yale University 2003 |
---|---|
License | BSD-style (see the LICENSE file in the distribution) |
Maintainer | ivan.perez@keera.co.uk |
Stability | provisional |
Portability | non-portable -GHC extensions- |
Safe Haskell | None |
Language | Haskell98 |
Well-initialised loops
Synopsis
- loopPre :: c -> SF (a, c) (b, c) -> SF a b
- loopIntegral :: VectorSpace c s => SF (a, c) (b, c) -> SF a b
Loops with guaranteed well-defined feedback
loopPre :: c -> SF (a, c) (b, c) -> SF a b Source #
Loop with an initial value for the signal being fed back.
loopIntegral :: VectorSpace c s => SF (a, c) (b, c) -> SF 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.