Copyright | Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com> |
---|---|
License | BSD3 |
Maintainer | David Sorokin <david.sorokin@gmail.com> |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Tested with: GHC 8.0.1
The module defines the Dynamics
monad transformer representing a time varying polymorphic function.
Synopsis
- newtype Dynamics m a = Dynamics (Point m -> m a)
- class DynamicsLift t m where
- liftDynamics :: Dynamics m a -> t m a
- invokeDynamics :: Point m -> Dynamics m a -> m a
- runDynamicsInStartTime :: Dynamics m a -> Simulation m a
- runDynamicsInStopTime :: Dynamics m a -> Simulation m a
- runDynamicsInIntegTimes :: Monad m => Dynamics m a -> Simulation m [m a]
- runDynamicsInTime :: Double -> Dynamics m a -> Simulation m a
- runDynamicsInTimes :: Monad m => [Double] -> Dynamics m a -> Simulation m [m a]
- catchDynamics :: (MonadException m, Exception e) => Dynamics m a -> (e -> Dynamics m a) -> Dynamics m a
- finallyDynamics :: MonadException m => Dynamics m a -> Dynamics m b -> Dynamics m a
- throwDynamics :: (MonadException m, Exception e) => e -> Dynamics m a
- time :: Monad m => Dynamics m Double
- isTimeInteg :: Monad m => Dynamics m Bool
- integIteration :: Monad m => Dynamics m Int
- integPhase :: Monad m => Dynamics m Int
- traceDynamics :: Monad m => String -> Dynamics m a -> Dynamics m a
Dynamics
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
class DynamicsLift t m where Source #
A type class to lift the Dynamics
computations into other computations.
liftDynamics :: Dynamics m a -> t m a Source #
Lift the specified Dynamics
computation into another computation.
Instances
Monad m => DynamicsLift Composite m Source # | |
Defined in Simulation.Aivika.Trans.Composite liftDynamics :: Dynamics m a -> Composite m a Source # | |
MonadDES m => DynamicsLift Cont m Source # | |
Defined in Simulation.Aivika.Trans.Internal.Cont liftDynamics :: Dynamics m a -> Cont m a Source # | |
MonadDES m => DynamicsLift Process m Source # | |
Defined in Simulation.Aivika.Trans.Internal.Process liftDynamics :: Dynamics m a -> Process m a Source # | |
Monad m => DynamicsLift Dynamics m Source # | |
Defined in Simulation.Aivika.Trans.Internal.Dynamics liftDynamics :: Dynamics m a -> Dynamics m a Source # | |
Monad m => DynamicsLift Event m Source # | |
Defined in Simulation.Aivika.Trans.Internal.Event liftDynamics :: Dynamics m a -> Event m a Source # |
runDynamicsInStartTime :: Dynamics m a -> Simulation m a Source #
Run the Dynamics
computation in the initial time point.
runDynamicsInStopTime :: Dynamics m a -> Simulation m a Source #
Run the Dynamics
computation in the final time point.
runDynamicsInIntegTimes :: Monad m => Dynamics m a -> Simulation m [m a] Source #
Run the Dynamics
computation in all integration time points.
runDynamicsInTime :: Double -> Dynamics m a -> Simulation m a Source #
Run the Dynamics
computation in the specified time point.
runDynamicsInTimes :: Monad m => [Double] -> Dynamics m a -> Simulation m [m a] Source #
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 Source #
Exception handling within Dynamics
computations.
finallyDynamics :: MonadException m => Dynamics m a -> Dynamics m b -> Dynamics m a Source #
A computation with finalization part like the finally
function.
throwDynamics :: (MonadException m, Exception e) => e -> Dynamics m a Source #
Like the standard throw
function.
Simulation Time
integIteration :: Monad m => Dynamics m Int Source #
Return the integration iteration closest to the current simulation time.
integPhase :: Monad m => Dynamics m Int Source #
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 Source #
Show the debug message with the current simulation time.