| Name : ghc-type-level-numbers
| |
| Version : 0.1.1.1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 3.18
| Date : 2018-03-10 06:49:06
|
| Group : Development/Languages/Other
| Source RPM : ghc-type-level-numbers-0.1.1.1-3.18.src.rpm
|
| Size : 0.28 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:/7/SLE_12_SP2_Backports/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-1j8LRzgeD0VLHfXZao0Ek5-ghc8.0.1.so()(64bit)
Requires :
