aivika-0.7: A multi-paradigm simulation library

MaintainerDavid Sorokin <>
Safe HaskellSafe-Inferred



Tested with: GHC 7.6.3

This module defines interpolation functions. These functions complement the memoization, possibly except for the initDynamics function which is useful to get an initial value of any dynamic process.



initDynamics :: Dynamics a -> Dynamics aSource

Return the initial value.

discreteDynamics :: Dynamics a -> Dynamics aSource

Discretize the computation in the integration time points.

interpolateDynamics :: Dynamics a -> Dynamics aSource

Interpolate the computation based on the integration time points only. Unlike the discreteDynamics function it knows about the intermediate time points that are used in the Runge-Kutta method.