@@ -35,17 +35,11 @@ import Control.Exception (SomeException (..))
3535import qualified Control.Exception.Lifted as EL
3636import Control.Monad (ap, liftM, MonadPlus(..), mzero,
3737 when)
38−--import Control.Monad.Base (MonadBase (..), liftBaseDefault)
38+import Control.Monad.Base (MonadBase (..), liftBaseDefault)
3939import Control.Monad.Catch (MonadThrow, throwM)
4040import Control.Monad.IO.Class (MonadIO(..))
4141import Control.Monad.Trans.Class (MonadTrans (lift))
4242import Control.Monad.Trans.Control (MonadBaseControl, liftBaseWith)
43−{-
44−import Control.Monad.Trans.Control (ComposeSt, MonadBaseControl (..),
45− MonadTransControl (..),
46− defaultLiftBaseWith,
47− defaultRestoreM, liftBaseWith)
48− -}
4943import Data.Functor (void)
5044import Data.IORef (IORef, modifyIORef, newIORef,
5145 writeIORef, readIORef)
@@ -417,31 +411,9 @@ instance (Num a, Monad (AsyncT m)) => Num (AsyncT m a) where
417411instance MonadTrans AsyncT where
418412 lift mx = AsyncT $ \ctx _ yld -> mx >>= (\a -> (yld a ctx Nothing))
419413
420−{-
421414instance (MonadBase b m, Monad m) => MonadBase b (AsyncT m) where
422415 liftBase = liftBaseDefault
423416
424−-------------------------------------------------------------------------------
425−-- monad-control
426−-------------------------------------------------------------------------------
427−
428−instance MonadTransControl AsyncT where
429− type StT AsyncT a = (Maybe a, Context)
430− liftWith f = AsyncT $ StateT $ \s ->
431− liftM (\x -> (Just x, s))
432− (f $ \t -> runStateT (runAsyncT t) s)
433− restoreT = AsyncT . StateT . const
434− {-# INLINABLE liftWith #-}
435− {-# INLINABLE restoreT #-}
436−
437−instance (MonadBaseControl b m, Monad m) => MonadBaseControl b (AsyncT m) where
438− type StM (AsyncT m) a = ComposeSt AsyncT m a
439− liftBaseWith = defaultLiftBaseWith
440− restoreM = defaultRestoreM
441− {-# INLINABLE liftBaseWith #-}
442− {-# INLINABLE restoreM #-}
443−-}
444−
445417------------------------------------------------------------------------------
446418-- Standard transformer instances
447419------------------------------------------------------------------------------