BSD Portsdevel/hs-dependent-sum 0.7.2.0nb7 NetBSD
Dependent sum type
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- public-domain
- Categories
- devel
- Package size
- 69.7 KiB, 476.7 KiB installed
Description
A dependent sum is a generalization of a particular way of thinking about the Either type. Either a b can be thought of as a 2-tuple (tag, value), where the value of the tag determines the type of the value. In particular, either tag = Left and value :: a or tag = Right and value :: b.
This package allows you to define your own dependent sum types by using your own "tag" types.
Install
Binary package:
pkgin install hs-dependent-sumFrom pkgsrc:
cd /usr/pkgsrc/devel/hs-dependent-sum && 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 | 0.7.2.0nb7 |
| NetBSD 10.1 aarch64 | 0.7.2.0nb7 |
| SmartOS / illumos x86_64 | 0.7.2.0nb7 |
| macOS 15 arm64 | 0.7.2.0nb7 |