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

- 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.