./devel/hs-dependent-sum, Dependent sum type

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.7.2.0nb4, Package name: hs-dependent-sum-0.7.2.0nb4, Maintainer: pkgsrc-users

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.

Master sites:

Filesize: 4.458 KB

Version history: (Expand)

CVS history: (Expand)


   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-05-02 06:17:57 by Masatake Daimon | Files touched by this commit (1) 
Log message:
devel/hs-dependent-sum: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-30 12:16:37 by Masatake Daimon | Files touched by this commit (2) 
Log message:
devel/hs-dependent-sum: Fix build with GHC 9.6
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-26 17:03:39 by Masatake Daimon | Files touched by this commit (5) 
Log message:
devel/hs-dependent-sum: Update to 0.7.2.0

0.7.2.0 - 2022-12-22
* Update to some-1.0.4.*

0.7.1.1 - 2022-12-12
* Support constraints-extras 0.4
   2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) 
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
   2022-02-16 06:06:29 by Masatake Daimon | Files touched by this commit (6) 
Log message:
devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0

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.