[Haskell-cafe] Generalizing catMaybes
tonymorris at gmail.com
Sat Jan 8 23:07:04 CET 2011
-----BEGIN PGP SIGNED MESSAGE-----
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.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe