Name: type-level-numbers
Version: 0.1.0.4
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