Adding an ignore function to Control.Monad

[Michael Snoyman]

I'm not opposed to using void instead of ignore. Out of curiosity, is anyone
interested in having the Functor version of void? I'm not sure I see a
reason to unnecessarily limit ourselves to Monads here.

Also, if we do end up using void, what's going to happen with the FFI copy?

Michael

On Sat, Jul 11, 2009 at 6:10 AM, Don Stewart <dons at galois.com> wrote:

> gwern0:
> > OK, let's apply a little democracy here. Reading back through the
> > thread, I tally the votes:
> >
> > # Nothing
> > David Menendez
> > John Meachem (?)
> >
> > # Just
> > ## Control.Monad.ignore m a -> m ()
> > Michael Snoyman
> > Neil Mitchell
> > Isaac Dupree
> > Maurí­cio
> > Martijn van Steenbergen
> >
> > ### Control.Monad.ignore f a -> f ()
> > Edward Kmett
> >
> > ## Control.Monad.void m a -> m ()
> > Don Stewart
> > Iavor Diatchki
>
>
> That's an odd mix too. I wonder if we even reached quorum.
>
> -- Don
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20090711/ffffac7a/attachment-0001.html