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.Trans.Internal.Simulation

Contents

Simulation
Error Handling
Exceptions
Orphan instances

Description

Tested with: GHC 8.0.1

The module defines the Simulation monad transformer that represents a computation within the simulation run.

Synopsis

Simulation

newtype Simulation m a Source #

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 Source #
Methods liftSimulation :: Simulation m a -> Simulation m a Source #
MonadDES m => ResultComputing Simulation m Source #
Methods computeResultData :: Simulation m a -> ResultData a m Source # computeResultSignal :: Simulation m a -> ResultSignal m Source #
(MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Simulation m (Vector e)) m Source #
Methods resultSource :: ResultName -> ResultDescription -> Simulation m (Vector e) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (Vector e) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m (Vector e) -> ResultSource m Source #
(Ix i, Show i, MonadDES m, ResultItemable (ResultValue [e])) => ResultProvider (Simulation m (Array i e)) m Source #
Methods resultSource :: ResultName -> ResultDescription -> Simulation m (Array i e) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (Array i e) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m (Array i e) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Simulation m (TimingCounter a)) m Source #
Methods resultSource :: ResultName -> ResultDescription -> Simulation m (TimingCounter a) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (TimingCounter a) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m (TimingCounter a) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Simulation m (SamplingCounter a)) m Source #
Methods resultSource :: ResultName -> ResultDescription -> Simulation m (SamplingCounter a) -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m (SamplingCounter a) -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m (SamplingCounter a) -> ResultSource m Source #
(MonadDES m, ResultItemable (ResultValue a)) => ResultProvider (Simulation m a) m Source #
Methods resultSource :: ResultName -> ResultDescription -> Simulation m a -> ResultSource m Source # resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation m a -> ResultSource m Source # resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation m a -> ResultSource m Source #

class SimulationLift t m where Source #

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

Minimal complete definition

liftSimulation

Methods

liftSimulation :: Simulation m a -> t m a Source #

Lift the specified Simulation computation into another computation.

Instances

Monad m => SimulationLift Simulation m Source #
Methods liftSimulation :: Simulation m a -> Simulation m a Source #
Monad m => SimulationLift Composite m Source #
Methods liftSimulation :: Simulation m a -> Composite m a Source #
MonadDES m => SimulationLift Cont m Source #
Methods liftSimulation :: Simulation m a -> Cont m a Source #
MonadDES m => SimulationLift Process m Source #
Methods liftSimulation :: Simulation m a -> Process m a Source #

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

Invoke the Simulation computation.

runSimulation :: MonadDES m => Simulation m a -> Specs m -> m a Source #

Run the simulation using the specified specs.

runSimulations :: MonadDES m => Simulation m a -> Specs m -> Int -> [m a] Source #

Run the given number of simulations using the specified specs, where each simulation is distinguished by its index simulationIndex.

runSimulationByIndex Source #

Arguments

:: MonadDES m
=> Simulation m a	the simulation model
-> Specs m	the simulation specs
-> Int	the number of runs in series
-> Int	the index of the current run (started from 1)
-> m a

Run the simulation by the specified specs and run index in series.

Error Handling

catchSimulation :: (MonadException m, Exception e) => Simulation m a -> (e -> Simulation m a) -> Simulation m a Source #

Exception handling within Simulation computations.

finallySimulation :: MonadException m => Simulation m a -> Simulation m b -> Simulation m a Source #

A computation with finalization part like the finally function.

throwSimulation :: (MonadException m, Exception e) => e -> Simulation m a Source #

Like the standard throw function.

Exceptions

data SimulationException :: * where #

The root of simulation exceptions.

Constructors

SimulationException :: SimulationException

A particular simulation exception.

Instances

Show SimulationException
Methods showsPrec :: Int -> SimulationException -> ShowS # show :: SimulationException -> String # showList :: [SimulationException] -> ShowS #
Exception SimulationException
Methods toException :: SimulationException -> SomeException # fromException :: SomeException -> Maybe SimulationException # displayException :: SimulationException -> String #

data SimulationAbort :: * #

An exception that signals of aborting the simulation.

Constructors

SimulationAbort String

The exception to abort the simulation.

Instances

Show SimulationAbort
Methods showsPrec :: Int -> SimulationAbort -> ShowS # show :: SimulationAbort -> String # showList :: [SimulationAbort] -> ShowS #
Exception SimulationAbort
Methods toException :: SimulationAbort -> SomeException # fromException :: SomeException -> Maybe SimulationAbort # displayException :: SimulationAbort -> String #

data SimulationRetry :: * #

An exception that signals that the current computation should be retried as possible, which feature may be supported by the simulation engine or not.

Constructors

SimulationRetry String

The exception to retry the computation.

Instances

Show SimulationRetry
Methods showsPrec :: Int -> SimulationRetry -> ShowS # show :: SimulationRetry -> String # showList :: [SimulationRetry] -> ShowS #
Exception SimulationRetry
Methods toException :: SimulationRetry -> SomeException # fromException :: SomeException -> Maybe SimulationRetry # displayException :: SimulationRetry -> String #

Orphan instances

MonadTrans Simulation Source #
Methods lift :: Monad m => m a -> Simulation m a #
Monad m => MonadCompTrans Simulation m Source #
Methods liftComp :: m a -> Simulation m a Source #
Monad m => ParameterLift Simulation m Source #
Methods liftParameter :: Parameter m a -> Simulation m a Source #
Monad m => Monad (Simulation m) Source #
Methods (>>=) :: Simulation m a -> (a -> Simulation m b) -> Simulation m b # (>>) :: Simulation m a -> Simulation m b -> Simulation m b # return :: a -> Simulation m a # fail :: String -> Simulation m a #
Functor m => Functor (Simulation m) Source #
Methods fmap :: (a -> b) -> Simulation m a -> Simulation m b # (<$) :: a -> Simulation m b -> Simulation m a #
MonadFix m => MonadFix (Simulation m) Source #
Methods mfix :: (a -> Simulation m a) -> Simulation m a #
Applicative m => Applicative (Simulation m) Source #
Methods pure :: a -> Simulation m a # (<>) :: Simulation m (a -> b) -> Simulation m a -> Simulation m b # liftA2 :: (a -> b -> c) -> Simulation m a -> Simulation m b -> Simulation m c # (>) :: Simulation m a -> Simulation m b -> Simulation m b # (<*) :: Simulation m a -> Simulation m b -> Simulation m a #
MonadIO m => MonadIO (Simulation m) Source #
Methods liftIO :: IO a -> Simulation m a #
MonadException m => MonadThrow (Simulation m) Source #
Methods throwM :: Exception e => e -> Simulation m a #
MonadException m => MonadCatch (Simulation m) Source #
Methods catch :: Exception e => Simulation m a -> (e -> Simulation m a) -> Simulation m a #
(MonadException m, MonadMask m) => MonadMask (Simulation m) Source #
Methods mask :: ((forall a. Simulation m a -> Simulation m a) -> Simulation m b) -> Simulation m b # uninterruptibleMask :: ((forall a. Simulation m a -> Simulation m a) -> Simulation m b) -> Simulation m b # generalBracket :: Simulation m a -> (a -> ExitCase b -> Simulation m c) -> (a -> Simulation m b) -> Simulation m (b, c) #