| 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 SP3 |
| Version: 0.4 | Vendor: openSUSE |
| Release: bp153.1.19 | Build date: Tue Apr 13 15:06:23 2021 |
| Group: Development/Libraries/Haskell | Build host: obs-arm-8 |
| Size: 205368 | Source RPM: ghc-dependent-sum-0.4-bp153.1.19.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.4/dependent-sum-0.4 /usr/lib64/ghc-8.10.4/dependent-sum-0.4/libHSdependent-sum-0.4-KsOFHYe2eg3Drbr0v7P3EA-ghc8.10.4.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 14:55:59 2024