module FRP.NetWire.Calculus
(
derivative,
derivativeFrom,
integral
)
where
import Control.DeepSeq
import Data.VectorSpace
import FRP.NetWire.Wire
derivative :: (NFData v, VectorSpace v, Scalar v ~ Double) => Wire v v
derivative = mkGen $ \_ y2 -> return (Nothing, derivativeFrom y2)
derivativeFrom :: (NFData v, VectorSpace v, Scalar v ~ Double) => v -> Wire v v
derivativeFrom y1 =
mkGen $ \(wsDTime -> dt) y2 -> do
let dy = (y2 ^-^ y1) ^/ dt
dy `deepseq` return (Just dy, derivativeFrom y2)
integral :: (NFData v, VectorSpace v, Scalar v ~ Double) => v -> Wire v v
integral x1 =
mkGen $ \ws dx -> do
let dt = wsDTime ws
x2 = x1 ^+^ dt *^ dx
x2 `deepseq` return (Just x2, integral x2)