Package Info

ghc-dependent-sum


Dependent sum type


Development/Libraries/Haskell

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.


License: SUSE-Public-Domain
URL: https://hackage.haskell.org/package/dependent-sum

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.4-bp150.2.5 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp150.2.6 info GA Release 2018-08-01 15
  • AArch64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp151.2.20 info GA Release 2019-05-31 15 SP1
  • AArch64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp151.3.2 info GA Release 2019-07-17 15 SP1
  • ppc64le
  • s390x
  • x86-64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp152.3.17 info GA Release 2020-06-16 15 SP2
  • AArch64
  • ppc64le
  • x86-64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp153.1.19 info GA Release 2021-04-08 15 SP3
  • AArch64
  • ppc64le
  • x86-64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel
0.4-bp154.1.14 info GA Release 2022-05-09 15 SP4 (BETA)
  • AArch64
  • ppc64le
  • x86-64
  • ghc-dependent-sum
  • ghc-dependent-sum-devel