Copyright | (c) Anton Gushcha, 2016 |
---|---|
License | BSD3 |
Maintainer | ncrashed@gmail.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
- newtype AsyncT s m a = AsyncT {
- runAsyncT :: StateT (AsyncState s) m a
Documentation
Monad transformer of async core module.
s
- - State of next core module in modules chain;
m
- - Next monad in modules monad stack;
a
- - Type of result value;
How to embed module:
type AppStack = ModuleStack [AsyncT, ... other modules ... ] IO newtype AppMonad a = AppMonad (AppStack a) deriving (Functor, Applicative, Monad, MonadFix, MonadIO, MonadThrow, MonadCatch, MonadAsync)
The module is NOT pure within first phase (see ModuleStack
docs), therefore currently only IO
end monad can handler the module.
AsyncT | |
|
MonadTrans (AsyncT s) Source | |
Monad m => MonadState (AsyncState s) (AsyncT s m) Source | |
Monad m => Monad (AsyncT s m) Source | |
Functor m => Functor (AsyncT s m) Source | |
MonadFix m => MonadFix (AsyncT s m) Source | |
Monad m => Applicative (AsyncT s m) Source | |
MonadThrow m => MonadThrow (AsyncT s m) Source | |
MonadCatch m => MonadCatch (AsyncT s m) Source | |
MonadMask m => MonadMask (AsyncT s m) Source | |
MonadIO m => MonadIO (AsyncT s m) Source | |
(MonadIO m, MonadThrow m) => MonadAsync (AsyncT s m) Source | |
type ModuleState (AsyncT s m) = AsyncState s Source |