| Name : ghc-type-level-numbers
| |
| Version : 0.1.1.1
| Vendor : obs://build_opensuse_org/home:so_it_team
|
| Release : 2.7
| Date : 2018-11-09 22:43:34
|
| Group : System/Libraries
| Source RPM : ghc-type-level-numbers-0.1.1.1-2.7.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/home:/so_it_team:/12.x/SLE_12_SP4/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-6vE1Sb9eF1X44pOViikpdV-ghc8.0.2.so()(64bit)
Requires :
