Safe Haskell	None
Language	GHC2021

Control.Monad.Ology.General.Catch

Synopsis

class MonadThrow e m => MonadCatch e (m :: Type -> Type) where
- catch :: m a -> (e -> m a) -> m a
try :: forall m e a. MonadCatch e m => m a -> m (Result e a)
handle :: forall m e a. MonadCatch e m => (e -> m a) -> m a -> m a

Documentation

class MonadThrow e m => MonadCatch e (m :: Type -> Type) where Source #

Monads that can catch this type of exception.

Methods

catch :: m a -> (e -> m a) -> m a Source #

Instances

Instances details

Exception e => MonadCatch e IO Source #
Instance details Defined in Control.Monad.Ology.General.Catch Methods catch :: IO a -> (e -> IO a) -> IO a Source #
MonadCatch e m => MonadCatch e (LifecycleT m) Source #
Instance details Defined in Control.Monad.Ology.Specific.LifecycleT Methods catch :: LifecycleT m a -> (e -> LifecycleT m a) -> LifecycleT m a Source #
MonadCatch e m => MonadCatch e (WithT m) Source #
Instance details Defined in Control.Monad.Ology.Specific.WithT Methods catch :: WithT m a -> (e -> WithT m a) -> WithT m a Source #
MonadCatch e m => MonadCatch e (IdentityT m) Source #
Instance details Defined in Control.Monad.Ology.Specific.IdentityT Methods catch :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a Source #
MonadCatch e m => MonadCatch e (ReaderT r m) Source #
Instance details Defined in Control.Monad.Ology.Specific.ReaderT Methods catch :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a Source #
MonadCatch e m => MonadCatch e (StateT s m) Source #
Instance details Defined in Control.Monad.Ology.Specific.StateT Methods catch :: StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #
(MonadCatch e m, Monoid w) => MonadCatch e (WriterT w m) Source #
Instance details Defined in Control.Monad.Ology.Specific.WriterT Methods catch :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #
MonadCatch e m => MonadCatch (Maybe e) (MaybeT m) Source #
Instance details Defined in Control.Monad.Ology.Specific.MaybeT Methods catch :: MaybeT m a -> (Maybe e -> MaybeT m a) -> MaybeT m a Source #
MonadCatch ex m => MonadCatch (Either e ex) (ExceptT e m) Source #
Instance details Defined in Control.Monad.Ology.Specific.ExceptT Methods catch :: ExceptT e m a -> (Either e ex -> ExceptT e m a) -> ExceptT e m a Source #

try :: forall m e a. MonadCatch e m => m a -> m (Result e a) Source #

handle :: forall m e a. MonadCatch e m => (e -> m a) -> m a -> m a Source #