Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
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
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) |