ghc-dependent-sum-0.4-lp151.2.5.x86_64.rpm


Advertisement

Description

ghc-dependent-sum - Dependent sum type

Property Value
Distribution openSUSE Leap 15.1
Repository openSUSE Oss all
Package filename ghc-dependent-sum-0.4-lp151.2.5.x86_64.rpm
Package name ghc-dependent-sum
Package version 0.4
Package release lp151.2.5
Package architecture x86_64
Package type rpm
Category Development/Libraries/Haskell
Homepage https://hackage.haskell.org/package/dependent-sum
License SUSE-Public-Domain
Maintainer -
Download size 26.40 KB
Installed size 111.88 KB
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.

Alternatives

Package Version Architecture Repository
ghc-dependent-sum - - -

Requires

Name Value
libHSbase-4.12.0.0-ghc8.6.4.so()(64bit) -
libHSghc-prim-0.5.3-ghc8.6.4.so()(64bit) -
libHSinteger-gmp-1.0.2.0-ghc8.6.4.so()(64bit) -
libatomic.so.1()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -

Provides

Name Value
ghc-dependent-sum = 0.4-lp151.2.5
ghc-dependent-sum(x86-64) = 0.4-lp151.2.5
libHSdependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ-ghc8.6.4.so()(64bit) -

Download

Type URL
Mirror widehat.opensuse.org
Binary Package ghc-dependent-sum-0.4-lp151.2.5.x86_64.rpm
Source Package ghc-dependent-sum-0.4-lp151.2.5.src.rpm

Install Howto

Install ghc-dependent-sum rpm package:

# zypper install ghc-dependent-sum

Files

Path
/usr/lib64/ghc-8.6.4/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/libHSdependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ-ghc8.6.4.so

Changelog

2017-08-03 - psimons@suse.com
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
2017-02-12 - psimons@suse.com
- Update to version 0.4 with cabal2obs.
2016-07-10 - psimons@suse.com
- Update to version 0.3.2.2 revision 0 with cabal2obs.

See Also

Package Description
ghc-dependent-sum-devel-0.4-lp151.2.5.x86_64.rpm Haskell dependent-sum library development files
ghc-digest-0.0.1.2-lp151.3.2.x86_64.rpm Various cryptographic hashes for bytestrings; CRC32 and Adler32 for now
ghc-digest-devel-0.0.1.2-lp151.3.2.x86_64.rpm Haskell digest library development files
ghc-directory-1.3.3.0-lp151.3.13.x86_64.rpm Haskell directory library
ghc-directory-devel-1.3.3.0-lp151.3.13.x86_64.rpm Haskell directory library development files
ghc-distribution-opensuse-1.1.1-lp151.1.5.x86_64.rpm Types, functions, and tools to manipulate the openSUSE distribution
ghc-distribution-opensuse-devel-1.1.1-lp151.1.5.x86_64.rpm Haskell distribution-opensuse library development files
ghc-distributive-0.6-lp151.1.2.x86_64.rpm Distributive functors -- Dual to Traversable
ghc-distributive-devel-0.6-lp151.1.2.x86_64.rpm Haskell distributive library development files
ghc-dlist-0.8.0.5-lp151.1.2.x86_64.rpm Difference lists
ghc-dlist-devel-0.8.0.5-lp151.1.2.x86_64.rpm Haskell dlist library development files
ghc-doctemplates-0.2.2.1-lp151.1.3.x86_64.rpm Pandoc-style document templates
ghc-doctemplates-devel-0.2.2.1-lp151.1.3.x86_64.rpm Haskell doctemplates library development files
ghc-easy-file-0.2.2-lp151.1.2.x86_64.rpm Cross-platform File handling
ghc-easy-file-devel-0.2.2-lp151.1.2.x86_64.rpm Haskell easy-file library development files
Advertisement
Advertisement