@hackage / dependent-sum

Dependent sum type

Latest0.7.2.0

About

Metadata

  • Last updated , by JohnEricson
  • License LicenseRef-PublicDomain

  • Maintained by: Obsidian Systems, LLC <maintainer@obsidian.systems>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.4.3
  2. 9.0.1
  3. 8.10.7
  4. 8.8.4
  5. 8.6.5

Readme

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.