dependent-sum: Dependent sum type

[ data, dependent-types, library, public-domain ] [ Propose Tags ] [ Report a vulnerability ]
This version is deprecated.

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.

Downloads

Versions [RSS] 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, 0.5, 0.6, 0.6.1, 0.6.2.0, 0.6.2.2, 0.7.0.0, 0.7.1.0, 0.7.1.1, 0.7.2.0 (info)
Change log ChangeLog.md
Dependencies base (>=4.9 && <5), constraints-extras (>=0.2 && <0.4) [details]
Tested with ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.4
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 abrar at 2019-08-04T19:18:16Z
Distributions Arch:0.7.2.0, Debian:0.7.1.0, LTSHaskell:0.7.2.0, NixOS:0.7.2.0, Stackage:0.7.2.0
Reverse Dependencies 63 direct, 183 indirect [details]
Downloads 40878 total (302 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-08-04 [all 1 reports]