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.
Modules
- Data
- Dependent
- Data.Dependent.Sum
- GADT
- Data.GADT.Compare
- Data.GADT.Show
- Data.Some
- Dependent
Downloads
- dependent-sum-0.3.2.2.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) |
---|---|
Dependencies | base (>=3 && <4.9.1) [details] |
License | LicenseRef-PublicDomain |
Author | James Cook <mokus@deepbondi.net> |
Maintainer | James Cook <mokus@deepbondi.net> |
Revised | Revision 2 made by HerbertValerioRiedel at 2017-04-16T22:03:59Z |
Category | Data, Dependent Types |
Home page | https://github.com/mokus0/dependent-sum |
Source repo | head: git clone git://github.com/mokus0/dependent-sum.git |
Uploaded | by JamesCook at 2016-05-14T21:57:52Z |
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 | 59 direct, 175 indirect [details] |
Downloads | 38652 total (316 in the last 30 days) |
Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-11-25 [all 2 reports] |