Simulation.Aivika.Dynamics

Tested with: GHC 8.0.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

Methods

(>>=) :: Dynamics a -> (a -> Dynamics b) -> Dynamics b

(>>) :: Dynamics a -> Dynamics b -> Dynamics b

return :: a -> Dynamics a

fail :: String -> Dynamics a

Functor Dynamics

Methods

fmap :: (a -> b) -> Dynamics a -> Dynamics b

(<$) :: a -> Dynamics b -> Dynamics a

MonadFix Dynamics

Methods

mfix :: (a -> Dynamics a) -> Dynamics a

Applicative Dynamics

Methods

pure :: a -> Dynamics a

(<*>) :: Dynamics (a -> b) -> Dynamics a -> Dynamics b

(*>) :: Dynamics a -> Dynamics b -> Dynamics b

(<*) :: Dynamics a -> Dynamics b -> Dynamics a

MonadIO Dynamics

Methods

liftIO :: IO a -> Dynamics a

ParameterLift Dynamics

Methods

liftParameter :: Parameter a -> Dynamics a

SimulationLift Dynamics

Methods

liftSimulation :: Simulation a -> Dynamics a

DynamicsLift Dynamics

Methods

liftDynamics :: Dynamics a -> Dynamics a

ResultComputing Dynamics

Methods

computeResultData :: Dynamics a -> ResultData a

computeResultSignal :: Dynamics a -> ResultSignal

Eq (Dynamics a)

Methods

(==) :: Dynamics a -> Dynamics a -> Bool

(/=) :: Dynamics a -> Dynamics a -> Bool

Floating a => Floating (Dynamics a)

Methods

pi :: Dynamics a

exp :: Dynamics a -> Dynamics a

log :: Dynamics a -> Dynamics a

sqrt :: Dynamics a -> Dynamics a

(**) :: Dynamics a -> Dynamics a -> Dynamics a

logBase :: Dynamics a -> Dynamics a -> Dynamics a

sin :: Dynamics a -> Dynamics a

cos :: Dynamics a -> Dynamics a

tan :: Dynamics a -> Dynamics a

asin :: Dynamics a -> Dynamics a

acos :: Dynamics a -> Dynamics a

atan :: Dynamics a -> Dynamics a

sinh :: Dynamics a -> Dynamics a

cosh :: Dynamics a -> Dynamics a

tanh :: Dynamics a -> Dynamics a

asinh :: Dynamics a -> Dynamics a

acosh :: Dynamics a -> Dynamics a

atanh :: Dynamics a -> Dynamics a

log1p :: Dynamics a -> Dynamics a

expm1 :: Dynamics a -> Dynamics a

log1pexp :: Dynamics a -> Dynamics a

log1mexp :: Dynamics a -> Dynamics a

Fractional a => Fractional (Dynamics a)

Methods

(/) :: Dynamics a -> Dynamics a -> Dynamics a

recip :: Dynamics a -> Dynamics a

fromRational :: Rational -> Dynamics a

Num a => Num (Dynamics a)

Methods

(+) :: Dynamics a -> Dynamics a -> Dynamics a

(-) :: Dynamics a -> Dynamics a -> Dynamics a

(*) :: Dynamics a -> Dynamics a -> Dynamics a

negate :: Dynamics a -> Dynamics a

abs :: Dynamics a -> Dynamics a

signum :: Dynamics a -> Dynamics a

fromInteger :: Integer -> Dynamics a

Show (Dynamics a)

Methods

showsPrec :: Int -> Dynamics a -> ShowS

show :: Dynamics a -> String

showList :: [Dynamics a] -> ShowS

ResultItemable (ResultValue a) => ResultProvider (Dynamics a)

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

class DynamicsLift m where

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

Minimal complete definition

liftDynamics

Methods

liftDynamics :: Dynamics a -> m a

Lift the specified Dynamics computation to another computation.

Instances

DynamicsLift Dynamics

Methods

liftDynamics :: Dynamics a -> Dynamics a

DynamicsLift Event

Methods

liftDynamics :: Dynamics a -> Event a

DynamicsLift Composite

Methods

liftDynamics :: Dynamics a -> Composite a

DynamicsLift Cont

Methods

liftDynamics :: Dynamics a -> Cont a

DynamicsLift Process

Methods

liftDynamics :: Dynamics a -> Process a

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.