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> 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