type-equality

Version 1 revision 1 uploaded 2020-01-29T14:07:47.000Z by ErikHesselink.

Package meta

Synopsis

Data.Type.Equality compat package

Description

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

Author

Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen

Bug reports

n/a

Category

Data, Dependent Types

Copyright

n/a

Homepage

https://github.com/hesselink/type-equality

Maintainer

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

Package URL

n/a

Stability

provisional

Components

• lib:type-equality