| Copyright | Copyright (c) 2009-2016 David Sorokin <david.sorokin@gmail.com> |
|---|---|
| License | BSD3 |
| Maintainer | David Sorokin <david.sorokin@gmail.com> |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Simulation.Aivika.Trans.Comp
Description
Tested with: GHC 8.0.1
It defines a type class of monads based on which the simulation monads can be built.
- class (Monad m, MonadException m, MonadGenerator m) => MonadComp m
- class MonadCompTrans t m where
Documentation
class (Monad m, MonadException m, MonadGenerator m) => MonadComp m Source #
A type class of monads based on which the simulation monads can be built.
class MonadCompTrans t m where Source #
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.
Minimal complete definition
Methods
liftComp :: m a -> t m a Source #
Lift the underlying computation into another within simulation.
Instances
| MonadDES m => MonadCompTrans Cont m Source # | |
| MonadDES m => MonadCompTrans Process m Source # | |
| Monad m => MonadCompTrans Composite m Source # | |