Simulation.Aivika.Trans.Comp

Tested with: GHC 8.0.1

It defines a type class of monads based on which the simulation monads can be built.

Documentation

class (Monad m, MonadException m, MonadGenerator m) => MonadComp m

A type class of monads based on which the simulation monads can be built.

Instances

MonadComp IO

An instantiation of the MonadComp type class.

Defined in Simulation.Aivika.IO.Comp

class MonadCompTrans t m where

A variant of the standard MonadTrans type class with one difference: the computation that will be lifted into another must be MonadComp instead of more general and less restricted Monad.

Methods

liftComp :: m a -> t m a

Lift the underlying computation into another within simulation.

Instances

Monad m => MonadCompTrans Composite m

Defined in Simulation.Aivika.Trans.Composite

Methods

liftComp :: m a -> Composite m a

MonadDES m => MonadCompTrans Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftComp :: m a -> Cont m a

MonadDES m => MonadCompTrans Process m

Defined in Simulation.Aivika.Trans.Internal.Process

Methods

liftComp :: m a -> Process m a

Monad m => MonadCompTrans Dynamics m

Defined in Simulation.Aivika.Trans.Internal.Dynamics

Methods

liftComp :: m a -> Dynamics m a

Monad m => MonadCompTrans Event m

Defined in Simulation.Aivika.Trans.Internal.Event

Methods

liftComp :: m a -> Event m a

Monad m => MonadCompTrans Parameter m

Defined in Simulation.Aivika.Trans.Internal.Parameter

Methods

liftComp :: m a -> Parameter m a

Monad m => MonadCompTrans Simulation m

Defined in Simulation.Aivika.Trans.Internal.Simulation

Methods

liftComp :: m a -> Simulation m a