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