All Versions
19
Latest Version
Avg Release Cycle
75 days
Latest Release
1342 days ago

Changelog History
Page 2

  • v0.3 Changes

    May 15, 2017
    • โšก๏ธ GHC 8.2.1 support: Underlying representation for KnownNat in GHC 8.2 is Natural, meaning users of this plugin will need to update their code to use Natural for GHC 8.2 as well.
  • v0.2.4 Changes

    April 10, 2017
    • ๐Ÿ†• New features:
      • Derive constraints for unary functions via a KnownNat1 instance; thanks to @nshepperd #11
      • Use type-substituted [G]iven KnownNats (partial solve for #13)
  • v0.2.3 Changes

    January 15, 2017
    • Solve normalised literal constraints, i.e.:
      • KnownNat (((addrSize + 1) - (addrSize - 1))) ~ KnownNat 2
  • v0.2.2 Changes

    September 29, 2016
    • ๐Ÿ†• New features:
      • Derive smaller constraints from larger constraints when they differ by a single variable, i.e. KnownNat (a + b), KnownNat b implies KnownNat a.
  • v0.2.1 Changes

    August 19, 2016
    • ๐Ÿ›  Fixes bugs:
      • Source location of derived wanted constraints is, erroneously, always set to line 1, column 1
  • v0.2 Changes

    August 17, 2016
    • ๐Ÿ†• New features:
      • Handle GHC.TypeLits.-
      • Handle custom, user-defined, type-level operations
      • Thanks to Gabor Greif (@ggreif): derive smaller from larger constraints, i.e. KnownNat (n+1) implies KnownNat n
  • v0.1.2 Changes

    • ๐Ÿ†• New features: Solve "complex" KnownNat constraints involving arbitrary type-functions, as long as there is a given KnownNat constraint for this type functions.
  • v0.1.1 Changes

    August 11, 2016
    • ๐Ÿ›  Fixes bug: panic on a non-given KnownNat constraint variable
  • v0.1 Changes

    August 10, 2016
    • ๐ŸŽ‰ Initial release