Monadoc
The latest version of dependent-sum is 0.7.2.0-2.

dependent-sum

Version 0.3.2.2 revision 1 uploaded by HerbertValerioRiedel.

Package meta

Synopsis
Dependent sum type
Description

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.

Author
James Cook <mokus@deepbondi.net>
Bug reports
n/a
Category
Data, Dependent Types
Copyright
n/a
Homepage
https://github.com/mokus0/dependent-sum
Maintainer
James Cook <mokus@deepbondi.net>
Package URL
n/a
Stability
provisional

Components