Adding a newtype EndoCategory to Control.Category (ticket #3362)

Edward Kmett ekmett at gmail.com
Thu Jul 9 09:17:52 EDT 2009


As the devil's advocate I'd like to point out that we could just leave Endo
alone, and define its generalized counterpart separately. No worries about
TypeSynonymInstances and no hassle.

-Edward Kmett

On Thu, Jul 9, 2009 at 9:13 AM, <roconnor at theorem.ca> wrote:

> On Thu, 9 Jul 2009, Ross Paterson wrote:
>
>  On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor at theorem.ca wrote:
>>
>>> The only packages on hackage containing instances for Endo are:
>>>>
>>>>  base
>>>>  HStringTemplate
>>>>  monoids
>>>>  special-functors
>>>>  TypeCompose
>>>>
>>>
>>> Is this few enough that we can make our change?
>>>
>>
>> The following additional packages use the current structure of Endo,
>> which would change:
>>
>> ...
>>
>
> Would they really need to change if we did
>
> newtype Endomorph a x = Endo { getEndo :: a x x }
>
> type Endo = Endomorph (->)
>
> I guess it would be kinda confusing if we did that. ... but only a little.
> :)
>
> --
> Russell O'Connor                                      <http://r6.ca/>
> ``All talk about `theft,''' the general counsel of the American Graphophone
> Company wrote, ``is the merest claptrap, for there exists no property in
> ideas musical, literary or artistic, except as defined by statute.''
> _______________________________________________
>  Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20090709/64afeb82/attachment-0001.html


More information about the Libraries mailing list