dependent-sum: Dependent sum type
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.
Downloads
- dependent-sum-0.7.2.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1, 0.2, 0.2.0.1, 0.2.0.2, 0.2.1.0, 0.3.1.0, 0.3.2.0, 0.3.2.1, 0.3.2.2, 0.4, 0.5, 0.6, 0.6.1, 0.6.2.0, 0.6.2.2, 0.7.0.0, 0.7.1.0, 0.7.1.1, 0.7.2.0 (info) |
|---|---|
| Change log | ChangeLog.md |
| Dependencies | base (>=4.9 && <5), constraints-extras (>=0.2 && <0.5), some (>=1.0.4 && <1.0.7) [details] |
| License | LicenseRef-PublicDomain |
| Author | James Cook <mokus@deepbondi.net> |
| Maintainer | Obsidian Systems, LLC <maintainer@obsidian.systems> |
| Revised | Revision 2 made by JohnEricson at 2023-11-20T20:38:06Z |
| Category | Data, Dependent Types |
| Home page | https://github.com/obsidiansystems/dependent-sum |
| Source repo | head: git clone https://github.com/obsidiansystems/dependent-sum |
| Uploaded | by abrar at 2022-12-22T16:26:37Z |
| Distributions | Arch:0.7.2.0, Debian:0.7.1.0, LTSHaskell:0.7.2.0, NixOS:0.7.2.0, Stackage:0.7.2.0 |
| Reverse Dependencies | 63 direct, 182 indirect [details] |
| Downloads | 40003 total (263 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |