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'.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 1-bp155.4.16 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 1-bp154.3.11 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 1-bp153.1.20 info | GA Release | 2021-04-08 | 15 SP3 |
|
|
| 1-bp152.2.2 info | GA Release | 2020-06-16 | 15 SP2 |
|
|