| Name : ghc-type-eq
| |
| Version : 0.5
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : lp150.5.1
| Date : 2018-06-16 03:17:55
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-type-eq-0.5-lp150.5.1.src.rpm
|
| Size : 0.07 MB
| |
| Packager : (none)
| |
| Summary : Type equality evidence you can carry around
|
Description :
This package provides types and functions to store and manipulate evidence of
equality between types.
To take advantage of kind polymorphism when it is available but not require it,
it is split into the following primary modules:
- \'/Type.Eq/\': Types and functions which can be kind-polymorphic if \'PolyKinds\'
are available, but are specific to kind \'*\' otherwise.
- \'/Type.Eq.Higher/\': Kind-monomorphic types and functions of higher kind, up
to \'* -> * -> *\'.
- \'/Type.Eq.Poly/\': Combinators that require kind polymorphism. This module is
only available if \'PolyKinds\' are available.
Major required extensions: \'GADTs\', \'TypeFamilies\' (for \'~\'), \'Rank2Types\',
\'TypeOperators\'
Optional extensions: \'PolyKinds\' (GHC 7.6+)
Minimum GHC: 6.10
Related packages:
- < http://hackage.haskell.org/package/type-equality>
- < http://hackage.haskell.org/package/eq>
- < http://hackage.haskell.org/package/ty>
- < http://hackage.haskell.org/package/dependent-sum>
- < http://hackage.haskell.org/package/categories> (\'Data.Category.Discrete\').
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-type-eq
ghc-type-eq(x86-64)
libHStype-eq-0.5-LSpdCeqTO6aKQEad18b8cH-ghc8.0.2.so()(64bit)
Requires :
