Simulation.Aivika.Trans.Parameter

Tested with: GHC 8.0.1

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

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

Parameter

data 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.

Instances

MonadTrans Parameter

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

lift :: Monad m => m a -> Parameter m a

Monad m => MonadCompTrans Parameter m

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

liftComp :: m a -> Parameter m a

Monad m => ParameterLift Parameter m

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

liftParameter :: Parameter m a -> Parameter m a

MonadDES m => ResultComputing Parameter m

Defined in Simulation.Aivika.Trans.Results

Methods

computeResultData :: Parameter m a -> ResultData a m

computeResultSignal :: Parameter m a -> ResultSignal m

Monad m => MonadFail (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

fail :: String -> Parameter m a

MonadFix m => MonadFix (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

mfix :: (a -> Parameter m a) -> Parameter m a

MonadIO m => MonadIO (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

liftIO :: IO a -> Parameter m a

Applicative m => Applicative (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

pure :: a -> Parameter m a

(<*>) :: Parameter m (a -> b) -> Parameter m a -> Parameter m b

liftA2 :: (a -> b -> c) -> Parameter m a -> Parameter m b -> Parameter m c

(*>) :: Parameter m a -> Parameter m b -> Parameter m b

(<*) :: Parameter m a -> Parameter m b -> Parameter m a

Functor m => Functor (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

fmap :: (a -> b) -> Parameter m a -> Parameter m b

(<$) :: a -> Parameter m b -> Parameter m a

Monad m => Monad (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

(>>=) :: Parameter m a -> (a -> Parameter m b) -> Parameter m b

(>>) :: Parameter m a -> Parameter m b -> Parameter m b

return :: a -> Parameter m a

MonadException m => MonadCatch (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

catch :: Exception e => Parameter m a -> (e -> Parameter m a) -> Parameter m a

(MonadException m, MonadMask m) => MonadMask (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

mask :: ((forall a. Parameter m a -> Parameter m a) -> Parameter m b) -> Parameter m b

uninterruptibleMask :: ((forall a. Parameter m a -> Parameter m a) -> Parameter m b) -> Parameter m b

generalBracket :: Parameter m a -> (a -> ExitCase b -> Parameter m c) -> (a -> Parameter m b) -> Parameter m (b, c)

MonadException m => MonadThrow (Parameter m)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

throwM :: Exception e => e -> Parameter m a

(Floating a, Monad m) => Floating (Parameter m a)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

pi :: Parameter m a

exp :: Parameter m a -> Parameter m a

log :: Parameter m a -> Parameter m a

sqrt :: Parameter m a -> Parameter m a

(**) :: Parameter m a -> Parameter m a -> Parameter m a

logBase :: Parameter m a -> Parameter m a -> Parameter m a

sin :: Parameter m a -> Parameter m a

cos :: Parameter m a -> Parameter m a

tan :: Parameter m a -> Parameter m a

asin :: Parameter m a -> Parameter m a

acos :: Parameter m a -> Parameter m a

atan :: Parameter m a -> Parameter m a

sinh :: Parameter m a -> Parameter m a

cosh :: Parameter m a -> Parameter m a

tanh :: Parameter m a -> Parameter m a

asinh :: Parameter m a -> Parameter m a

acosh :: Parameter m a -> Parameter m a

atanh :: Parameter m a -> Parameter m a

log1p :: Parameter m a -> Parameter m a

expm1 :: Parameter m a -> Parameter m a

log1pexp :: Parameter m a -> Parameter m a

log1mexp :: Parameter m a -> Parameter m a

(Num a, Monad m) => Num (Parameter m a)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

(+) :: Parameter m a -> Parameter m a -> Parameter m a

(-) :: Parameter m a -> Parameter m a -> Parameter m a

(*) :: Parameter m a -> Parameter m a -> Parameter m a

negate :: Parameter m a -> Parameter m a

abs :: Parameter m a -> Parameter m a

signum :: Parameter m a -> Parameter m a

fromInteger :: Integer -> Parameter m a

(Fractional a, Monad m) => Fractional (Parameter m a)

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

(/) :: Parameter m a -> Parameter m a -> Parameter m a

recip :: Parameter m a -> Parameter m a

fromRational :: Rational -> Parameter m a

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

Defined in Simulation.Aivika.Trans.Results

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), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Parameter m (TimingCounter a)) m

Defined in Simulation.Aivika.Trans.Results

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

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

Defined in Simulation.Aivika.Trans.Results

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 [e])) => ResultProvider (Parameter m (Vector e)) m

Defined in Simulation.Aivika.Trans.Results

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

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

Defined in Simulation.Aivika.Trans.Results

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

class ParameterLift t m where

A type class to lift the parameters into other computations.

Methods

liftParameter :: Parameter m a -> t m a

Lift the specified Parameter computation into another computation.

Instances

Monad m => ParameterLift Composite m

Defined in Simulation.Aivika.Trans.Composite

Methods

liftParameter :: Parameter m a -> Composite m a

MonadDES m => ParameterLift Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftParameter :: Parameter m a -> Cont m a

MonadDES m => ParameterLift Process m

Defined in Simulation.Aivika.Trans.Internal.Process

Methods

liftParameter :: Parameter m a -> Process m a

Monad m => ParameterLift Dynamics m

Defined in Simulation.Aivika.Trans.Internal.Dynamics

Methods

liftParameter :: Parameter m a -> Dynamics m a

Monad m => ParameterLift Event m

Defined in Simulation.Aivika.Trans.Internal.Event

Methods

liftParameter :: Parameter m a -> Event m a

Monad m => ParameterLift Parameter m

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

liftParameter :: Parameter m a -> Parameter m a

Monad m => ParameterLift Simulation m

Defined in Simulation.Aivika.Trans.Internal.Simulation

Methods

liftParameter :: Parameter m a -> Simulation m a

runParameter :: MonadDES m => Parameter m a -> Specs m -> m a

Run the parameter using the specified specs.

runParameters :: MonadDES m => Parameter m a -> Specs m -> Int -> [m a]

Run the given number of parameters using the specified specs, where each parameter is distinguished by its index parameterIndex.

Error Handling

catchParameter :: (MonadException m, Exception e) => Parameter m a -> (e -> Parameter m a) -> Parameter m a

Exception handling within Parameter computations.

finallyParameter :: MonadException m => Parameter m a -> Parameter m b -> Parameter m a

A computation with finalization part like the finally function.

throwParameter :: (MonadException m, Exception e) => e -> Parameter m a

Like the standard throw function.

Predefined Parameters

simulationIndex :: Monad m => Parameter m Int

Return the run index for the current simulation.

simulationCount :: Monad m => Parameter m Int

Return the number of simulations currently run.

simulationSpecs :: Monad m => Parameter m (Specs m)

Return the simulation specs.

generatorParameter :: Monad m => Parameter m (Generator m)

Return the random number generator for the simulation run.

starttime :: Monad m => Parameter m Double

Computation that returns the start simulation time.

stoptime :: Monad m => Parameter m Double

Computation that returns the final simulation time.

dt :: Monad m => Parameter m Double

Computation that returns the integration time step.

Memoization

memoParameter :: (MonadComp m, MonadIO m, MonadMask m) => Parameter m a -> m (Parameter m a)

Memoize the Parameter computation, always returning the same value within a simulation run. However, the value will be recalculated for other simulation runs. Also it is thread-safe when different simulation runs are executed in parallel on physically different operating system threads.

Utilities

tableParameter :: Monad m => Array Int a -> Parameter m a

Return a parameter which value is taken consequently from the specified table based on the run index of the current simulation starting from zero. After all values from the table are used, it takes again the first value of the table, then the second one and so on.