Name: type-level-numbers Version: 0.1.1.1 x-revision: 1 Synopsis: 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. Cabal-Version: >= 1.8 License: BSD3 License-File: LICENSE Bug-reports: https://github.com/bos/statistics/issues Author: Alexey Khudyakov Maintainer: Alexey Khudyakov Homepage: Category: Type System Build-Type: Simple extra-source-files: ChangeLog source-repository head type: hg location: http://bitbucket.org/Shimuuar/type-level-numbers source-repository head type: git location: https://github.com/Shimuuar/type-level-numbers Library ghc-options: -Wall Build-Depends: base >=3 && <4.16, template-haskell > 2.0 Exposed-modules: TypeLevel.Number.Classes TypeLevel.Number.Nat TypeLevel.Number.Nat.Num TypeLevel.Number.Int TypeLevel.Boolean TypeLevel.Reify Other-modules: TypeLevel.Number.Nat.Types TypeLevel.Number.Nat.TH TypeLevel.Number.Int.Types TypeLevel.Util test-suite test-nat type: exitcode-stdio-1.0 hs-source-dirs: test main-is: nat.hs other-modules: TestNat build-depends: base, template-haskell, type-level-numbers test-suite test-int type: exitcode-stdio-1.0 hs-source-dirs: test main-is: int.hs other-modules: TestNat build-depends: base, template-haskell, type-level-numbers