#3339: Data.Monoid: Add (<>) as a synonym for mappend
------------------------------+---------------------------------------------
Reporter: bos | Owner:
Type: feature request | Status: patch
Priority: normal | Milestone: Not GHC
Component: libraries/base | Version: 7.3
Resolution: | Keywords:
Testcase: | Blockedby:
Difficulty: Unknown | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
------------------------------+---------------------------------------------
Comment(by duncan):
Replying to [comment:28 YitzGale]:
> This is an old proposal. I was in favor of it back in the day,
> but now I am opposed, due to the existence of the semigroups package:
For the record, I disagree. Having a semigroup class is fine, but as long
as it is outside of base then we still need <> in base otherwise in
practice all the other packages are just not going to provide semigroup
instances. Later on, if we move semigroup into base, or move monoid out of
base into a different core package then that'll all be nice, we can move
<> into semigroup etc. But lets not hold back everything just because it's
not perfect. Whatever solution we use to fix Applicative between Functor
and Monad, we'll be able to use the same solution to fix Semigroup.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3339#comment:33>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
