dependent-sum

Dependent sum type https://github.com/mokus0/dependent-sum

Version on this page:0.2.1.0
LTS Haskell 9.18:0.4
Stackage Nightly 2017-12-14:0.4
Latest on Hackage:0.4
PublicDomain licensed and maintained by James Cook

Module documentation for 0.2.1.0

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.

comments powered byDisqus