type-equality: Data.Type.Equality compat package

[ bsd3, data, dependent-types, library ] [ Propose Tags ]

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

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2, 1, 1.0.1
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.21) [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 2024-05-12T22:17:03Z
Distributions Arch:1.0.1, Debian:1, Fedora:1, LTSHaskell:1.0.1, NixOS:1.0.1, Stackage:1.0.1, openSUSE:1
Reverse Dependencies 14 direct, 8208 indirect [details]
Downloads 27857 total (182 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-05-12 [all 1 reports]