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