ghc-type-level-numbers
Type level numbers implemented using type families
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.
BSD-3-Clausecloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...