pipes-errors-0.3: Integration between pipes and errors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Pipes.Lift.ExceptRT

Synopsis

Documentation

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

Turn ExceptT in the base monad into ExceptRT

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

Turn ExceptRT in the base monad into ExceptT