Simulation.Aivika.Dynamics

Tested with: GHC 7.10.1

The module defines the Dynamics monad representing a time varying polymorphic function.

Dynamics Monad

data Dynamics a

A value in the Dynamics monad represents a polymorphic time varying function.

Instances

Monad Dynamics

Functor Dynamics

MonadFix Dynamics

Applicative Dynamics

MonadIO Dynamics

ParameterLift Dynamics

SimulationLift Dynamics

DynamicsLift Dynamics

ResultComputing Dynamics

Eq (Dynamics a)

Floating a => Floating (Dynamics a)

Fractional a => Fractional (Dynamics a)

Num a => Num (Dynamics a)

Show (Dynamics a)

class DynamicsLift m where

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

Methods

liftDynamics :: Dynamics a -> m a

Lift the specified Dynamics computation to another computation.

Instances

DynamicsLift Dynamics

DynamicsLift Event

DynamicsLift Cont

DynamicsLift Process

runDynamicsInStartTime :: Dynamics a -> Simulation a

Run the Dynamics computation in the initial time point.

runDynamicsInStopTime :: Dynamics a -> Simulation a

Run the Dynamics computation in the final time point.

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

Run the Dynamics computation in all integration time points.

runDynamicsInTime :: Double -> Dynamics a -> Simulation a

Run the Dynamics computation in the specified time point.

runDynamicsInTimes :: [Double] -> Dynamics a -> Simulation [IO a]

Run the Dynamics computation in the specified time points.

Error Handling

catchDynamics :: Exception e => Dynamics a -> (e -> Dynamics a) -> Dynamics a

Exception handling within Dynamics computations.

finallyDynamics :: Dynamics a -> Dynamics b -> Dynamics a

A computation with finalization part like the finally function.

throwDynamics :: Exception e => e -> Dynamics a

Like the standard throw function.

Simulation Time

time :: Dynamics Double

Computation that returns the current simulation time.

isTimeInteg :: Dynamics Bool

Whether the current time is an integration time.

integIteration :: Dynamics Int

Return the integration iteration closest to the current simulation time.

integPhase :: Dynamics Int

Return the integration phase for the current simulation time. It is (-1) for non-integration time points.

Debugging

traceDynamics :: String -> Dynamics a -> Dynamics a

Show the debug message with the current simulation time.