Safe Haskell | None |
---|---|
Language | Haskell2010 |
Asynchronous arrows over monads with MonadBaseControl IO, using lifted-async.
Synopsis
- newtype AsyncA m a b = AsyncA {
- runAsyncA :: a -> m b
- liftAsyncA :: (MonadTrans t, Monad m) => AsyncA m i o -> AsyncA (t m) i o
Documentation
Instances
MonadBaseControl IO m => Arrow (AsyncA m) Source # | Since: 2.1 |
MonadBaseControl IO m => ArrowChoice (AsyncA m) Source # | |
(Exception ex, MonadBaseControl IO m, MonadCatch m) => ArrowError ex (AsyncA m :: Type -> Type -> Type) Source # | |
Monad m => Category (AsyncA m :: Type -> Type -> Type) Source # | |
liftAsyncA :: (MonadTrans t, Monad m) => AsyncA m i o -> AsyncA (t m) i o Source #
Lift an AsyncA through a monad transformer of the underlying monad.