Proposal: Data.Bool.implies

Niklas Hambüchen mail at
Fri Jan 22 23:48:38 UTC 2016

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

More information about the Libraries mailing list