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@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@haskell.org
http://www.haskell.org/mailman/listinfo/libraries