Changelog of @hackage/constraints 0.11.2

0.11.2 [2019.09.06]

Depend on the type-equality compatibility library so that (:~~:) may be used when compiling this library with GHC 8.0. This avoids having to redefine (:~~:) directly in the internals of constraints itself.

Introduce a HasDict type class for types that witness evidence of constraints, such as Dict, (:-), Coercion, (:~:), (:~~:), and TypeRep.
Generalize the types of withDict and (\\) to be polymorphic over any HasDict instance.
Add type (⊢) = (:-).
Fix unsafe mistakes in the statements of dividesDef and timesDiv in Data.Constraint.Nat.
Make the implementations of Min and Max reduce on more inputs in Data.Constraint.Nat.
Add minusNat and minusZero functions to Data.Constraint.Nat.
Support hashable-1.3.* and semigroups-0.19.*.

Adapt to the Semigroup–Monoid Proposal (introduced in base-4.11):
- Add a Semigroup instance for Dict
- Add the appropriate (:=>) instances involving Semigroup, and change the Class () (Monoid a) instance to Class (Semigroup a) (Monoid a) when base is recent enough
- Add the appropriate Lifting(2) instances involving Semigroup
Data.Constraint.Nat now reexports the Div and Mod type families from GHC.TypeLits on base-4.11 or later
Fix the type signature of maxCommutes
Export the no method of Bottom
Add NFData instances for Dict and (:-)

Correct an improper use of unsafeCoerce in the internals of Data.Constraint.Nat and Data.Constraint.Symbol
Correctly identify the mismatched types when you defer an unsatisfiable equality constraint through Data.Constraint.Deferrable
Re-export the (:~~:) defined in base from Data.Constraint.Deferred with GHC 8.2 or later
Add several new (:=>) instances for Bits, Identity, Const, Natural, IO, and Word.
Modernize some existing Class and (:=>) instances to reflect the fact that Applicative is now a superclass of Monad on recent versions of base.

Changes to Data.Constraint:
- Add strengthen1 and strengthen2
Changes to Data.Constraint.Deferrable:
- Add a Deferrable () instance
- The Deferrable (a ~ b) instance now shows the TypeReps of a and b when a type mismatch error is thrown
- Add defer_ and deferEither_, counterparts to defer and deferEither which do not require proxy arguments
- Enable PolyKinds. This allows the Deferrable (a ~ b) instance to be polykinded on all supported versions of GHC except 7.10, where the kinds must be * due to an old GHC bug
- Introduce a heterogeneous equality type (:~~:), and use it to define a Deferrable (a ~~ b) instance on GHC 8.0 or later
Changes to Data.Constraint.Forall:
- Implement ForallF and ForallT in terms of Forall
- Add ForallV and InstV (supporting a variable number of parameters)
- Add a forall combinator
Introduce Data.Constraint.Nat and Data.Constraint.Symbol, which contain utilities for working with KnownNat and KnownSymbol constraints, respectively. These modules are only available on GHC 8.0 or later.

Found a nicer encoding of the initial object in the category of constraints using a nullary constraint.

Completely redesigned Data.Constraint.Forall. The old design is unsound and can be abused to define unsafeCoerce! The new design requires closed type families, so this module now requires GHC 7.8+

Typeable and Data. The Data instance for (:-) is a conservative approximation that avoids having to turn (:-) into a cartesian closed category. If it becomes a pain point for users, I know how to do that, and have done so in other libraries -- see hask, but I'm hesitant to bring such heavy machinery to bear and it isn't clear how to do it in a way that is compatible with those other libraries.