Changelog for eq-4.2
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
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
and CHANGELOG