type-equality

Data.Type.Equality compat package

https://github.com/hesselink/type-equality

Version on this page:1@rev:1
LTS Haskell 23.4:1.0.1@rev:1
Stackage Nightly 2025-01-15:1.0.1@rev:1
Latest on Hackage:1.0.1@rev:1

See all snapshots type-equality appears in

BSD-3-Clause licensed by Oleg Grenrus, Ryan Scott, Erik Hesselink, Martijn van Steenbergen
Maintained by Oleg Grenrus, Ryan Scott, Erik Hesselink
This version can be pinned in stack with:type-equality-1@sha256:d36324583fbafc5698c3f898ccf7cf041cbf42435fc2559c28e8f77682739a8e,1517

Module documentation for 1

There are no documented modules for this package.

Depends on 1 package(full list with versions):
base
Used by 2 packages in lts-15.0(full list with versions):
constraints, lens

This library defines a propositional equality data type, shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8).

data a :~: b where
    Refl :: a :~: a

The module Data.Type.Equality.Hetero shims :~~: equality, for compilers with PolyKinds

Changes

1

  • Rewrite the library to contain a shim of recent base Data.Type.Equality module.

0.1.2

  • Add subst2. Thanks to James Koppel.

0.1.1

  • Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen.

0.1.0.2

  • Move ‘Build-depends’ to ‘Library’ section. Thanks to Brent Yorgey.

0.1.0.1

  • Added EqT instance for (:=:)
  • Removed ‘cast’ as synonym for ‘coerce’.
  • Show and read instances for (:=:).
  • Lots of small changes.

0.1.0

  • Initial version.