Safe Haskell	Safe-Inferred
Language	Haskell2010

Mini.Transformers.EitherT

Contents

Description

Extend a monad with the ability to terminate a computation with a value

Synopsis

Type

newtype EitherT e m a Source #

A terminable transformer with termination e, inner monad m, return a

Constructors

Instances details

MonadTrans (EitherT e) Source #
Instance details Defined in Mini.Transformers.EitherT Methods lift :: Monad m => m a -> EitherT e m a Source #
(Monad m, Monoid e) => Alternative (EitherT e m) Source #
Instance details Defined in Mini.Transformers.EitherT Methods empty :: EitherT e m a # (<\|>) :: EitherT e m a -> EitherT e m a -> EitherT e m a # some :: EitherT e m a -> EitherT e m [a] # many :: EitherT e m a -> EitherT e m [a] #
Monad m => Applicative (EitherT e m) Source #
Instance details Defined in Mini.Transformers.EitherT Methods pure :: a -> EitherT e m a # (<>) :: EitherT e m (a -> b) -> EitherT e m a -> EitherT e m b # liftA2 :: (a -> b -> c) -> EitherT e m a -> EitherT e m b -> EitherT e m c # (>) :: EitherT e m a -> EitherT e m b -> EitherT e m b # (<*) :: EitherT e m a -> EitherT e m b -> EitherT e m a #
Monad m => Functor (EitherT e m) Source #
Instance details Defined in Mini.Transformers.EitherT Methods fmap :: (a -> b) -> EitherT e m a -> EitherT e m b # (<$) :: a -> EitherT e m b -> EitherT e m a #
Monad m => Monad (EitherT e m) Source #
Instance details Defined in Mini.Transformers.EitherT Methods (>>=) :: EitherT e m a -> (a -> EitherT e m b) -> EitherT e m b # (>>) :: EitherT e m a -> EitherT e m b -> EitherT e m b # return :: a -> EitherT e m a #

Runner

Unwrap an EitherT computation

Terminate the computation with a value

Run a computation and get its result