Stability | experimental |
---|---|
Maintainer | David Sorokin <david.sorokin@gmail.com> |
Safe Haskell | Safe-Infered |
Tested with: GHC 7.0.3
The module defines the Dynamics
monad representing an abstract dynamic
process, i.e. a time varying polymorphic function.
- data Dynamics a
- class Monad m => DynamicsLift m where
- liftDynamics :: Dynamics a -> m a
- runDynamicsInStart :: Dynamics a -> Simulation a
- runDynamicsInFinal :: Dynamics a -> Simulation a
- runDynamics :: Dynamics a -> Simulation [IO a]
Documentation
A value in the Dynamics
monad represents a dynamic process, i.e.
a polymorphic time varying function.
class Monad m => DynamicsLift m whereSource
A type class to lift the Dynamics
computations in other monads.
liftDynamics :: Dynamics a -> m aSource
Lift the specified Dynamics
computation in another monad.
runDynamicsInStart :: Dynamics a -> Simulation aSource
Run the dynamic process in the initial simulation point.
runDynamicsInFinal :: Dynamics a -> Simulation aSource
Run the dynamic process in the final simulation point.
runDynamics :: Dynamics a -> Simulation [IO a]Source
Run the dynamic process in all integration time points