pipes-errors-0.2: Integration between pipes and errors

Safe HaskellSafe-Inferred

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) rSource

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) aSource

Flip the type variables in the EitherT base monad.