Re: Adding a newtype EndoCategory to Control.Category (ticket #3362)
Oh, that is a quite a downside. I wonder if we can get cabal stats on this without difficulty.
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? -- 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.''
On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor@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: collections explicit-exception future happs-hsp-template happstack-server lhc midi monad-ran phooey storablevector synthesizer synthesizer-core xmonad xmonad-contrib yi
Well, of those monoids and monad-ran are mine and I'd happily rerelease them
both to work with a new Endo.
-Ed
On Thu, Jul 9, 2009 at 7:56 AM, Ross Paterson
On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor@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:
collections explicit-exception future happs-hsp-template happstack-server lhc midi monad-ran phooey storablevector synthesizer synthesizer-core xmonad xmonad-contrib yi _______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries
On Thu, 9 Jul 2009, Ross Paterson wrote:
On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor@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.''
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,
On Thu, 9 Jul 2009, Ross Paterson wrote:
On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor@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@haskell.org http://www.haskell.org/mailman/listinfo/libraries
Edward Kmett schrieb:
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.
+1 I don't see a need to give up Endo as it is. Some of the packages listed by Ross are mine (synthesizer, synthesizer-core, midi, explicit-exception, special-functor (compatibility package for GHC-6.4)). I often use Endo as poor man's diff list implementation.
As far as HStringTemplate, I'd have no objections to a more generalized Endo. Cheers, Sterl. On Jul 8, 2009, at 10:05 PM, roconnor@theorem.ca wrote:
Oh, that is a quite a downside. I wonder if we can get cabal stats on this without difficulty.
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?
-- 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@haskell.org http://www.haskell.org/mailman/listinfo/libraries
participants (5)
-
Edward Kmett -
Henning Thielemann -
roconnor＠theorem.ca -
Ross Paterson -
Sterling Clover