Control.Monad.Exception.Instances

Orphan instances

MonadRWS r w s m => MonadRWS r w s (ExceptionT m)

MonadReader r m => MonadReader r (ExceptionT m)

Methods

ask :: ExceptionT m r

local :: (r -> r) -> ExceptionT m a -> ExceptionT m a

reader :: (r -> a) -> ExceptionT m a

MonadState s m => MonadState s (ExceptionT m)

Methods

get :: ExceptionT m s

put :: s -> ExceptionT m ()

state :: (s -> (a, s)) -> ExceptionT m a

MonadWriter w m => MonadWriter w (ExceptionT m)

Methods

writer :: (a, w) -> ExceptionT m a

tell :: w -> ExceptionT m ()

listen :: ExceptionT m a -> ExceptionT m (a, w)

pass :: ExceptionT m (a, w -> w) -> ExceptionT m a

MonadCont m => MonadCont (ExceptionT m)

Methods

callCC :: ((a -> ExceptionT m b) -> ExceptionT m a) -> ExceptionT m a