Re: Proposal: Data.Bool.implies

On 18 Jan 2016, at 09:21, David Feuer 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" 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