MonadCatchIO-transformers 0.2.2.1 → 0.2.2.2
raw patch · 2 files changed
+4/−4 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (ContT r m)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (IdentityT m)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (ListT m)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (MaybeT m)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (ReaderT r m)
- Control.Monad.CatchIO: instance (MonadCatchIO m) => MonadCatchIO (StateT s m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (ContT r m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (IdentityT m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (ListT m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (MaybeT m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (ReaderT r m)
+ Control.Monad.CatchIO: instance MonadCatchIO m => MonadCatchIO (StateT s m)
- Control.Monad.CatchIO: block :: (MonadCatchIO m) => m a -> m a
+ Control.Monad.CatchIO: block :: MonadCatchIO m => m a -> m a
- Control.Monad.CatchIO: bracket :: (MonadCatchIO m) => m a -> (a -> m b) -> (a -> m c) -> m c
+ Control.Monad.CatchIO: bracket :: MonadCatchIO m => m a -> (a -> m b) -> (a -> m c) -> m c
- Control.Monad.CatchIO: bracketOnError :: (MonadCatchIO m) => m a -> (a -> m b) -> (a -> m c) -> m c
+ Control.Monad.CatchIO: bracketOnError :: MonadCatchIO m => m a -> (a -> m b) -> (a -> m c) -> m c
- Control.Monad.CatchIO: bracket_ :: (MonadCatchIO m) => m a -> m b -> m c -> m c
+ Control.Monad.CatchIO: bracket_ :: MonadCatchIO m => m a -> m b -> m c -> m c
- Control.Monad.CatchIO: catches :: (MonadCatchIO m) => m a -> [Handler m a] -> m a
+ Control.Monad.CatchIO: catches :: MonadCatchIO m => m a -> [Handler m a] -> m a
- Control.Monad.CatchIO: class (MonadIO m) => MonadCatchIO m
+ Control.Monad.CatchIO: class MonadIO m => MonadCatchIO m
- Control.Monad.CatchIO: finally :: (MonadCatchIO m) => m a -> m b -> m a
+ Control.Monad.CatchIO: finally :: MonadCatchIO m => m a -> m b -> m a
- Control.Monad.CatchIO: fromException :: (Exception e) => SomeException -> Maybe e
+ Control.Monad.CatchIO: fromException :: Exception e => SomeException -> Maybe e
- Control.Monad.CatchIO: onException :: (MonadCatchIO m) => m a -> m b -> m a
+ Control.Monad.CatchIO: onException :: MonadCatchIO m => m a -> m b -> m a
- Control.Monad.CatchIO: toException :: (Exception e) => e -> SomeException
+ Control.Monad.CatchIO: toException :: Exception e => e -> SomeException
- Control.Monad.CatchIO: unblock :: (MonadCatchIO m) => m a -> m a
+ Control.Monad.CatchIO: unblock :: MonadCatchIO m => m a -> m a
Files
MonadCatchIO-transformers.cabal view
@@ -1,5 +1,5 @@ Name: MonadCatchIO-transformers-Version: 0.2.2.1+Version: 0.2.2.2 Cabal-Version: >= 1.6 License: PublicDomain Description:
src/Control/Monad/CatchIO.hs view
@@ -57,7 +57,7 @@ -- | Warning: this instance is somewhat contentious. -- -- In the same way that the @ErrorT e@ instance may fail to perform the final--- action, due to the "early exit" behaviour of the monad, this instance+-- action, due to the \"early exit\" behaviour of the monad, this instance -- may perform the final action any number of times, due to the nonlinear -- nature of the continuation monad. -- @@ -74,13 +74,13 @@ -- Note that in monads that fall under this instance (the most basic example -- is @ErrorT e IO@), there are errors of two sorts: -- --- 1. exceptions, (i.e., exceptional values in the underlying IO monad);+-- 1. exceptions, (i.e., exceptional values in the underlying @IO@ monad); -- -- 2. error values of type @e@, introduced by the @ErrorT e@ part of the monad. -- -- The instance takes no special action to deal with errors of type 2. -- In particular, 'bracket' will not perform its second argument, if--- its third argument decides to "exit early" by throwing an error of type 2.+-- its third argument decides to \"exit early\" by throwing an error of type 2. -- -- This may or may not be what you want. --