-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Haskell 98 either monad transformer -- -- Haskell 98 either monad transformer @package either @version 0.2.3 module Control.Monad.Trans.Either newtype EitherT e m a EitherT :: m (Either e a) -> EitherT e m a runEitherT :: EitherT e m a -> m (Either e a) eitherT :: Monad m => (a -> m c) -> (b -> m c) -> EitherT a m b -> m c hoistEither :: Monad m => Either e a -> EitherT e m a instance Traversable f => Traversable (EitherT e f) instance Foldable m => Foldable (EitherT e m) instance MonadIO m => MonadIO (EitherT e m) instance MonadTrans (EitherT e) instance MonadFix m => MonadFix (EitherT e m) instance (Monad m, Default e) => MonadPlus (EitherT e m) instance Monad m => Monad (EitherT e m) instance (Functor m, Monad m) => Bind (EitherT e m) instance (Functor m, Monad m, Default e) => Alternative (EitherT e m) instance (Functor m, Monad m, Default e) => Plus (EitherT e m) instance (Functor m, Monad m) => Alt (EitherT e m) instance (Monad m, Default e) => Monoid (EitherT e m a) instance Monad m => Semigroup (EitherT e m a) instance (Functor m, Monad m) => Applicative (EitherT e m) instance (Functor m, Monad m) => Apply (EitherT e m) instance Functor m => Functor (EitherT e m) instance Ord (m (Either e a)) => Ord (EitherT e m a) instance Eq (m (Either e a)) => Eq (EitherT e m a) instance Read (m (Either e a)) => Read (EitherT e m a) instance Show (m (Either e a)) => Show (EitherT e m a)