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-bp153.1.19 RPM for aarch64

From OpenSuSE Leap 15.3 for aarch64

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.

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.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 Nov 9 18:27:03 2021