Changelog for typenums-0.1.1
Change log
typenums uses PVP Versioning. The change log is available on GitHub.
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