Simulation.Aivika.Trans.Internal.Types

Tested with: GHC 8.0.1

It defines the implementation details of some types. You should never use it in ordinary simulation models. The module is destined for those who will extend the library.

Documentation

data Specs m

It defines the simulation specs.

Constructors

Specs

Fields

• spcStartTime :: Double

  the start time

• spcStopTime :: Double

  the stop time

• spcDT :: Double

  the integration time step

• spcMethod :: Method

  the integration method

• spcGeneratorType :: GeneratorType m

  the type of random number generator

data Method

It defines the integration method.

Constructors

Euler

Euler's method

RungeKutta2

the 2nd order Runge-Kutta method

RungeKutta4

the 4th order Runge-Kutta method

Instances

Eq Method

Methods

(==) :: Method -> Method -> Bool

(/=) :: Method -> Method -> Bool

Ord Method

Methods

compare :: Method -> Method -> Ordering

(<) :: Method -> Method -> Bool

(<=) :: Method -> Method -> Bool

(>) :: Method -> Method -> Bool

(>=) :: Method -> Method -> Bool

max :: Method -> Method -> Method

min :: Method -> Method -> Method

Show Method

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

data Run m

It indentifies the simulation run.

Constructors

Run

Fields

• runSpecs :: Specs m

  the simulation specs

• runIndex :: Int

  the current simulation run index

• runCount :: Int

  the total number of runs within the experiment

• runEventQueue :: EventQueue m

  the event queue

• runGenerator :: Generator m

  the random number generator

data Point m

It defines the simulation point appended with the additional information.

Constructors

Point

Fields

• pointSpecs :: Specs m

  the simulation specs

• pointRun :: Run m

  the simulation run

• pointTime :: Double

  the current time

• pointIteration :: Int

  the current iteration

• pointPhase :: Int

  the current phase

newtype Parameter m a

The Parameter monad that allows specifying the model parameters. For example, they can be used when running the Monte-Carlo simulation.

In general, this monad is very useful for representing a computation which is external relative to the model itself.

Constructors

Parameter (Run m -> m a)

Instances

Monad m => ParameterLift Parameter m

Methods

liftParameter :: Parameter m a -> Parameter m a

MonadDES m => ResultComputing Parameter m

Methods

computeResultData :: Parameter m a -> ResultData a m

computeResultSignal :: Parameter m a -> ResultSignal m

(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Parameter m (Vector e)) m

Methods

resultSource :: ResultName -> ResultDescription -> Parameter m (Vector e) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter m (Vector e) -> ResultSource m

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

(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Parameter m (Array i e)) m

