pipes-errors-0.2.1: Integration between pipes and errors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Pipes.Lift.EitherT

Synopsis

Documentation

eitherP :: Monad m => Proxy a' a b' b m (Either e r) -> Proxy a' a b' b (EitherT e m) r Source

Wrap the base monad in EitherT.

runEitherP :: Monad m => Proxy a' a b' b (EitherT e m) r -> Proxy a' a b' b m (Either e r) Source

Run EitherT in the base monad.

flipEP :: Monad m => Proxy a' a b' b (EitherT a m) b -> Proxy a' a b' b (EitherT b m) a Source

Flip the type variables in the EitherT base monad.