The dependent-sum package

[Tags:library, public-domain]

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.

Properties

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
Dependencies base (>=3 && <5) [details]
License PublicDomain
Author James Cook <mokus@deepbondi.net>
Maintainer James Cook <mokus@deepbondi.net>
Stability provisional
Category Data, Dependent Types
Home page https://github.com/mokus0/dependent-sum
Source repository head: git clone git://github.com/mokus0/dependent-sum.git
Uploaded Sat May 14 21:57:52 UTC 2016 by JamesCook
Distributions Debian:0.2.1.0, LTSHaskell:0.3.2.2, NixOS:0.3.2.2, Stackage:0.3.2.2
Downloads 4005 total (22 in the last 30 days)
Votes
0 []
Status Docs pending
Build status unknown [no reports yet]

Modules

  • Data
    • Dependent
      • Data.Dependent.Sum
    • GADT
      • Data.GADT.Compare
      • Data.GADT.Show
    • Data.Some

Downloads

Maintainer's Corner

For package maintainers and hackage trustees