LicenseRef-PublicDomain licensed and maintained by James Cook
This version can be pinned in stack with:dependent-sum-0.2.1.0@sha256:0ab68057d093826352e4a396b7da4d80cec72429cce17a8904048e23067e58f2,1731

Module documentation for 0.2.1.0

Depends on 1 package(full list with versions):

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.