BSD Portsdevel/hs-type-equality 1.0.1nb3 NetBSD
Data.Type.Equality compat package
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- devel
- Package size
- 38.3 KiB, 112.8 KiB installed
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
Install
Binary package:
pkgin install hs-type-equalityFrom pkgsrc:
cd /usr/pkgsrc/devel/hs-type-equality && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 1.0.1nb3 |
| NetBSD 10.1 aarch64 | 1.0.1nb3 |
| SmartOS / illumos x86_64 | 1.0.1nb3 |
| macOS 15 arm64 | 1.0.1nb3 |
Dependencies
Run dependencies 1
No port depends on this one.