Adding an ignore function to Control.Monad

Michael Snoyman michael at snoyman.com
Sat Jul 11 16:03:49 EDT 2009


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


More information about the Libraries mailing list