Change log

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

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