@hackage dependent-sum0.7.2.0
Dependent sum type
Categories
License
LicenseRef-PublicDomain
Maintainer
Obsidian Systems, LLC <maintainer@obsidian.systems>
Links
Versions
Installation
Tested Compilers
Dependencies (3)
- base >=4.9 && <5
- constraints-extras >=0.2 && <0.5
- some >=1.0.4 && <1.0.7 Show all…
Dependents (72)
@hackage/codeworld-api, @hackage/dependent-sum-template, @hackage/tinytools, @hackage/aeson-gadt-th, @hackage/parsley-core, @hackage/typerep-map, Show all…
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.