#3339: Data.Monoid: Add (+>) as a synonym for mappend
-----------------------------+----------------------------------------------
Reporter: bos | Owner:
Type: bug | Status: new
Priority: normal | Component: libraries/base
Version: 6.10.3 | Severity: normal
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
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.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3339>
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
