UI.HSCurses.MonadException

Documentation

class Monad m => MonadExc m where

Methods

catchM :: Exception e => m a -> (e -> 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

:: (Exception e, MonadExc m)

=> (e -> Maybe b)

Predicate to select exceptions

-> m a

Computation to run

-> (b -> m a)

Handler

-> m a

handleM :: (Exception e, MonadExc m) => (e -> m a) -> m a -> m a

handleJustM :: (Exception e, MonadExc m) => (e -> Maybe b) -> (b -> m a) -> m a -> m a

tryM :: (Exception e, MonadExc m) => m a -> m (Either e a)

tryJustM :: (Exception e, MonadExc m) => (e -> Maybe b) -> m a -> m (Either b 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 :: (Exception e, MonadExc m) => StateT s m a -> (e -> 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