[#558] Add Range type to Lorentz
I still intend to add some tests.
Description
What it says on the tin.
Additional effort was spent on this condition from the issue description:
error messages on type mismatch remain neat, they should not be like
Cannot match 'Natural' with 'RangeInternal 'RangeInclusive 'RangeExclusive'
Ultimately, hiding "ugly internals" with things like TypeError
s can work in some cases, but generally it hurts type inference due to use of incoherence. Thus, "ugly internals" are hidden behind newtypes instead.
Related issue(s)
Resolves #558 (closed)
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests (see short guidelines)
-
If I added new functionality, I added tests covering it. -
If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Nikolay Yakimov