All Versions
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]: