Package Info


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.

License: BSD-3-Clause



Package Version Update ID Released Package Hub Version Platforms Subpackages info GA Release 2018-08-01 15
  • AArch64
  • ghc-type-level-numbers
  • ghc-type-level-numbers-devel info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-type-level-numbers
  • ghc-type-level-numbers-devel