Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett
Changes
4.3 [2021.10.31]
Generalize the types of Data.Eq.Type.lower{,2,3}:
-lower :: f a := f b -> a := b
+lower :: f a := g b -> a := b
-lower2 :: f a c := f b c -> a := b
+lower2 :: f a c := g b c' -> a := b
-lower3 :: f a c d := f b c d -> a := b
+lower3 :: f a c d := g b c' d' -> a := b
The types of Data.Eq.Type.Hetero.lower{,2,3} have been generalized
analogously.
Data.Eq.Type.Hetero.lower{,2,3} now have the same order of type variables
as their counterparts in Data.Eq.Type.
Add an apply function to Data.Eq.Type and Data.Eq.Type.Hetero.
Drop support for pre-7.0 versions of GHC.
4.2.1 [2020.10.01]
Allow building with GHC 9.0.
4.2 [2018.04.24]
Make lower, lower2, and lower3 in Data.Eq.Type poly-kinded.
Introduce the Data.Eq.Type.Hetero module, which exposes (:==), a
heterogeneously kinded version of (:=). This module is only available
on GHC 8.2 and later.
4.1
Add TestEquality and TestCoercion instances for (:=).
Add fromLeibniz and toLeibniz functions for converting between (:~:)
(from Data.Type.Equality) and (:=).
Add a reprLeibniz function to convert (:=) to a Coercion
(i.e., representational equality).
Make (:=) a newtype.
We can remove the Trustworthy claim and infer as Safe on modern GHCs.
4.0.2
Made := kind polymorphic.
4.0.1
Provided an explicit nominal RoleAnnotation.
4.0
Updated to work with semigroupoids 4.0
3.1.1
Claim to be Trustworthy
3.1
Disabled observing injectivity through TypeFamilies for GHC >= 7.6
3.0.1
Updated build system
Removed my personal intra-package dependency upper bounds