[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