| Name : ghc-type-level-numbers
| |
| Version : 0.1.1.1
| Vendor : openSUSE
|
| Release : bp150.2.6
| Date : 2018-07-30 20:26:28
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-type-level-numbers-0.1.1.1-bp150.2.6.src.rpm
|
| Size : 0.28 MB
| |
| Packager : https://bugs_opensuse_org
| |
| 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/openSUSE:/Backports:/SLE-15/standard/x86_64 |
