All Versions
6
Latest Version
Avg Release Cycle
-
Latest Release
-

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

    🚀 [2]: https://github.com/adituv/typenums/releases