<p dir="ltr">I don't think flipping it is the way to go; I expect things to short-circuit from left to right.</p>
<div class="gmail_quote">On Jan 18, 2016 4:14 AM, "Herbert Valerio Riedel" <<a href="mailto:hvriedel@gmail.com">hvriedel@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2016-01-18 at 03:17:44 +0100, Niklas Hambüchen wrote:<br>
<br>
[...]<br>
<br>
> The request for this is quite old (see e.g.<br>
> <a href="http://neilmitchell.blogspot.de/2007/02/logical-implication-in-haskell.html" rel="noreferrer" target="_blank">http://neilmitchell.blogspot.de/2007/02/logical-implication-in-haskell.html</a>).<br>
><br>
> I believe that by not trying to use an operator for it, and keeping it<br>
> in Data.Bool, we can avoid doing anything wrong.<br>
<br>
Just wondering, what could/would go wrong if we did use an operator<br>
`==>` (still be hidden in Data.Bool[1]), i.e.<br>
<br>
 (==>) :: Bool -> Bool -> Bool<br>
 True  ==> x  = x<br>
 False ==> _  = True<br>
<br>
<br>
this would leave open the option to have an obvious flipped version<br>
<br>
  (<==) :: Bool -> Bool -> Bool<br>
  (<==) = flip (==>)<br>
<br>
<br>
<br>
 [1]: Consequently, if `==>` is available only via explicit Data.Bool<br>
      import, a conflict with QuickCheck's (==>) shouldn't be a big<br>
      issue IMHO<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>