Improving void

[Malcolm Wallace]

Can you explain why you think it is an improvement?
To me, it looks like line noise.

 Regards,
    Malcolm

On 5/08/2013, at 20:06, Edward Kmett <ekmett at gmail.com> wrote:

Right now the definition of Control.Monad.void is:
void :: Functor f => f a -> f ()
void = fmap (const ())
I propose we replace it with
void :: Functor f => f a -> f ()

void = (() <$)
This expands out to the former definition by the default definition of (<$) and Data.Functor.Functor exports (<$) explicitly to make it possible to optimize this sort of thing. It seems a shame not to use it.

Discussion Period: 2 weeks
_______________________________________________
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/20130806/7b42ff2d/attachment.htm>