dependent-sum

Dependent sum type

https://github.com/mokus0/dependent-sum

Version on this page:0.4
LTS Haskell 24.18:0.7.2.0@rev:2
Stackage Nightly 2025-11-04: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.4@sha256:40c705604f52374fb72616e10234635104a626ede737ddde899777b719df120b,1907

Module documentation for 0.4

  • 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

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.