Version 0.6.0

• COMPILER ASSISTED BREAKING CHANGE: KindInteger.Integer is now is now only ever used as a kind. So, all term-level functions in the KindInteger consume and produce Prelude.Integers.

• COMPILER ASSISTED BREAKING CHANGE: Removed Eq, Ord, Show and Read instances for KindInteger.Integer.

• COMPILER ASSISTED BREAKING CHANGE: Z is now used to represent zero, instead of the previous P 0.

• COMPILER ASSISTED BREAKING CHANGE: P 0 and N 0 are not KnownIntegers anymore.

• COMPILER ASSISTED BREAKING CHANGE: KnownInteger is now a type-synonym that implies Normalized i ~ i and KnownNat (Abs i) as well.

• Added readPrecTypeLit.

• Added Normalized.

• Added singletons-base support for Integer, including PNum, SNum, PEq, SEq, POrd, SOrd, PShow and SShow. Most arithmetic functions are now exported through PNum and SNum, rather than standalone.

• Added ShowLit, ShowsLit, ShowsPrecLit and its singletons and promoted versions.

• Added Fold and sFold.

• Added defunctionalization symbols.

• Added ZigZag encoding and decoding tools.

Version 0.5

• COMPILER ASSISTED BREAKING CHANGE: integerVal, someIntegerVal, fromSInteger and withSomeSInteger now deal with KindInteger's Integers, rather than Prelude's Integers.

• COMPILER ASSISTED BREAKING CHANGE: Removed fromSInteger'.

• Added SingI and SingKind instances.

Version 0.4

• COMPILER ASSISTED BREAKING CHANGE: TestEquality and TestCoercion consider N 0 and P 0 to be different.

• BREAKING CHANGE: The Integer inside SIntegers is not automatically normalized anymore. This is so that SDecide, TestEquality and TestCoercion behave as expected, treating N 0 and P 0 differently. This is mostly an internal change, but it can be observed in the Show instance for SInteger, for example.

• Added role annotations to SInteger.

• Add dependency on singletons so that we can give a Sing and SDecide instances for type-level Integers.

• Export fromSInteger', eqIntegerRep.

Version 0.3

• COMPILER ASSISTED BREAKING CHANGE: Renamed Mod to Rem, DivMod to DivRem, mod to rem, divMod to divRem.

Version 0.2

• COMPILER ASSISTED BREAKING CHANGE: Removed Div, Mod, Quote and Rem in favour of more polymorphic Div, Mod.

• COMPILER ASSISTED BREAKING CHANGE: Removed integerVal'. Nothing wrong with it, just redundant.

• Export Sign, Abs, GCD, LCM, Odd, Even, toPrelude, fromPrelude, showsPrecTypeLit, div, mod, divMod, DivMod.

• Add Eq, Ord, Show, Read instances for Integer.

• Minor cabal and documentation improvements.

Version 0.1

• Initial version.