Proposal: Data.Bool.implies

Iavor Diatchki iavor.diatchki at
Fri Jan 22 17:24:48 UTC 2016

Please don't change the ordering on Bool---it's been like that forever and
it might lead to extremely subtle bugs that won't be caught by the compiler.

I am ambivalent about adding an `implies` function as long as it is not
automatically in scope.  However, can anyone give some examples of using
this in your code?  All the ones I could think of would seem easier to
follow when written with `if-then-else` or a guard.


On Thu, Jan 21, 2016 at 11:28 AM, Felipe Lessa <felipe.lessa at>

> +1 for either Data.Bool.implies or Data.Bool.(==>).
> +1 for right-associativity.
> Cheers,
> --
> Felipe.
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list