Proposal: Data.Bool.implies

[Andrew Butterfield]

> On 18 Jan 2016, at 09:21, David Feuer <david.feuer at 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 at gmail.com <mailto:hvriedel at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160118/92f89585/attachment.html>