-- Simple test of recursive integrals, from Beelsebob import FRP.Reactive.Behavior import FRP.Reactive.PrimReactive import FRP.Reactive.Internal.Fun import FRP.Reactive import FRP.Reactive.Improving e = listE [(1,()),(2,()),(3,())] b = integral e b :: Behavior Double e' = listE [(0.5,0.5), (1,1), (1.5,1.5), (2,2), (2.5,2.5), (3,3)] snaps = b `snapshot_` e' -- (0.5,0.0)->(1.0,0.0)->(1.5,0.0)->(2.0,0.0)->(2.5,0.0)->(3.0,0.0)