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

[Index] [Quick Jump]

Downloads

• dependent-sum-0.6.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

Package maintainers

• BertramFelgenhauer, JamesCook, JohnEricson, RyanTrinkle, abrar, 3noch, alexfmpe, maralorn, DanBornside, ymeister

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.6, 0.6.1, 0.6.2.0, 0.6.2.2, 0.7.1.0