All Versions
6
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
Changelog History
-
v0.1.2 Changes
- (#2) Refactored type-level arithmetic so that the type families are exposed from an Internal module.
-
v0.1.2.1 Changes
- 🛠Fix build failure on GHC 8.6 by adding conditional NoStarIsType langauge pragma
-
v0.1.1 Changes
- (#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.
-
v0.1.1.1 Changes
- âž• Add UndecidableInstances language extension to Data.TypeNums.Rats. This fixes a compilation error with GHC HEAD.
-
v0.1.0
June 13, 2018 -
v0.1.0.0 Changes
- 🎉 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