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

Simulation.Aivika.Trans.Internal.Dynamics

Contents

Dynamics
Error Handling
Simulation Time
Debugging
Orphan instances

Description

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

newtype Dynamics m a Source #

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.

Constructors

Dynamics (Point m -> m a)

Instances

Instances details

MonadTrans Dynamics Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods lift :: Monad m => m a -> Dynamics m a #
Monad m => MonadCompTrans Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftComp :: m a -> Dynamics m a Source #
Monad m => DynamicsLift Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftDynamics :: Dynamics m a -> Dynamics m a Source #
Monad m => ParameterLift Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftParameter :: Parameter m a -> Dynamics m a Source #
Monad m => SimulationLift Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftSimulation :: Simulation m a -> Dynamics m a Source #
MonadDES m => ResultComputing Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods computeResultData :: Dynamics m a -> ResultData a m Source # computeResultSignal :: Dynamics m a -> ResultSignal m Source #
Monad m => MonadFail (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods fail :: String -> Dynamics m a #
MonadFix m => MonadFix (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods mfix :: (a -> Dynamics m a) -> Dynamics m a #
MonadIO m => MonadIO (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftIO :: IO a -> Dynamics m a #
Applicative m => Applicative (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods pure :: a -> Dynamics m a # (<>) :: Dynamics m (a -> b) -> Dynamics m a -> Dynamics m b # liftA2 :: (a -> b -> c) -> Dynamics m a -> Dynamics m b -> Dynamics m c # (>) :: Dynamics m a -> Dynamics m b -> Dynamics m b # (<*) :: Dynamics m a -> Dynamics m b -> Dynamics m a #
Functor m => Functor (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods fmap :: (a -> b) -> Dynamics m a -> Dynamics m b # (<$) :: a -> Dynamics m b -> Dynamics m a #
Monad m => Monad (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods (>>=) :: Dynamics m a -> (a -> Dynamics m b) -> Dynamics m b # (>>) :: Dynamics m a -> Dynamics m b -> Dynamics m b # return :: a -> Dynamics m a #
MonadException m => MonadCatch (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods catch :: (HasCallStack, Exception e) => Dynamics m a -> (e -> Dynamics m a) -> Dynamics m a #
(MonadException m, MonadMask m) => MonadMask (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods mask :: HasCallStack => ((forall a. Dynamics m a -> Dynamics m a) -> Dynamics m b) -> Dynamics m b # uninterruptibleMask :: HasCallStack => ((forall a. Dynamics m a -> Dynamics m a) -> Dynamics m b) -> Dynamics m b # generalBracket :: HasCallStack => Dynamics m a -> (a -> ExitCase b -> Dynamics m c) -> (a -> Dynamics m b) -> Dynamics m (b, c) #
MonadException m => MonadThrow (Dynamics m) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods throwM :: (HasCallStack, Exception e) => e -> Dynamics m a #
(Floating a, Monad m) => Floating (Dynamics m a) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods pi :: Dynamics m a # exp :: Dynamics m a -> Dynamics m a # log :: Dynamics m a -> Dynamics m a # sqrt :: Dynamics m a -> Dynamics m a # (**) :: Dynamics m a -> Dynamics m a -> Dynamics m a # logBase :: Dynamics m a -> Dynamics m a -> Dynamics m a # sin :: Dynamics m a -> Dynamics m a # cos :: Dynamics m a -> Dynamics m a # tan :: Dynamics m a -> Dynamics m a # asin :: Dynamics m a -> Dynamics m a # acos :: Dynamics m a -> Dynamics m a # atan :: Dynamics m a -> Dynamics m a # sinh :: Dynamics m a -> Dynamics m a # cosh :: Dynamics m a -> Dynamics m a # tanh :: Dynamics m a -> Dynamics m a # asinh :: Dynamics m a -> Dynamics m a # acosh :: Dynamics m a -> Dynamics m a # atanh :: Dynamics m a -> Dynamics m a # log1p :: Dynamics m a -> Dynamics m a # expm1 :: Dynamics m a -> Dynamics m a # log1pexp :: Dynamics m a -> Dynamics m a # log1mexp :: Dynamics m a -> Dynamics m a #
(Num a, Monad m) => Num (Dynamics m a) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods (+) :: Dynamics m a -> Dynamics m a -> Dynamics m a # (-) :: Dynamics m a -> Dynamics m a -> Dynamics m a # (*) :: Dynamics m a -> Dynamics m a -> Dynamics m a # negate :: Dynamics m a -> Dynamics m a # abs :: Dynamics m a -> Dynamics m a # signum :: Dynamics m a -> Dynamics m a # fromInteger :: Integer -> Dynamics m a #
(Fractional a, Monad m) => Fractional (Dynamics m a) Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods (/) :: Dynamics m a -> Dynamics m a -> Dynamics m a # recip :: Dynamics m a -> Dynamics m a # fromRational :: Rational -> Dynamics m a #
(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Dynamics m (SamplingCounter a)) m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods resultSource :: ResultName -> ResultDescription -> Dynamics m (SamplingCounter a) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (SamplingCounter a) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (SamplingCounter a) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Dynamics m (TimingCounter a)) m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods resultSource :: ResultName -> ResultDescription -> Dynamics m (TimingCounter a) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (TimingCounter a) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (TimingCounter a) -> ResultSource m Source #
(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Dynamics m (Array i e)) m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods resultSource :: ResultName -> ResultDescription -> Dynamics m (Array i e) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (Array i e) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (Array i e) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Dynamics m (Vector e)) m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods resultSource :: ResultName -> ResultDescription -> Dynamics m (Vector e) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m (Vector e) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m (Vector e) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Dynamics m a) m Source #
Instance details Defined in Simulation.Aivika.Trans.Results Methods resultSource :: ResultName -> ResultDescription -> Dynamics m a -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics m a -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics m a -> ResultSource m Source #

class DynamicsLift t m where Source #

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

Methods

liftDynamics :: Dynamics m a -> t m a Source #

Lift the specified Dynamics computation into another computation.

Instances

Instances details

Monad m => DynamicsLift Composite m Source #
Instance details Defined in Simulation.Aivika.Trans.Composite Methods liftDynamics :: Dynamics m a -> Composite m a Source #
MonadDES m => DynamicsLift Cont m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Cont Methods liftDynamics :: Dynamics m a -> Cont m a Source #
MonadDES m => DynamicsLift Process m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Process Methods liftDynamics :: Dynamics m a -> Process m a Source #
Monad m => DynamicsLift Dynamics m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Dynamics Methods liftDynamics :: Dynamics m a -> Dynamics m a Source #
Monad m => DynamicsLift Event m Source #
Instance details Defined in Simulation.Aivika.Trans.Internal.Event Methods liftDynamics :: Dynamics m a -> Event m a Source #

invokeDynamics :: Point m -> Dynamics m a -> m a Source #

Invoke the Dynamics computation.

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

time :: Monad m => Dynamics m Double Source #

Computation that returns the current simulation time.

isTimeInteg :: Monad m => Dynamics m Bool Source #

Whether the current time is an integration 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.

Orphan instances

MonadTrans Dynamics Source #
Instance details Methods lift :: Monad m => m a -> Dynamics m a #
Monad m => MonadCompTrans Dynamics m Source #
Instance details Methods liftComp :: m a -> Dynamics m a Source #
Monad m => ParameterLift Dynamics m Source #
Instance details Methods liftParameter :: Parameter m a -> Dynamics m a Source #
Monad m => SimulationLift Dynamics m Source #
Instance details Methods liftSimulation :: Simulation m a -> Dynamics m a Source #
Monad m => MonadFail (Dynamics m) Source #
Instance details Methods fail :: String -> Dynamics m a #
MonadFix m => MonadFix (Dynamics m) Source #
Instance details Methods mfix :: (a -> Dynamics m a) -> Dynamics m a #
MonadIO m => MonadIO (Dynamics m) Source #
Instance details Methods liftIO :: IO a -> Dynamics m a #
Applicative m => Applicative (Dynamics m) Source #
Instance details Methods pure :: a -> Dynamics m a # (<>) :: Dynamics m (a -> b) -> Dynamics m a -> Dynamics m b # liftA2 :: (a -> b -> c) -> Dynamics m a -> Dynamics m b -> Dynamics m c # (>) :: Dynamics m a -> Dynamics m b -> Dynamics m b # (<*) :: Dynamics m a -> Dynamics m b -> Dynamics m a #
Functor m => Functor (Dynamics m) Source #
Instance details Methods fmap :: (a -> b) -> Dynamics m a -> Dynamics m b # (<$) :: a -> Dynamics m b -> Dynamics m a #
Monad m => Monad (Dynamics m) Source #
Instance details Methods (>>=) :: Dynamics m a -> (a -> Dynamics m b) -> Dynamics m b # (>>) :: Dynamics m a -> Dynamics m b -> Dynamics m b # return :: a -> Dynamics m a #
MonadException m => MonadCatch (Dynamics m) Source #
Instance details Methods catch :: (HasCallStack, Exception e) => Dynamics m a -> (e -> Dynamics m a) -> Dynamics m a #
(MonadException m, MonadMask m) => MonadMask (Dynamics m) Source #
Instance details Methods mask :: HasCallStack => ((forall a. Dynamics m a -> Dynamics m a) -> Dynamics m b) -> Dynamics m b # uninterruptibleMask :: HasCallStack => ((forall a. Dynamics m a -> Dynamics m a) -> Dynamics m b) -> Dynamics m b # generalBracket :: HasCallStack => Dynamics m a -> (a -> ExitCase b -> Dynamics m c) -> (a -> Dynamics m b) -> Dynamics m (b, c) #
MonadException m => MonadThrow (Dynamics m) Source #
Instance details Methods throwM :: (HasCallStack, Exception e) => e -> Dynamics m a #
(Floating a, Monad m) => Floating (Dynamics m a) Source #
Instance details Methods pi :: Dynamics m a # exp :: Dynamics m a -> Dynamics m a # log :: Dynamics m a -> Dynamics m a # sqrt :: Dynamics m a -> Dynamics m a # (**) :: Dynamics m a -> Dynamics m a -> Dynamics m a # logBase :: Dynamics m a -> Dynamics m a -> Dynamics m a # sin :: Dynamics m a -> Dynamics m a # cos :: Dynamics m a -> Dynamics m a # tan :: Dynamics m a -> Dynamics m a # asin :: Dynamics m a -> Dynamics m a # acos :: Dynamics m a -> Dynamics m a # atan :: Dynamics m a -> Dynamics m a # sinh :: Dynamics m a -> Dynamics m a # cosh :: Dynamics m a -> Dynamics m a # tanh :: Dynamics m a -> Dynamics m a # asinh :: Dynamics m a -> Dynamics m a # acosh :: Dynamics m a -> Dynamics m a # atanh :: Dynamics m a -> Dynamics m a # log1p :: Dynamics m a -> Dynamics m a # expm1 :: Dynamics m a -> Dynamics m a # log1pexp :: Dynamics m a -> Dynamics m a # log1mexp :: Dynamics m a -> Dynamics m a #
(Num a, Monad m) => Num (Dynamics m a) Source #
Instance details Methods (+) :: Dynamics m a -> Dynamics m a -> Dynamics m a # (-) :: Dynamics m a -> Dynamics m a -> Dynamics m a # (*) :: Dynamics m a -> Dynamics m a -> Dynamics m a # negate :: Dynamics m a -> Dynamics m a # abs :: Dynamics m a -> Dynamics m a # signum :: Dynamics m a -> Dynamics m a # fromInteger :: Integer -> Dynamics m a #
(Fractional a, Monad m) => Fractional (Dynamics m a) Source #
Instance details Methods (/) :: Dynamics m a -> Dynamics m a -> Dynamics m a # recip :: Dynamics m a -> Dynamics m a # fromRational :: Rational -> Dynamics m a #