Simulation.Aivika.Simulation

Tested with: GHC 7.10.1

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

Simulation

data Simulation a

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

Instances

Monad Simulation

Methods

(>>=) :: Simulation a -> (a -> Simulation b) -> Simulation b

(>>) :: Simulation a -> Simulation b -> Simulation b

return :: a -> Simulation a

fail :: String -> Simulation a

Functor Simulation

Methods

fmap :: (a -> b) -> Simulation a -> Simulation b

(<$) :: a -> Simulation b -> Simulation a

MonadFix Simulation

Methods

mfix :: (a -> Simulation a) -> Simulation a

Applicative Simulation

Methods

pure :: a -> Simulation a

(<*>) :: Simulation (a -> b) -> Simulation a -> Simulation b

(*>) :: Simulation a -> Simulation b -> Simulation b

(<*) :: Simulation a -> Simulation b -> Simulation a

MonadIO Simulation

Methods

liftIO :: IO a -> Simulation a

ParameterLift Simulation

Methods

liftParameter :: Parameter a -> Simulation a

SimulationLift Simulation

Methods

liftSimulation :: Simulation a -> Simulation a

ResultComputing Simulation

Methods

computeResultData :: Simulation a -> ResultData a

computeResultSignal :: Simulation a -> ResultSignal

class SimulationLift m where

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

Minimal complete definition

liftSimulation

Methods

liftSimulation :: Simulation a -> m a

Lift the specified Simulation computation to another computation.

Instances

SimulationLift Simulation

Methods

liftSimulation :: Simulation a -> Simulation a

SimulationLift Dynamics

Methods

liftSimulation :: Simulation a -> Dynamics a

SimulationLift Event

Methods

liftSimulation :: Simulation a -> Event a

SimulationLift Cont

Methods

liftSimulation :: Simulation a -> Cont a

SimulationLift Process

Methods

liftSimulation :: Simulation a -> Process a

runSimulation :: Simulation a -> Specs -> IO a

Run the simulation using the specified specs.

runSimulations :: Simulation a -> Specs -> Int -> [IO a]

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

runSimulationByIndex

Arguments

:: Simulation a

the simulation model

-> Specs

the simulation specs

-> Int

the number of runs in series

-> Int

the index of the current run (started from 1)

-> IO a

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

Error Handling

catchSimulation :: Exception e => Simulation a -> (e -> Simulation a) -> Simulation a

Exception handling within Simulation computations.

finallySimulation :: Simulation a -> Simulation b -> Simulation a

A computation with finalization part like the finally function.

throwSimulation :: Exception e => e -> Simulation a

Like the standard throw function.

Memoization

memoSimulation :: Simulation a -> Simulation (Simulation a)

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

Exceptions

data SimulationException

The root of simulation exceptions.

Constructors

Exception e => SimulationException e

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

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