[Haskell-cafe] Generalizing catMaybes
Tony Morris
tonymorris at gmail.com
Sat Jan 8 23:07:04 CET 2011
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Thanks guys for all the solutions. A slight correction below.
On 09/01/11 03:54, David Menendez wrote:
>
> Naturally, if you also have pure and fmap, you also have a monad.
You have a pointed functor but not necessarily a monad. There are many
pointed functors that are not monads. The paper, Applicative
Programming with Effects (McBride, Paterson) lists a couple.
- --
Tony Morris
http://tmorris.net/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk0o4AgACgkQmnpgrYe6r62z4wCgk4A1njS5lLH3RHtxfnIkVGTL
t3sAoKNm7HjVQyk/Gb1AL5LxahRHPmKN
=5D4j
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe
mailing list