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@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.