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.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.4-bp156.3.3 info | GA Release | 2023-12-07 | 15 SP6 |
|
|
| 0.4-bp155.2.13 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 0.4-bp154.1.14 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 0.4-bp153.1.19 info | GA Release | 2021-04-08 | 15 SP3 |
|
|
| 0.4-bp152.3.17 info | GA Release | 2020-06-16 | 15 SP2 |
|
|
| 0.4-bp151.3.2 info | GA Release | 2019-07-17 | 15 SP1 |
|
|
| 0.4-bp151.2.20 info | GA Release | 2019-05-31 | 15 SP1 |
|
|
| 0.4-bp150.2.6 info | GA Release | 2018-08-01 | 15 |
|
|
| 0.4-bp150.2.5 info | GA Release | 2018-07-30 | 15 |
|
|