@hackage / type-equality

Data.Type.Equality compat package

1

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.8.1
  2. 9.6.3
  3. 9.4.7
  4. 9.2.8
  5. 9.0.2
  6. 8.10.7
  7. 8.8.4
  8. 8.6.5
  9. 8.4.4
  10. 8.2.2
  11. 8.0.2
  12. 7.10.3

Readme

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