@hackage type-equality1.0.1

Data.Type.Equality compat package

Categories
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
Links
Versions
- 1.0.1 Fri, 27 Dec 2024
- 1 Tue, 10 Oct 2023
- 0.1.2 Sat, 11 May 2013
- 0.1.1 Mon, 26 Nov 2012
- 0.1.0.2 Wed, 24 Aug 2011
- 0.1.0.1 Wed, 10 Aug 2011

Installation
In your cabal file:
Tested Compilers
Dependencies (1)
- base >=4.12 && <4.22
Dependents (14)
@hackage/eq, @hackage/universe-some, @hackage/acme-everything, @hackage/hobbits, @hackage/tagged-list, @hackage/natural-number, Show all…

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