UI.HSCurses.MonadException

Documentation

class Monad m => MonadExc m where

Methods

catchM :: m a -> (Exception -> m a) -> m a

blockM :: m a -> m a

unblockM :: m a -> m a

Instances

MonadExc IO

MonadExc m => MonadExc (StateT s m)

class (MonadIO m, MonadExc m) => MonadExcIO m

Instances

MonadExcIO IO

(MonadExc m, MonadIO m) => MonadExcIO (StateT s m)

catchJustM

Arguments

:: MonadExc m

=> (Exception -> Maybe b)

Predicate to select exceptions

-> m a

Computation to run

-> (b -> m a)

Handler

-> m a

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

Arguments

:: MonadExc m

=> m a

computation to run first ("acquire resource")

-> (a -> m b)

computation to run last ("release resource")

-> (a -> m c)

computation to run in-between

-> m c

bracketM_ :: MonadExc m => m a -> m b -> m c -> m c

finally

Arguments

:: IO a

computation to run first

-> IO b

computation to run afterward (even if an exception was raised)

-> IO a

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