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 - Sourcetype-equality-1.
0. 1 on Hackage
Modules
- Data.Type.Equality.HeteroThis 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.22.0.0with GHC
Used by in this set · 0
Nothing in this set depends on it.