Package Info

ghc-type-equality


Data.Type.Equality compat package


Unspecified

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'.


License: BSD-3-Clause
URL: https://hackage.haskell.org/package/type-equality

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
1-bp155.4.16 info GA Release 2023-05-22 15 SP5
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • ghc-type-equality
  • ghc-type-equality-devel
1-bp154.3.11 info GA Release 2022-05-09 15 SP4
  • AArch64
  • ppc64le
  • x86-64
  • ghc-type-equality
  • ghc-type-equality-devel
1-bp153.1.20 info GA Release 2021-04-08 15 SP3
  • AArch64
  • ppc64le
  • x86-64
  • ghc-type-equality
  • ghc-type-equality-devel
1-bp152.2.2 info GA Release 2020-06-16 15 SP2
  • AArch64
  • ppc64le
  • x86-64
  • ghc-type-equality
  • ghc-type-equality-devel