pipes-errors-0.3: Integration between pipes and errors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Pipes.Lift.ExceptT

Synopsis

Documentation

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

Wrap the base monad in ExceptT.

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

Run ExceptT in the base monad.

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

Flip the type variables in the ExceptT base monad.