Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Extend a monad with the ability to terminate a computation with a value
Type
newtype EitherT e m a Source #
A terminable transformer with termination e, inner monad m, return a
Instances
MonadTrans (EitherT e) Source # | |
MonadFail m => MonadFail (EitherT e m) Source # | |
Defined in Mini.Transformers.EitherT | |
MonadIO m => MonadIO (EitherT e m) Source # | |
Defined in Mini.Transformers.EitherT | |
(Monad m, Monoid e) => Alternative (EitherT e m) Source # | |
Monad m => Applicative (EitherT e m) Source # | |
Defined in Mini.Transformers.EitherT | |
Monad m => Functor (EitherT e m) Source # | |
Monad m => Monad (EitherT e m) Source # | |