[Haskell-cafe] Generalizing catMaybes

Tony Morris tonymorris at gmail.com
Sat Jan 8 03:56:28 CET 2011


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

 I am wondering if it possible to generalise catMaybes:

(Something f, SomethingElse t) => t (f a) -> t a

I have being doing some gymnastics with Traversable and Foldable and a
couple of other things from category-extras to no avail. Perhaps
someone else's brain is molded into an appropriate shape to reveal an
answer!

- -- 
Tony Morris
http://tmorris.net/

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk0n0lwACgkQmnpgrYe6r6155gCeLjYizQ/5w1r2qkecbEqiQqq5
ihIAn1bmmK/qNFxM2sSusqjJu/g2/lH7
=+SdM
-----END PGP SIGNATURE-----




More information about the Haskell-Cafe mailing list