--- - branch: MAIN date: Wed Feb 16 05:06:29 UTC 2022 files: - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/DESCR pathrev: pkgsrc/devel/hs-dependent-sum/DESCR@1.1 type: added - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/Makefile pathrev: pkgsrc/devel/hs-dependent-sum/Makefile@1.1 type: added - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/PLIST pathrev: pkgsrc/devel/hs-dependent-sum/PLIST@1.1 type: added - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/buildlink3.mk pathrev: pkgsrc/devel/hs-dependent-sum/buildlink3.mk@1.1 type: added - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/distinfo pathrev: pkgsrc/devel/hs-dependent-sum/distinfo@1.1 type: added - new: '1.1' old: '0' path: pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal pathrev: pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal@1.1 type: added id: 20220216T050629Z.b75f0e3a8556edc00e2de12e6b51eaa5bc8a123f log: | 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. module: pkgsrc subject: 'CVS commit: pkgsrc/devel/hs-dependent-sum' unixtime: '1644987989' user: pho