7 Sep
2015
7 Sep
'15
11:28 a.m.
On Mon, Sep 7, 2015 at 10:08 AM, DreamApart AtHaskells
We cannot define a (+) alone for a type, so we got many different functions from different libs, like mappend, mplus, plus, (<+>), (.+.), (+.), which all reads "plus".
I should mention one other difficulty: MonadPlus and Monoid are not quite the same thing. mplus and mappend can't really be unified into a single conceptual structure (mostly because of the Maybe instance). -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net