homepage: https://github.com/mokus0/dependent-sum
changelog-type: ''
hash: 70b042b9899da240e670fbf878b575d6c901d537833a2c2292bc15d23e86cfdf
test-bench-deps: {}
maintainer: James Cook <mokus@deepbondi.net>
synopsis: Dependent sum type
changelog: ''
basic-deps:
  base: ! '>=3 && <5'
all-versions:
- '0.1'
- '0.2'
- '0.2.0.1'
- '0.2.0.2'
- '0.2.1.0'
- '0.3.1.0'
author: James Cook <mokus@deepbondi.net>
latest: '0.3.1.0'
description-type: haddock
description: ! '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-name: PublicDomain

homepage: https://github.com/mokus0/dependent-sum
changelog-type: ''
hash: 006a0684b6df8e3dbdcbda20e671df1b5e6f6873073205db4d62d5d78b4dd4f7
test-bench-deps: {}
maintainer: James Cook <mokus@deepbondi.net>
synopsis: Dependent sum type
changelog: ''
basic-deps:
  base: ! '>=3 && <5'
all-versions:
- '0.1'
- '0.2'
- '0.2.0.1'
- '0.2.0.2'
- '0.2.1.0'
- '0.3.1.0'
- '0.3.2.0'
author: James Cook <mokus@deepbondi.net>
latest: '0.3.2.0'
description-type: haddock
description: ! '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-name: PublicDomain

Update from Hackage at 2015-08-21T18:18:29+0000
Update from Hackage at 2015-08-21T18:18:29+0000
