| Name : ghc-type-level-numbers
| |
| Version : 0.1.1.1
| Vendor : openSUSE
|
| Release : 1.11
| Date : 2017-07-08 03:53:49
|
| Group : System/Libraries
| Source RPM : ghc-type-level-numbers-0.1.1.1-1.11.src.rpm
|
| Size : 0.28 MB
| |
| Packager : http://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: /vol/rzm3/linux-opensuse/distribution/leap/42.3/repo/oss/suse/x86_64 |
