Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-dependent-sum-0.4-lp152.3.11 RPM for ppc64le

From OpenSuSE Ports Leap 15.2 for ppc64le

Name: ghc-dependent-sum Distribution: openSUSE:Leap:15.2:PowerPC / ports
Version: 0.4 Vendor: openSUSE
Release: lp152.3.11 Build date: Fri May 22 01:06:23 2020
Group: Development/Libraries/Haskell Build host: obs-power8-05
Size: 204720 Source RPM: ghc-dependent-sum-0.4-lp152.3.11.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.

Provides

Requires

License

SUSE-Public-Domain

Changelog

* 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.

Files

/usr/lib64/ghc-8.10.1/dependent-sum-0.4
/usr/lib64/ghc-8.10.1/dependent-sum-0.4/libHSdependent-sum-0.4-2QbMv9FFAibCtdsPpn0qYb-ghc8.10.1.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 9 12:11:19 2024