| |||||||||||
| |||||||||||
| Documentation | |||||||||||
| class Monad m => MonadExc m where | |||||||||||
| |||||||||||
| class (MonadIO m, MonadExc m) => MonadExcIO m | |||||||||||
| |||||||||||
| catchJustM | |||||||||||
| |||||||||||
| handleM :: MonadExc m => (Exception -> m a) -> m a -> m a | |||||||||||
| handleJustM :: MonadExc m => (Exception -> Maybe b) -> (b -> m a) -> m a -> m a | |||||||||||
| tryM :: MonadExc m => m a -> m (Either Exception a) | |||||||||||
| tryJustM :: MonadExc m => (Exception -> Maybe b) -> m a -> m (Either b a) | |||||||||||
| catchDynM :: (MonadExc m, Typeable exc) => m a -> (exc -> m a) -> m a | |||||||||||
| bracketM | |||||||||||
| |||||||||||
| bracketM_ :: MonadExc m => m a -> m b -> m c -> m c | |||||||||||
| finally | |||||||||||
| |||||||||||
| modifyState :: MonadExc m => (s -> m (a, s)) -> StateT s m a | |||||||||||
| catchState :: MonadExc m => StateT s m a -> (Exception -> StateT s m a) -> StateT s m a | |||||||||||
| unblockState :: MonadExc m => StateT s m a -> StateT s m a | |||||||||||
| blockState :: MonadExc m => StateT s m a -> StateT s m a | |||||||||||
| Produced by Haddock version 2.1.0 |