Cabal revisions of type-level-numbers-0.1.0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: type-level-numbers-Version: 0.1.0.3-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.- .- Changes in 0.1.0.3- .- * Fix build for GHC 7.4- .- Changes in 0.1.0.2:- .- * Fix URL in cabal file- .- Changes in 0.1.0.1:- .- * Workaround for GHC bug #4364 (Build failure on GHC 7.0)--Cabal-Version: >= 1.6-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--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 -fno-warn-orphans- 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.0.3 +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. + . + Changes in 0.1.0.3 + . + * Fix build for GHC 7.4 + . + Changes in 0.1.0.2: + . + * Fix URL in cabal file + . + Changes in 0.1.0.1: + . + * Workaround for GHC bug #4364 (Build failure on GHC 7.0) + +Cabal-Version: >= 1.6 +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 + +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 -fno-warn-orphans + 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