Re: [Haskell-cafe] Re: Changing type of 'when'

[Jake McArthur]

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

Maurí­cio wrote:
|> ignore m = m >> return ()
|
|
| But isn't exactly that the behavior of (>>)?

~    ignore :: Monad m => m a -> m ()
~    (>>)   :: Monad m => m a -> m b -> m b

It may also be worth noting that ignore can be generalized to Functor:

~    ignore :: Functor f => f a -> f ()
~    ignore x = () <$ x

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

iEYEARECAAYFAkmAdr8ACgkQye5hVyvIUKn64ACeJ9MHwEgbTUUtnqJVuAe+z7bq
1MgAmwQKzvMOj+l/ih+SwrM1myxplLGB
=oFVr
-----END PGP SIGNATURE-----
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe