type-equality: Data.Type.Equality compat package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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

Properties

Versions 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2, 1, 1, 1.0.1
Change log CHANGELOG.md
Dependencies base (>=4.3 && <4.14) [details]
License BSD-3-Clause
Author Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
Category Data, Dependent Types
Home page https://github.com/hesselink/type-equality
Source repo head: git clone git://github.com/hesselink/type-equality
Uploaded by phadej at 2019-09-06T08:20:04Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees