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






* Thu Aug 03 2017
  - Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
* Sun Feb 12 2017
  - Update to version 0.4 with cabal2obs.
* Sun Jul 10 2016
  - Update to version revision 0 with cabal2obs.



Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 9 18:27:03 2021