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

Versions [faq] 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2, 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 Fri Sep 6 08:20:25 UTC 2019
Distributions NixOS:1
Downloads 3035 total (323 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-09-06 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees