Path to this page:
./
devel/hs-dependent-sum,
Dependent sum type
Branch: CURRENT,
Version: 0.7.2.0nb4,
Package name: hs-dependent-sum-0.7.2.0nb4,
Maintainer: pkgsrc-usersA 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.
Master sites:
Filesize: 4.458 KB
Version history: (Expand)
- (2024-05-09) Updated to version: hs-dependent-sum-0.7.2.0nb4
- (2023-11-02) Updated to version: hs-dependent-sum-0.7.2.0nb3
- (2023-10-09) Updated to version: hs-dependent-sum-0.7.2.0nb2
- (2023-02-09) Updated to version: hs-dependent-sum-0.7.2.0nb1
- (2023-01-26) Updated to version: hs-dependent-sum-0.7.2.0
- (2022-02-26) Updated to version: hs-dependent-sum-0.7.1.0nb1
CVS history: (Expand)