Control.Monad.DeepError

Documentation

class (MonadError e m, DeepPrisms e e') => MonadDeepError e e' m where

Methods

throwHoist :: e' -> m a

Instances

(MonadError e m, DeepPrisms e e') => MonadDeepError e e' m

Defined in Control.Monad.DeepError

Methods

throwHoist :: e' -> m a

catchAt :: forall e' e m a. MonadDeepError e e' m => (e' -> m a) -> m a -> m a

catchAs :: forall e' e m a. MonadDeepError e e' m => a -> m a -> m a

ignoreError :: forall e' e m. MonadDeepError e e' m => m () -> m ()

hoistEither :: MonadDeepError e e' m => Either e' a -> m a

hoistEitherWith :: MonadDeepError e e'' m => (e' -> e'') -> Either e' a -> m a

hoistEitherAs :: MonadDeepError e e'' m => e'' -> Either e' a -> m a

hoistMaybe :: MonadDeepError e e' m => e' -> Maybe a -> m a

tryHoist :: MonadBaseControl IO m => MonadDeepError e e' m => Exception ex => (ex -> e') -> m a -> m a

tryHoistAs :: forall ex e e' m a. MonadBaseControl IO m => MonadDeepError e e' m => Exception ex => e' -> m a -> m a

tryHoistIO :: MonadBaseControl IO m => MonadDeepError e e' m => (IOException -> e') -> m a -> m a

tryHoistIOAs :: MonadBaseControl IO m => MonadDeepError e e' m => e' -> m a -> m a

tryHoistAny :: MonadBaseControl IO m => MonadDeepError e e' m => (SomeException -> e') -> m a -> m a

tryHoistAnyAs :: MonadBaseControl IO m => MonadDeepError e e' m => e' -> m a -> m a