Simulation.Aivika.Dynamics

Tested with: GHC 7.0.3

The module defines the Dynamics monad representing an abstract dynamic process, i.e. a time varying polymorphic function.

Documentation

data Dynamics a

A value in the Dynamics monad represents a dynamic process, i.e. a polymorphic time varying function.

Instances

Monad Dynamics

Functor Dynamics

MonadIO Dynamics

SimulationLift Dynamics

Eq (Dynamics a)

Floating a => Floating (Dynamics a)

Fractional a => Fractional (Dynamics a)

Num a => Num (Dynamics a)

Show (Dynamics a)

class Monad m => DynamicsLift m where

A type class to lift the Dynamics computations in other monads.

Methods

liftDynamics :: Dynamics a -> m a

Lift the specified Dynamics computation in another monad.

Instances

DynamicsLift Cont

DynamicsLift Process

runDynamicsInStart :: Dynamics a -> Simulation a

Run the dynamic process in the initial simulation point.

runDynamicsInFinal :: Dynamics a -> Simulation a

Run the dynamic process in the final simulation point.

runDynamics :: Dynamics a -> Simulation [IO a]

Run the dynamic process in all integration time points