Maintainer | Ertugrul Soeylemez <es@ertes.de> |
---|---|
Safe Haskell | None |
- derivative :: (RealFloat a, HasTime t s, Monoid e) => Wire s e m a a
- integral :: (Fractional a, HasTime t s) => a -> Wire s e m a a
- integralWith :: (Fractional a, HasTime t s) => (w -> a -> a) -> a -> Wire s e m (a, w) a
Calculus
derivative :: (RealFloat a, HasTime t s, Monoid e) => Wire s e m a aSource
Time derivative of the input signal.
- Depends: now.
- Inhibits: at singularities.
:: (Fractional a, HasTime t s) | |
=> a | Integration constant (aka start value). |
-> Wire s e m a a |
Integrate the input signal over time.
- Depends: before now.
:: (Fractional a, HasTime t s) | |
=> (w -> a -> a) | Correction function. |
-> a | Integration constant (aka start value). |
-> Wire s e m (a, w) a |
Integrate the left input signal over time, but apply the given correction function to it. This can be used to implement collision detection/reaction.
The right signal of type w
is the world value. It is just passed
to the correction function for reference and is not used otherwise.
The correction function must be idempotent with respect to the world
value: f w (f w x) = f w x
. This is necessary and sufficient to
protect time continuity.
- Depends: before now.