Data.Monoid: Add (<>) as a synonym for mappend
This proposal was, I think, originally suggested by Jules Bean. The idea is to add two functions to the Data.Monoid
module, (+>)
and (<+)
, corresponding to different uses of mappend
. These should not be methods of the Monoid
typeclass, but top-level functions.
I hope (but slightly doubt) that the visual nature of the two operators might help to counter the thought that monoids are just for gluing things together.
(+>) :: (Monoid a) => a -> a -> a
a +> b = a `mappend` b
(<+) :: (Monoid a) => a -> a -> a
a <+ b = b `mappend` a
infixl 4 +>
infixl 4 <+
Proposed deadline: two weeks.
If this looks reasonable, I'll attach darcs patches.
Trac metadata
Trac field | Value |
---|---|
Version | 6.10.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |