| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-dependent-sum | Distribution: SUSE Linux Enterprise 15 SP5 |
| Version: 0.4 | Vendor: openSUSE |
| Release: bp155.2.1 | Build date: Tue Jul 26 01:42:59 2022 |
| Group: Development/Libraries/Haskell | Build host: obs-arm-5 |
| Size: 116500 | Source RPM: ghc-dependent-sum-0.4-bp155.2.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://hackage.haskell.org/package/dependent-sum | |
| Summary: Dependent sum type | |
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.
SUSE-Public-Domain
* Thu Aug 03 2017 psimons@suse.com - Updated with latest spec-cleaner version 0.9.8-8-geadfbbf. * Sun Feb 12 2017 psimons@suse.com - Update to version 0.4 with cabal2obs. * Sun Jul 10 2016 psimons@suse.com - Update to version 0.3.2.2 revision 0 with cabal2obs.
/usr/lib/ghc-8.10.7/dependent-sum-0.4 /usr/lib/ghc-8.10.7/dependent-sum-0.4/libHSdependent-sum-0.4-A74YmvJFs5Y2sZiie6enEp-ghc8.10.7.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Mar 9 13:55:41 2025