Cabal revisions of type-level-numbers-0.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-Cabal-Version: >= 1.6-License: BSD3-License-File: LICENSE-Author: Alexey Khudyakov <alexey.skladnoy@gmail.com>-Maintainer: Alexey Khudyakov <alexey.skladnoy@gmail.com>-Homepage: -Category: Type System-Build-Type: Simple-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.--source-repository head- type: hg- location: http://bitbucket.org/Shimuuar/type-numbers--Library- 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+Name: type-level-numbers +Version: 0.1 +x-revision: 1 +Cabal-Version: >= 1.6 +License: BSD3 +License-File: LICENSE +Author: Alexey Khudyakov <alexey.skladnoy@gmail.com> +Maintainer: Alexey Khudyakov <alexey.skladnoy@gmail.com> +Homepage: +Category: Type System +Build-Type: Simple +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. + +source-repository head + type: hg + location: http://bitbucket.org/Shimuuar/type-numbers + +Library + 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