Simulation.Aivika.Trans.Dynamics

Tested with: GHC 8.0.1

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

Dynamics Monad

data Dynamics m a

A value in the Dynamics monad represents a polymorphic time varying function defined in the whole spectrum of time values as a single entity. It is ideal for numerical approximating integrals.

Instances

Monad m => DynamicsLift Dynamics m

Methods

liftDynamics :: Dynamics m a -> Dynamics m a

MonadDES m => ResultComputing Dynamics m

Methods

computeResultData :: Dynamics m a -> ResultData a m

computeResultSignal :: Dynamics m a -> ResultSignal m

(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Dynamics m (Vector e)) m

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics m (Vector e) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (Vector e) -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (Vector e) -> ResultSource m

(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Dynamics m (Array i e)) m

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics m (Array i e) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (Array i e) -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (Array i e) -> ResultSource m

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Dynamics m (TimingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics m (TimingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (TimingCounter a) -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (TimingCounter a) -> ResultSource m

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Dynamics m (SamplingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics m (SamplingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (SamplingCounter a) -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (SamplingCounter a) -> ResultSource m

(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Dynamics m a) m

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics m a -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m a -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m a -> ResultSource m

class DynamicsLift t m where

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

Minimal complete definition

liftDynamics

Methods

liftDynamics :: Dynamics m a -> t m a

Lift the specified Dynamics computation into another computation.

Instances

Monad m => DynamicsLift Dynamics m

Methods

liftDynamics :: Dynamics m a -> Dynamics m a

Monad m => DynamicsLift Composite m

Methods

liftDynamics :: Dynamics m a -> Composite m a

MonadDES m => DynamicsLift Cont m

Methods

liftDynamics :: Dynamics m a -> Cont m a

MonadDES m => DynamicsLift Process m

Methods

liftDynamics :: Dynamics m a -> Process m a

runDynamicsInStartTime :: Dynamics m a -> Simulation m a

Run the Dynamics computation in the initial time point.

runDynamicsInStopTime :: Dynamics m a -> Simulation m a

Run the Dynamics computation in the final time point.

runDynamicsInIntegTimes :: Monad m => Dynamics m a -> Simulation m [m a]

Run the Dynamics computation in all integration time points.

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

Run the Dynamics computation in the specified time point.

runDynamicsInTimes :: Monad m => [Double] -> Dynamics m a -> Simulation m [m a]

Run the Dynamics computation in the specified time points.

Error Handling

catchDynamics :: (MonadException m, Exception e) => Dynamics m a -> (e -> Dynamics m a) -> Dynamics m a

Exception handling within Dynamics computations.

finallyDynamics :: MonadException m => Dynamics m a -> Dynamics m b -> Dynamics m a

A computation with finalization part like the finally function.

throwDynamics :: (MonadException m, Exception e) => e -> Dynamics m a

Like the standard throw function.

Simulation Time

time :: Monad m => Dynamics m Double

Computation that returns the current simulation time.

isTimeInteg :: Monad m => Dynamics m Bool

Whether the current time is an integration time.

integIteration :: Monad m => Dynamics m Int

Return the integration iteration closest to the current simulation time.

integPhase :: Monad m => Dynamics m Int

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

Debugging

traceDynamics :: Monad m => String -> Dynamics m a -> Dynamics m a

Show the debug message with the current simulation time.