-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Integration between pipes and errors
--   
@package pipes-errors
@version 0.2.1

module Pipes.Lift.Error.Instances
instance MFunctor (EitherRT r)
instance MFunctor (EitherT e)

module Pipes.Lift.EitherT

-- | Wrap the base monad in <a>EitherT</a>.
eitherP :: Monad m => Proxy a' a b' b m (Either e r) -> Proxy a' a b' b (EitherT e m) r

-- | Run <a>EitherT</a> in the base monad.
runEitherP :: Monad m => Proxy a' a b' b (EitherT e m) r -> Proxy a' a b' b m (Either e r)

-- | Flip the type variables in the <a>EitherT</a> base monad.
flipEP :: Monad m => Proxy a' a b' b (EitherT a m) b -> Proxy a' a b' b (EitherT b m) a

module Pipes.Lift.EitherRT

-- | Turn <a>EitherT</a> in the base monad into <a>EitherRT</a>
eitherRP :: Monad m => Proxy a' a b' b (EitherT e m) r -> Proxy a' a b' b (EitherRT r m) e

-- | Turn <a>EitherRT</a> in the base monad into <a>EitherT</a>
runEitherRP :: Monad m => Proxy a' a b' b (EitherRT r m) e -> Proxy a' a b' b (EitherT e m) r

module Pipes.Lift.Error