type-equality

Version 1 revision 0 uploaded 2019-09-06T08:20:25.000Z by phadej.

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