Methods

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

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

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Parameter m (TimingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Parameter m (TimingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter m (TimingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Parameter m (SamplingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Parameter m (SamplingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter m (SamplingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Parameter m a) m

Methods

resultSource :: ResultName -> ResultDescription -> Parameter m a -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter m a -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Parameter m a -> ResultSource m

newtype Simulation m a

A value in the Simulation monad represents a computation within the simulation run.

Constructors

Simulation (Run m -> m a)

Instances

Monad m => SimulationLift Simulation m

Methods

liftSimulation :: Simulation m a -> Simulation m a

MonadDES m => ResultComputing Simulation m

Methods

computeResultData :: Simulation m a -> ResultData a m

computeResultSignal :: Simulation m a -> ResultSignal m

(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Simulation m (Vector e)) m

Methods

resultSource :: ResultName -> ResultDescription -> Simulation m (Vector e) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (Vector e) -> ResultSource m

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

(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Simulation m (Array i e)) m

Methods

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

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

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Simulation m (TimingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Simulation m (TimingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (TimingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Simulation m (SamplingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Simulation m (SamplingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (SamplingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Simulation m a) m

Methods

resultSource :: ResultName -> ResultDescription -> Simulation m a -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m a -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m a -> ResultSource m

newtype Dynamics m a

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

Monad m => DynamicsLift Dynamics m

Methods

liftDynamics :: Dynamics m a -> Dynamics m a

MonadDES m => ResultComputing Dynamics m

Methods

computeResultData :: Dynamics m a -> ResultData a m

computeResultSignal :: Dynamics m a -> ResultSignal m

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

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Dynamics m a) m

Methods

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

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

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

newtype Event m a

A value in the Event monad transformer represents a polymorphic time varying function which is strongly synchronized with the event queue.

Constructors

Event (Point m -> m a)

Instances

Monad m => EventLift Event m

Methods

liftEvent :: Event m a -> Event m a

MonadDES m => ResultComputing Event m

Methods

computeResultData :: Event m a -> ResultData a m

computeResultSignal :: Event m a -> ResultSignal m

(Monad m, MonadRef m) => Observable (Ref m) (Event m)

Methods

readObservable :: Ref m a -> Event m a

(Monad m, MonadRef m) => Observable (Ref m) (Event m)

Methods

readObservable :: Ref m a -> Event m a

(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Event m (Vector e)) m

Methods

resultSource :: ResultName -> ResultDescription -> Event m (Vector e) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event m (Vector e) -> ResultSource m

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

(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Event m (Array i e)) m

Methods

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

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

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Event m (TimingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Event m (TimingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event m (TimingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Event m (SamplingCounter a)) m

Methods

resultSource :: ResultName -> ResultDescription -> Event m (SamplingCounter a) -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event m (SamplingCounter a) -> ResultSource m

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

(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Event m a) m

Methods

resultSource :: ResultName -> ResultDescription -> Event m a -> ResultSource m

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event m a -> ResultSource m

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Event m a -> ResultSource m

data EventProcessing

Defines how the events are processed.

Constructors

CurrentEvents

either process all earlier and then current events, or raise an error if the current simulation time is less than the actual time of the event queue (safe within the Event computation as this is protected by the type system)

EarlierEvents

either process all earlier events not affecting the events at the current simulation time, or raise an error if the current simulation time is less than the actual time of the event queue (safe within the Event computation as this is protected by the type system)

CurrentEventsOrFromPast

either process all earlier and then current events, or do nothing if the current simulation time is less than the actual time of the event queue (do not use unless the documentation states the opposite)

EarlierEventsOrFromPast

either process all earlier events, or do nothing if the current simulation time is less than the actual time of the event queue (do not use unless the documentation states the opposite)

Instances

Eq EventProcessing

Methods

(==) :: EventProcessing -> EventProcessing -> Bool

(/=) :: EventProcessing -> EventProcessing -> Bool

Ord EventProcessing

Methods

compare :: EventProcessing -> EventProcessing -> Ordering

(<) :: EventProcessing -> EventProcessing -> Bool

(<=) :: EventProcessing -> EventProcessing -> Bool

(>) :: EventProcessing -> EventProcessing -> Bool

(>=) :: EventProcessing -> EventProcessing -> Bool

max :: EventProcessing -> EventProcessing -> EventProcessing

min :: EventProcessing -> EventProcessing -> EventProcessing

Show EventProcessing

Methods

showsPrec :: Int -> EventProcessing -> ShowS

show :: EventProcessing -> String

showList :: [EventProcessing] -> ShowS

class EventQueueing m where

A type class of monads that allow enqueueing the events.

Minimal complete definition

newEventQueue, enqueueEvent, runEventWith, eventQueueCount

Associated Types

data EventQueue m :: *

It represents the event queue.

Methods

newEventQueue :: Specs m -> m (EventQueue m)

Create a new event queue by the specified specs with simulation session.

enqueueEvent :: Double -> Event m () -> Event m ()

Enqueue the event which must be actuated at the specified time.

runEvent :: Event m a -> Dynamics m a

Run the EventT computation in the current simulation time within the DynamicsT computation involving all pending CurrentEvents in the processing too.

runEventWith :: EventProcessing -> Event m a -> Dynamics m a

Run the EventT computation in the current simulation time within the DynamicsT computation specifying what pending events should be involved in the processing.

eventQueueCount :: Event m Int

Return the number of pending events that should be yet actuated.

invokeParameter :: Run m -> Parameter m a -> m a

Invoke the Parameter computation.

invokeSimulation :: Run m -> Simulation m a -> m a

Invoke the Simulation computation.

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

Invoke the Dynamics computation.

invokeEvent :: Point m -> Event m a -> m a

Invoke the Event computation.