| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Algebra.Monad.Error
- class Monad m => MonadError e m | m -> e where
- try :: MonadError e m => m a -> m a -> m a
- (!+) :: MonadError Void m => m a -> m a -> m a
- optional :: MonadError e m => m a -> m (Maybe a)
- throwIO :: (MonadError SomeException m, Exception e) => e -> m ()
- data EitherT e m a
- eitherT :: Functor m => Iso (EitherT e m a) (EitherT f m b) (m (e :+: a)) (m (f :+: b))
The MonadError class
class Monad m => MonadError e m | m -> e where Source
Instances
| MonadError SomeException IO | |
| MonadError Void [] | |
| MonadError Void Maybe | |
| MonadError e (Either e) | |
| MonadError e m => MonadError e (Free m) | |
| Monad m => MonadError Void (ListT m) | |
| MonadError e m => MonadError e (StateT s m) | |
| (Monoid w, MonadError e m) => MonadError e (RWST r w s m) |
try :: MonadError e m => m a -> m a -> m a Source
(!+) :: MonadError Void m => m a -> m a -> m a infixr 0 Source
optional :: MonadError e m => m a -> m (Maybe a) Source
throwIO :: (MonadError SomeException m, Exception e) => e -> m () Source
The Either transformer
Instances
| MonadTrans (EitherT e) | |
| Unit m => Unit (EitherT e m) | |
| MonadFix m => MonadFix (EitherT e m) | |
| Traversable m => Traversable (EitherT e m) | |
| Foldable m => Foldable (EitherT e m) | |
| Monad m => Monad (EitherT e m) | |
| Applicative m => Applicative (EitherT e m) | |
| Functor m => Functor (EitherT e m) |