Changelog of @hackage/eq 4.1

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
  • Added README and CHANGELOG