Proposal: Data.Bool.implies

[Niklas Hambüchen]

On 22/01/16 18:24, Iavor Diatchki wrote:
> 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.

I use it e.g. in

assert (isProduction `implies` (iterations > 50)) $ ... other code ...