Copyright	Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.Internal.Dynamics

Contents

Dynamics
Error Handling
Simulation Time
Debugging

Description

Tested with: GHC 8.0.1

This is an internal implementation module that should never be used directly.

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

Synopsis

newtype Dynamics a = Dynamics (Point -> IO a)
class DynamicsLift m where
invokeDynamics :: Point -> Dynamics a -> IO a
runDynamicsInStartTime :: Dynamics a -> Simulation a
runDynamicsInStopTime :: Dynamics a -> Simulation a
runDynamicsInIntegTimes :: Dynamics a -> Simulation [IO a]
runDynamicsInTime :: Double -> Dynamics a -> Simulation a
runDynamicsInTimes :: [Double] -> Dynamics a -> Simulation [IO a]
catchDynamics :: Exception e => Dynamics a -> (e -> Dynamics a) -> Dynamics a
finallyDynamics :: Dynamics a -> Dynamics b -> Dynamics a
throwDynamics :: Exception e => e -> Dynamics a
time :: Dynamics Double
isTimeInteg :: Dynamics Bool
integIteration :: Dynamics Int
integPhase :: Dynamics Int
traceDynamics :: String -> Dynamics a -> Dynamics a

Dynamics

newtype Dynamics a Source #

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

Constructors

Dynamics (Point -> IO a)

Instances

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 # fail :: String -> 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 #
MonadFix Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods mfix :: (a -> Dynamics 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 #
MonadIO Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods liftIO :: IO a -> Dynamics a #
MonadThrow Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods throwM :: Exception e => e -> Dynamics a #
MonadCatch Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods catch :: Exception e => Dynamics a -> (e -> Dynamics a) -> Dynamics a #
MonadMask Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods mask :: ((forall a. Dynamics a -> Dynamics a) -> Dynamics b) -> Dynamics b # uninterruptibleMask :: ((forall a. Dynamics a -> Dynamics a) -> Dynamics b) -> Dynamics b # generalBracket :: Dynamics a -> (a -> ExitCase b -> Dynamics c) -> (a -> Dynamics b) -> Dynamics (b, c) #
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 #
DynamicsLift Dynamics Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods liftDynamics :: Dynamics 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 #
Eq (Dynamics a) Source #
Instance details Defined in Simulation.Aivika.Internal.Dynamics Methods (==) :: Dynamics a -> Dynamics a -> Bool # (/=) :: Dynamics a -> Dynamics a -> Bool #
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 #
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 #
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 #
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 #
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 #
(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), 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 #
(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 #

class DynamicsLift m where Source #

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

Minimal complete definition

liftDynamics

Methods

liftDynamics :: Dynamics a -> m a Source #

Lift the specified Dynamics computation to another computation.

Instances

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 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 Process Source #
Instance details Defined in Simulation.Aivika.Internal.Process Methods liftDynamics :: Dynamics a -> Process a Source #