A dependent sum is a generalization of a
particular way of thinking about the
Either a b can be thought of as a
(tag, value), where the value of the
tag determines the type of the value. In
tag = Left and
value :: a
tag = Right and
value :: b.
This package allows you to define your own dependent sum types by using your own "tag" types.
Revision history for dependent-sum
newtypewith associated pattern synonyms using
unsafeCoerceto avoid the GADT performance overhead. This shouldn’t affect users.
- Deprecate the constructor name
Thisin favor of
- Drop support for GHC older than 8.0.