dependent-sum

Dependent sum type

Version on this page:	0.3.2.1@rev:1
LTS Haskell 23.21:	0.7.2.0@rev:2
Stackage Nightly 2025-05-02:	0.7.2.0@rev:2
Latest on Hackage:	0.7.2.0@rev:2

See all snapshots dependent-sum appears in

LicenseRef-PublicDomain licensed and maintained by James Cook

This version can be pinned in stack with:dependent-sum-0.3.2.1@sha256:c2eb3a7277c73e3d7fa2c7e5b3b67702634aee5625ebfb6c913ef1994df7eb3b,1707

Module documentation for 0.3.2.1

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

Depends on 1 package(full list with versions):

base

Used by 2 packages in lts-4.2(full list with versions):

dependent-map, dependent-sum-template

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.