| Name : ghc-type-level-numbers
| |
| Version : 0.1.1.1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : lp150.4.3
| Date : 2018-06-05 12:40:26
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-type-level-numbers-0.1.1.1-lp150.4.3.src.rpm
|
| Size : 0.29 MB
| |
| Packager : (none)
| |
| Summary : Type level numbers implemented using type families
|
Description :
This is type level numbers implemented using type families. Natural numbers use
binary encoding. With default context stack numbers up to 2^18-1 coudl be
represented. Signed integer numbers use balanced ternary encoding.
Package is structured as folows:
* [\'TypeLevel.Number.Classes\'] contain generic type families such as Add
* [\'TypeLevel.Number.Nat\'] natural numbers implemented using binary encoding
* [\'TypeLevel.Number.Int\'] signed integers implemented using balanced ternary
encoding
* [\'TypeLevel.Boolean\'] type level booleans
So far comparison of numbers, subtraction and multiplication of numbers are
supported.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/next/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-type-level-numbers
ghc-type-level-numbers(x86-64)
libHStype-level-numbers-0.1.1.1-BwH4bavG5wk6Kjsvq8cs1T-ghc8.4.3.so()(64bit)
Requires :
