Proposal to solve the `EitherT` problem.

Edward Kmett ekmett at gmail.com
Mon Jun 17 18:19:23 CEST 2013


If EitherT merged into transformers, I'd happily just move the instance
into the semigroup and semigroupoid packages respectively.


On Sun, Jun 16, 2013 at 6:12 PM, Gabriel Gonzalez <gabriel439 at gmail.com>wrote:

> On 06/16/2013 03:09 PM, Roman Cheplyaka wrote:
>
>> * Gabriel Gonzalez<gabriel439 at gmail.com>  [2013-06-16 14:52:46-0700]
>>
>>> * Approach 2: Add `EitherT` to `transformers` alongside `ErrorT` and
>>> have them both implement `MonadError`.
>>>
>> I already submitted the proposal to merge EitherT into transformers [1],
>> which enjoyed universal support, barring some implementation details.
>>
>> So why not just bring that proposal to its conclusion?
>>
>> [1]: http://www.haskell.org/**pipermail/libraries/2012-**
>> December/019027.html<http://www.haskell.org/pipermail/libraries/2012-December/019027.html>
>>
>> Roman
>>
> Thanks for reminding me of this.  I vaguely remembered this but couldn't
> find the thread.
>
> I'll gladly get behind your original proposal, then.  I particularly liked
> the suggestion of keeping the `either` package around to provide the
> `semigroups` and `semigroupoids` instances.
>
>
> ______________________________**_________________
> 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/20130617/da950c54/attachment.htm>


More information about the Libraries mailing list