aivika-6.1.1: A multi-method simulation library
CopyrightCopyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

Simulation.Aivika.Dynamics

Description

Tested with: GHC 8.0.1

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

Synopsis

Dynamics Monad

data Dynamics a Source #

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

Instances

Instances details
DynamicsLift Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

liftDynamics :: Dynamics a -> Dynamics a Source #

ParameterLift Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

liftParameter :: Parameter a -> Dynamics a Source #

SimulationLift Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

liftSimulation :: Simulation a -> Dynamics a Source #

ResultComputing Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

computeResultData :: Dynamics a -> ResultData a Source #

computeResultSignal :: Dynamics a -> ResultSignal Source #

MonadFail Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

fail :: String -> Dynamics a #

MonadFix Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

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

MonadIO Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

liftIO :: IO a -> Dynamics a #

Applicative Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

pure :: a -> Dynamics a #

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

liftA2 :: (a -> b -> c) -> Dynamics a -> Dynamics b -> Dynamics c #

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

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

Functor Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

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

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

Monad Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

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

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

return :: a -> Dynamics a #

MonadCatch Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

catch :: (HasCallStack, Exception e) => Dynamics a -> (e -> Dynamics a) -> Dynamics a #

MonadMask Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

mask :: HasCallStack => ((forall a. Dynamics a -> Dynamics a) -> Dynamics b) -> Dynamics b #

uninterruptibleMask :: HasCallStack => ((forall a. Dynamics a -> Dynamics a) -> Dynamics b) -> Dynamics b #

generalBracket :: HasCallStack => Dynamics a -> (a -> ExitCase b -> Dynamics c) -> (a -> Dynamics b) -> Dynamics (b, c) #

MonadThrow Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

throwM :: (HasCallStack, Exception e) => e -> Dynamics a #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Dynamics (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

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

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

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

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Dynamics (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

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

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

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

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

Defined in Simulation.Aivika.Results

Methods

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

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

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

ResultItemable (ResultValue [e]) => ResultProvider (Dynamics (Vector e)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

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

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

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

ResultItemable (ResultValue a) => ResultProvider (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

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

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

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

Floating a => Floating (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

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 #

Num a => Num (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

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 #

Fractional a => Fractional (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

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

recip :: Dynamics a -> Dynamics a #

fromRational :: Rational -> Dynamics a #

Show (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

showsPrec :: Int -> Dynamics a -> ShowS #

show :: Dynamics a -> String #

showList :: [Dynamics a] -> ShowS #

Eq (Dynamics a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

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

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

class DynamicsLift m where Source #

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

Methods

liftDynamics :: Dynamics a -> m a Source #

Lift the specified Dynamics computation to another computation.

Instances

Instances details
DynamicsLift Composite Source # 
Instance details

Defined in Simulation.Aivika.Composite

Methods

liftDynamics :: Dynamics a -> Composite a Source #

DynamicsLift Cont Source # 
Instance details

Defined in Simulation.Aivika.Internal.Cont

Methods

liftDynamics :: Dynamics a -> Cont a Source #

DynamicsLift Dynamics Source # 
Instance details

Defined in Simulation.Aivika.Internal.Dynamics

Methods

liftDynamics :: Dynamics a -> Dynamics a Source #

DynamicsLift Event Source # 
Instance details

Defined in Simulation.Aivika.Internal.Event

Methods

liftDynamics :: Dynamics a -> Event a Source #

DynamicsLift Process Source # 
Instance details

Defined in Simulation.Aivika.Internal.Process

Methods

liftDynamics :: Dynamics a -> Process a Source #

runDynamicsInStartTime :: Dynamics a -> Simulation a Source #

Run the Dynamics computation in the initial time point.

runDynamicsInStopTime :: Dynamics a -> Simulation a Source #

Run the Dynamics computation in the final time point.

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

Run the Dynamics computation in all integration time points.

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

Run the Dynamics computation in the specified time point.

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

Run the Dynamics computation in the specified time points.

Error Handling

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

Exception handling within Dynamics computations.

finallyDynamics :: Dynamics a -> Dynamics b -> Dynamics a Source #

A computation with finalization part like the finally function.

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

Like the standard throw function.

Simulation Time

time :: Dynamics Double Source #

Computation that returns the current simulation time.

isTimeInteg :: Dynamics Bool Source #

Whether the current time is an integration time.

integIteration :: Dynamics Int Source #

Return the integration iteration closest to the current simulation time.

integPhase :: Dynamics Int Source #

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

Debugging

traceDynamics :: String -> Dynamics a -> Dynamics a Source #

Show the debug message with the current simulation time.