Mini.Transformers.EitherT

Extension of a monad with the Either ability to interrupt a sequence of actions and terminate with a value

Type

data EitherT e m a

A monad with early termination type e, inner monad m, and return type a

Instances

MonadTrans (EitherT e)

Defined in Mini.Transformers.EitherT

Methods

lift :: Monad m => m a -> EitherT e m a

(Monad m, Monoid e) => Alternative (EitherT e m)

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)

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)

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)

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

Termination

left :: Monad m => e -> EitherT e m a

Terminate an action sequence with the given value

Anticipation

anticipate :: Monad m => EitherT e m a -> EitherT e m (Either e a)

Run the given action and decide what to do depending on the return type

anticipate foo >>= either bar baz

Runners

runEitherT :: EitherT e m a -> m (Either e a)

Unwrap an EitherT