Changelog for eq-4.3
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 inData.Eq.Type
. -
Add an
apply
function toData.Eq.Type
andData.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
, andlower3
inData.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
andTestCoercion
instances for(:=)
. - Add
fromLeibniz
andtoLeibniz
functions for converting between(:~:)
(fromData.Type.Equality
) and(:=)
. - Add a
reprLeibniz
function to convert(:=)
to aCoercion
(i.e., representational equality). - Make
(:=)
a newtype. - We can remove the
Trustworthy
claim and infer asSafe
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
- Added
README
andCHANGELOG