Changelog for type-compare-0.1.0
0.1.0 (2021-11-05)
Initial version, moved out of numeric-kinds
.
Compare
type family (re-exported frombase
when available).- Equality/inequality test operators.
- Equality/inequality constraint operators.
Proven
andOrdCond
utility type families.