Safe Haskell | Safe-Infered |
---|
Documentation
EitherT | |
|
MonadTrans (EitherT e) | |
Monad m => Monad (EitherT e m) | |
Functor m => Functor (EitherT e m) | |
MonadFix m => MonadFix (EitherT e m) | |
(Functor m, Monad m) => Applicative (EitherT e m) | |
Foldable m => Foldable (EitherT e m) | |
Traversable f => Traversable (EitherT e f) | |
(Functor m, Monad m) => Alt (EitherT e m) | |
(Functor m, Monad m) => Apply (EitherT e m) | |
(Functor m, Monad m) => Bind (EitherT e m) | |
MonadIO m => MonadIO (EitherT e m) | |
Eq (m (Either e a)) => Eq (EitherT e m a) | |
Ord (m (Either e a)) => Ord (EitherT e m a) | |
Read (m (Either e a)) => Read (EitherT e m a) | |
Show (m (Either e a)) => Show (EitherT e m a) | |
Monad m => Semigroup (EitherT e m a) |
hoistEither :: Monad m => Either e a -> EitherT e m aSource