Changelog for red-black-record-2.1.4.0

Revision history for red-black-record

Deprecated VariantInjection and injections_Variant. VariantInjections is superfluous, as Case can be used instead.
Added runCase accessor for Case.

Added NP-like functions for working on Records, like sequence_Record. They are memebers of the Maplike typeclass.
Deprecated the -Subset functions from Data.RBR and created a new module Data.RBR.Subset with new versions. To avoid collisions, Data.RBR.Subset should be imported qualified.
Deprecated a number of other functions that had Productlike / Sumlike constraints, added new functions with Maplike constraints.
Added IsRecordType, IsVariantType.
Added KeyValueConstraints, ValueConstraint.

Made the type-level map poly-kinded in the values, as there wasn't a real reason to force them to the Type kind.
Removed deprecated EmptyMap (use Empty instead).

Issue #7: FromVariant & ToVariant instances for sum types with branches with no arguments.

BREAKING CHANGES
- The constructors for the type-level map are now hidden.
- The name of the type-level map has changed from RBT to Map, to de-emphasize implementation details.
Added the "Deletable" typeclass with de "delete" and "winnow" methods.
Solved bugs with coloring/balancing, added new tests.
Data.RBR.Internal is still exported, but it doesn't appear in the Haddocks. It appears that Haddock doesn't play well with reexported-modules sections in Cabal.

Field and Branch type families to help speed up type-level computations.

Apparently, having identical invocations of a "costly to compute" type family in a signature slowed things down.