type-equality

Data.Type.Equality compat package

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:556006736473a9a4434591812e7106b1db2389faf364a9eaf87d5b4305921b56,1625

There are no documented modules for this package.

Depends on 1 package(full list with versions):

Used by 1 package in nightly-2023-05-28(full list with versions):

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

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