18 Jan
2016
18 Jan
'16
9:26 a.m.
On 18 Jan 2016, at 09:21, David Feuer <david.feuer@gmail.com> wrote:
I don't think flipping it is the way to go; I expect things to short-circuit from left to right.
On Jan 18, 2016 4:14 AM, "Herbert Valerio Riedel" <hvriedel@gmail.com <mailto:hvriedel@gmail.com>> wrote: On 2016-01-18 at 03:17:44 +0100, Niklas Hambüchen wrote: this would leave open the option to have an obvious flipped version
(<==) :: Bool -> Bool -> Bool (<==) = flip (==>)
But you can short-circuit this on the left ! F <== p = not p T <== p = T Note quite the same as short circuiting ==> on the left... ;-) Andrew Butterfield School of Computer Science & Statistics Trinity College Dublin 2, Ireland