Package1.0.1DataDependent Types
type-equality
Data.Type.Equality compat package
- Version1.0.1
- CategoryData, Dependent Types
- LicenceBSD-3-Clause
- AuthorOleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
- MaintainerOleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
- Homepagegithub.com/hesselink/type-equality
- Pinned byhackage type-equality 1.0.1
- Sourcehackage.haskell.org/package/type-equality-1.0.1
Modules
1 module- Data.Type.Equality.Hetero1This module shims kind heterogeneous propositional equality.
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
Depends on
1 package- base-4.20.2.0with GHC
Used by in this set · 0
Nothing in this set depends on it.