Proposal: Max and Min for Monoid

Brandon S Allbery KF8NH allbery at ece.cmu.edu
Sat Sep 25 17:03:41 EDT 2010


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 9/25/10 13:09 , Henning Thielemann wrote:
> Edward Kmett schrieb:
>> -- ^ like how Functor m => Monoid m, you get the obvious 'spiritual but
>> unenforced' Semigroup m => Monoid m
> 
> Functor m => Monad m ?

I was wondering about that.  mempty = id, mappend = (.) is as close as I
could get....

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkyeY6wACgkQIn7hlCsL25ULGwCgiI9bbafrY0AsV5NijM5AAJJh
V8MAoNLPlC8InRoIB1TM95sBAj3IWWMU
=TIyA
-----END PGP SIGNATURE-----


More information about the Libraries mailing list