Simulation.Aivika.Trans.Simulation

Tested with: GHC 7.8.3

The module defines the SimulationT monad transformer that represents a simulation run.

Simulation

data Simulation m a

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

Instances

MonadTrans Simulation

MonadCompTrans Simulation

ParameterLift Simulation

SimulationLift Simulation

MonadComp m => ResultComputing Simulation m

Monad m => Monad (Simulation m)

Functor m => Functor (Simulation m)

MonadFix m => MonadFix (Simulation m)

Applicative m => Applicative (Simulation m)

MonadIO m => MonadIO (Simulation m)

class SimulationLift t where

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

Methods

liftSimulation :: MonadComp m => Simulation m a -> t m a

Lift the specified Simulation computation into another computation.

Instances

SimulationLift Event

SimulationLift Dynamics

SimulationLift Simulation

SimulationLift Cont

SimulationLift Process

runSimulation :: MonadComp m => Simulation m a -> Specs m -> m a

Run the simulation using the specified specs.

runSimulations :: MonadComp m => Simulation m a -> Specs m -> Int -> [m a]

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

Error Handling

catchSimulation :: (MonadComp m, Exception e) => Simulation m a -> (e -> Simulation m a) -> Simulation m a

Exception handling within Simulation computations.

finallySimulation :: MonadComp m => Simulation m a -> Simulation m b -> Simulation m a

A computation with finalization part like the finally function.

throwSimulation :: (MonadComp m, Exception e) => e -> Simulation m a

Like the standard throw function.

Memoization

memoSimulation :: MonadComp m => Simulation m a -> Simulation m (Simulation m a)

Memoize the Simulation computation, always returning the same value within a simulation run.