pipes-errors-0.2.1: Integration between pipes and errors
Pipes.Lift.EitherT
Synopsis
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.
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.