Changelog for typelits-witnesses-0.4.0.1

Changelog

November 29, 2023

June 20, 2019

Complete overhaul of GHC.TypeLits.Witnesses to more or less match the interface of singletons. This changes the role of the module to be a "lightweight" version of the singletons library as it pertains to Nat and Symbol.
Removal of the GHC.TypeLits.List module. We could perform the same overhaul as GHC.TypeLits.Witnesses, but it is complex enough that it would be better to just use singletons instead at that point.
Remove all external dependencies, except for base and dependent-sum.
Break compatibility with GHC < 8.2

October 1, 2018

March 30, 2018

Functions taking multiple p m in GHC.TypeLits.Compare now are able to take different "proxy" types (p and q).

Documentation fixes because deprecation warnings were not showing up on haddocks for GHC.TypeLits.List.

Added extra witnesses inside the constructors of (:<=?).
Allowed functions to polymorphically expect p n instead of Proxy n whenever possible.
Soft deprecation of GHC.TypeLits.Witnesses, in case people want to use the functionality of singletons without the full library.
Formal deprecation of GHC.TypeLits.List, with migration information, because it's just so much more unweidly than using singletons.

Added the GHC.TypeLits.Compare module for refining bounds and proving inequalities on KnownNats and associated utility functions.

Removed redundant KnownNats and KnownSymbols constraints for sameNats and sameSymbols.

Added "eliminators", a staple of dependently typed programming, for NatList and SymbolList.

Breaking: Changed the name of someNatsVal' to someNatsValPos, to break away from the "just add '" anti-pattern and to make the function name a bit more meaningful.
Added reifyNats', a "safe" version of reifyNats. Ideally, reifyNats should be the safe one, but its connection to reifyNat from the reflection package is very strong and worth preserving, I think.

Added mapNatList' and mapSymbolList' companions to mapNatList and mapSymbolList; they use NatList and SymbolList instead of Rank-2 types, so they can work better with function composition with (.) and other things that Rank-2 types would have trouble with.
Added sameNats and sameSymbols, modeled after sameNat and sameSymbol. They provide witnesses to GHC that KnownNats passed in are both the same.

Added strict fields to NatList, SomeNats, SymbolList, and SomeSymbols. It really doesn't make any sense for them to be lazy.

Added README to the cabal package as an extra source file, for viewing on Hackage.