There is Data.Functor.Coproduct in comonad-transformers (
http://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/htm...)
which could be moved.
I never really liked having it in the comonad-transformers package anyways.
-Edward
On Mon, Dec 10, 2012 at 11:43 AM, Mario Blažević
On 12-12-10 11:35 AM, Ross Paterson wrote:
On Mon, Dec 10, 2012 at 04:17:23PM +0000, Mario Blažević wrote:
On 12-12-07 04:44 AM, Roman Cheplyaka wrote:
I propose to add the sole module of the 'either' package[1], Control.Monad.Trans.Either, to the transformers package.
+1. Then I can drop the EitherFunctor type from the monad-coroutine package.
That's not the same thing:
newtype EitherT e m a = EitherT { runEitherT :: m (Either e a) }
data EitherFunctor l r x = LeftF (l x) | RightF (r x)
I let my hopes run wild. Oh well, I'm still okay with the change. Any chance of having an equivalent of EitherFunctor included in Transformers as well?
______________________________**_________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/**mailman/listinfo/librarieshttp://www.haskell.org/mailman/listinfo/libraries