Proposal: merge either into transformers

Edward Kmett ekmett at gmail.com
Mon Dec 10 19:57:01 CET 2012


There is Data.Functor.Coproduct in comonad-transformers (
http://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/html/Data-Functor-Coproduct.html)
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ć <mblazevic at stilo.com>wrote:

> 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 at haskell.org
> http://www.haskell.org/**mailman/listinfo/libraries<http://www.haskell.org/mailman/listinfo/libraries>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121210/06756f29/attachment.htm>


More information about the Libraries mailing list