mtl-extras-0.1: Higher order versions of MTL classes

Safe HaskellSafe
LanguageHaskell98

Control.Monad.Except.Extras

Description

Lifted MonadError.

Synopsis

Documentation

class MonadTrans t => MonadError1 t where Source #

Lifted MonadError.

Minimal complete definition

catchError1

Methods

catchError1 :: MonadError e m => t m a -> (e -> t m a) -> t m a Source #

Lifted catchError.

Instances

MonadError1 ListT Source # 

Methods

catchError1 :: MonadError e m => ListT m a -> (e -> ListT m a) -> ListT m a Source #

MonadError1 MaybeT Source # 

Methods

catchError1 :: MonadError e m => MaybeT m a -> (e -> MaybeT m a) -> MaybeT m a Source #

MonadError1 (ExceptT e) Source # 

Methods

catchError1 :: MonadError e m => ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a Source #

MonadError1 (StateT s) Source # 

Methods

catchError1 :: MonadError e m => StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #

MonadError1 (StateT s) Source # 

Methods

catchError1 :: MonadError e m => StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #

Monoid w => MonadError1 (WriterT w) Source # 

Methods

catchError1 :: MonadError e m => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #

Monoid w => MonadError1 (WriterT w) Source # 

Methods

catchError1 :: MonadError e m => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #

MonadError1 (IdentityT *) Source # 

Methods

catchError1 :: MonadError e m => IdentityT * m a -> (e -> IdentityT * m a) -> IdentityT * m a Source #

MonadError1 (ReaderT * r) Source # 

Methods

catchError1 :: MonadError e m => ReaderT * r m a -> (e -> ReaderT * r m a) -> ReaderT * r m a Source #

Monoid w => MonadError1 (RWST r w s) Source # 

Methods

catchError1 :: MonadError e m => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a Source #

Monoid w => MonadError1 (RWST r w s) Source # 

Methods

catchError1 :: MonadError e m => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a Source #