Proposal #3339: Add (+>) as a synonym for mappend

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Sun Aug 14 15:45:50 CEST 2011


On 14 August 2011 23:43, Yitzchak Gale <gale at sefer.org> wrote:
> Johan Tibell wrote:
>>> This is a call for consensus. Do we agree to add
>>>     infixr 6 <>
>>>     (<>) :: Monoid m => m -> m -> m
>>>     (<>) = mappend
>>>
>>> If so I have a patch for base and GHC ready.
>
> NO please don't do that. It would break all packages
> that do, or soon will, use the semigroups
> package.
>
> That proposal is no longer relevant. Every Monoid
> instance should now be made an instance of
> Semigroup. Anyone who wants to use <> should
> import it from there.

Which would require that pretty depends on semigroup and thus
semigroup becomes a boot library, does it not?

-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com



More information about the Libraries mailing list