| 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.13 | Build date: Mon May 22 11:52:01 2023 |
| Group: Development/Libraries/Haskell | Build host: goat13 |
| Size: 114624 | Source RPM: ghc-dependent-sum-0.4-bp155.2.13.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/lib64/ghc-8.10.7/dependent-sum-0.4 /usr/lib64/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, Tue Apr 9 20:05:44 2024