netwire integralWith' (integralWith, correction function has time (a -> a))

integralWith.hs

integralWith'
  :: (W.HasTime t s, Fractional a)
     => (a -> a)  -- ^ Correction function.
     -> a         -- ^ Integration constant (aka start value).
     -> W.Wire s e m a a
integralWith' correct = loop
  where
    loop x' =
        W.mkPure $ \ds dx ->
            let dt = realToFrac (W.dtime ds)
                x  = correct (x' + dt*dx)
            in x' `seq` (Right x', loop x)