Adding an ignore function to Control.Monad

Neil Mitchell ndmitchell at
Thu Jul 2 02:26:45 EDT 2009

void is the wrong name, wrong type, wrong purpose and wrong module. We
could fix all those things, but I think we should just add ignore as
previously agreed (+1 for that)

Thanks, Neil

On Thu, Jul 2, 2009 at 4:11 AM, Isaac
Dupree<ml at> wrote:
> Gwern Branwen wrote:
>> Since then, Don Stewart has pointed out
>> that there is a very
>> similar function specified in the FFI standard
>> - 'void     :: IO a -> IO ()'.
> Are we willing to change (generalize) the type of
> Foreign.Marshal.Error.void?  If so, we could export (void :: Functor m => m
> a -> m ()) from both Control.Monad and F.M.E (if we wanted to).  If we're
> not willing, then I think it would be a bit more convenient to name them
> different things (so that if you import both modules you don't get a
> name-conflict for using 'void').
> I vote to just name it Control.Monad.ignore .  Many people independently
> invented the name "ignore" in their own projects.  Also I suspect the name
> "void" in FFI has some etymology in C's equivalent, casting expressions to
> void (eg: (void)printf(something); ) which I doubt most haskell coders care
> about most of the time?
> -Isaac
> _______________________________________________
> Libraries mailing list
> Libraries at

More information about the Libraries mailing list