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

[Edward Kmett]

Not sure I like having the upper case on Morphism in EndoMorphism. Endo is a
prefix, not a word. and and Endomorphism is a bit scary and long.

Isaac's CatEndo suggestion seems relatively innocuous though. (CFunctor,
CMonad, etc. in category-extras Control.Functor.Categorical where all
originally CatFunctor, etc.)
-Edward Kmett
On Wed, Jul 8, 2009 at 4:18 PM, <roconnor at theorem.ca> wrote:

> On Wed, 8 Jul 2009, Edward Kmett wrote:
>
>  Yeah, it would probably have to have a new name because it does have a
>> different kind than the existing
>> Endo. GEndo was the best I could come up with that didn't sound verbose
>> (GeneralizedEndo, CategoricalEndo)
>> or like it was naming the wrong thing (EndoCategory). I'm not wedded to
>> the name by any means.
>>
>> Note: a type synonym,
>>
>> > type Endo = GEndo (->)
>>
>> like you mentioned would work, but has the downside that it may require
>> clients that provided instances for
>> Endo to add TypeSynonymInstances where they previously hadn't and I'm not
>> sure how folks would feel about
>> that.
>>
>
> Oh, that is a quite a downside.  I wonder if we can get cabal stats on this
> without difficulty.
>
> As for the name, I'd be happy with the EndoMorphism suggestion given.
> Although it is a bit longish.  I'd also be happy with EndoMorph.
>
>
> --
> 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/20090708/d55a8145/attachment.html