Change log

typenums uses PVP Versioning. The change log is available on GitHub.

0.1.4

Added rational simplification
Added more arithmetic functionality:
- Reciprocals
- Division
- Integer division and remainder (DivMod, QuotRem...)
- Absolute value
- GCD, LCM
- Exponentiation
- Rounding (Floor, Ceiling, Truncate)
- Integer logarithm
Rewrote arithmetic tests to compare types directly
Updated arithmetic operations to simplify rationals
(==?) now considers "logical equality" for numbers rather than exact type representational equality.

0.1.3

Dropped support for GHC 8.2
Added support for GHCs 8.8+
(#4) Added more cases for (<=?) type level comparison
Fixed incorrect behaviour with (<=?) type level comparison
- Comparison of two rationals was previously incorrect
Added tests for comparison

0.1.2.1

Fix build failure on GHC 8.6 by adding conditional NoStarIsType langauge pragma

0.1.2

(#2) Refactored type-level arithmetic so that the type families are exposed from an Internal module.

0.1.1.1

Add UndecidableInstances language extension to Data.TypeNums.Rats. This fixes a compilation error with GHC HEAD.

0.1.1

(#1) Added existentially-quantified datatypes SomeInt and SomeRat to handle type-level Ints and Rats that are not statically known. Added functions someIntVal and someRatVal to construct these from an Integer/Rational value.

0.1.0.0

Initial Haddock release
Defined type-level integers and rationals
Defined polykinded arithmetic over nats, ints and rats
Defined polykinded comparison over nats, ints and rats
Added Data.TypeLits module