# dependent-sum: Dependent sum type

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.

Versions | 0.1, 0.2, 0.2.0.1, 0.2.0.2, 0.2.1.0, 0.3.1.0, 0.3.2.0, 0.3.2.1, 0.3.2.2, 0.4 |
---|---|

Dependencies | base (>=3 && <5) [details] |

License | LicenseRef-PublicDomain |

Author | James Cook <mokus@deepbondi.net> |

Maintainer | James Cook <mokus@deepbondi.net> |

Category | Data, Dependent Types |

Home page | https://github.com/mokus0/dependent-sum |

Source repo | head: git clone git://github.com/mokus0/dependent-sum.git |

Uploaded | by JamesCook at Fri Sep 2 23:46:52 UTC 2016 |

Distributions | Debian:0.2.1.0, LTSHaskell:0.4, NixOS:0.4, Stackage:0.4 |

Downloads | 8337 total (84 in the last 30 days) |

Rating | 2.25 (votes: 2) [estimated by rule of succession] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2016-11-11 [all 1 reports] Hackage Matrix CI |

## Downloads

- dependent-sum-0.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)