Cabal revisions of type-level-numbers-0.1.1.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: type-level-numbers-Version: 0.1.1.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 <alexey.skladnoy@gmail.com>-Maintainer: Alexey Khudyakov <alexey.skladnoy@gmail.com>-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 && <5,- 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+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 <alexey.skladnoy@gmail.com> +Maintainer: Alexey Khudyakov <alexey.skladnoy@gmail.com> +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