control-monad-exception-mtl 0.8.0.4 → 0.10.3
raw patch · 2 files changed
+7/−76 lines, 2 filesdep ~control-monad-exception
Dependency ranges changed: control-monad-exception
Files
control-monad-exception-mtl.cabal view
@@ -1,6 +1,6 @@ name: control-monad-exception-mtl-version: 0.8.0.4-Cabal-Version: >= 1.6+version: 0.10.3+Cabal-Version: >= 1.10 build-type: Simple license: PublicDomain author: Pepe Iborra@@ -12,19 +12,19 @@ tested-with: GHC == 6.12.1 bug-reports: http://github.com/pepeiborra/control-monad-exception/issues description: - MTL instances for the EMT exceptions monad transformer+ MTL classes instances for the EMT exceptions monad transformer .- /This package is only applicable for the now-deprecated mtl v1. Since mtl v2 is compatible with the transformers package, users of mtl2 should simply use the control-monad-exception package. Library buildable: True + default-language: Haskell98 build-depends: base > 4 && < 5- , control-monad-exception >= 0.8.0 && <= 0.9.0+ , control-monad-exception >= 0.10.3 , mtl - extensions: ScopedTypeVariables, - PackageImports,+ default- extensions: + ScopedTypeVariables, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
− extensions/Control/Monad/Exception/MTL.hs
@@ -1,69 +0,0 @@-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TypeSynonymInstances #-}-{-# LANGUAGE PackageImports #-}-{-# LANGUAGE UndecidableInstances #-}---- | 'EMT' liftings for the classes in the Monad Transformer Library-module Control.Monad.Exception.MTL (module Control.Monad.Exception, Control.Monad.Exception.catch) where--import qualified Control.Exception as CE--import qualified Control.Monad.Exception-import Control.Monad.Exception hiding (catch, Error)-import Control.Monad.Exception.Catch as Catch-import "mtl" Control.Monad.Cont.Class-import "mtl" Control.Monad.Error-import "mtl" Control.Monad.List-import "mtl" Control.Monad.Reader-import "mtl" Control.Monad.State-import "mtl" Control.Monad.Writer-import "mtl" Control.Monad.RWS-import Prelude hiding (catch)--instance MonadTrans (EMT l) where lift = EMT . liftM Right--instance (Throws SomeException l, MonadIO m) => MonadIO (EMT l m) where- liftIO m = EMT (liftIO m') where- m' = liftM Right m- `CE.catch`- \(e::SomeException) -> return (Left ([], CheckedException e))--instance MonadCont m => MonadCont (EMT l m) where- callCC f = EMT $ callCC $ \c -> unEMT (f (\a -> EMT $ c (Right a)))--instance MonadReader r m => MonadReader r (EMT l m) where- ask = lift ask- local f m = EMT (local f (unEMT m))--instance MonadState s m => MonadState s (EMT l m) where- get = lift get- put = lift . put--instance (Monoid w, MonadWriter w m) => MonadWriter w (EMT l m) where- tell = lift . tell- listen m = EMT $ do- (res, w) <- listen (unEMT m)- return (fmap (\x -> (x,w)) res)- pass m = EMT $ pass $ do- a <- unEMT m- case a of- Left l -> return (Left l, id)- Right (r,f) -> return (Right r, f)--instance (Monoid w, MonadRWS r w s m) => MonadRWS r w s (EMT l m)------ MonadCatch Instances--- --------------------------------------------------------------------------instance (Error e) => MonadCatch e (Either e) (Either e) where catch m h = either h Right m-instance (Error e, Monad m) => MonadCatch e (ErrorT e m) (ErrorT e m) where catch = catchError--instance MonadCatch e m m' => MonadCatch e (ListT m) (ListT m') where catch (ListT m) h = ListT (Catch.catch m (runListT . h))-instance MonadCatch e m m' => MonadCatch e (ReaderT r m) (ReaderT r m') where catch (ReaderT m) h = ReaderT (\s -> Catch.catch (m s) ((`runReaderT` s) . h))--instance (Monoid w, MonadCatch e m m') => MonadCatch e (WriterT w m) (WriterT w m') where catch (WriterT m) h = WriterT (Catch.catch m (runWriterT . h))--instance MonadCatch e m m' => MonadCatch e (StateT s m) (StateT s m') where catch (StateT m) h = StateT (\s -> Catch.catch (m s) ((`runStateT` s) . h))--instance (Monoid w, MonadCatch e m m') => MonadCatch e (RWST r w s m) (RWST r w s m') where catch (RWST m) h = RWST (\r s -> Catch.catch (m r s) ((\m -> runRWST m r s) . h))