Add inference rule for Greater[A] ==> Not[Less[A]]

[zainab-ali]

If a value is greater than x, then it also must not be less than x.

What do you think of introducing it as an inference rule?

[zainab-ali]

The binary compatability check is failing in 2.10 and 2.11 due to the addition of the new method

[fthomas]

This LGTM, thanks @zainab-ali! What do you think about using GreaterEqual[A] (which is an alias for Not[Less[A]]) for the type of that rule? I think Greater[A] ==> GreaterEqual[A] is easier to understand.

If we add this, it would also make sense to add Less[A] ==> LessEqual[A]. We can add this in a later PR, no need to do this here.

With regards to the MiMa checks: the next version will be 0.9.0 so it is okay to break binary compatability. Just add MiMa exclusions here to ignore those errors.

[codecov]

Codecov Report

Merging #452 into master will increase coverage by <.01%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master     #452      +/-   ##
==========================================
+ Coverage   98.03%   98.03%   +<.01%     
==========================================
  Files          57       57              
  Lines         660      662       +2     
  Branches       12       12              
==========================================
+ Hits          647      649       +2     
  Misses         13       13

Impacted Files	Coverage Δ
...ed/src/main/scala/eu/timepit/refined/numeric.scala	100% <100%> (ø)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 7080ca0...36acee1. Read the comment docs.

[zainab-ali]

Right, GreaterEqual is easier to reason about. I've thrown LessEqual too, since it was straightforward.

Integrating mima and scalafmt into the build like this is a great idea :) I'll start doing that for my own projects!

EDIT: There are still some mima exclusions I need to add

Ok, exclusions added

[fthomas]

LGTM, thanks again @zainab-ali!