@hackage / type-equality

Data.Type.Equality compat package

Latest1.0.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.12.1
  2. 9.10.1
  3. 9.8.4
  4. 9.6.6
  5. 9.4.8
  6. 9.2.8
  7. 9.0.2
  8. 8.10.7
  9. 8.8.4
  10. 8.6.5

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