Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

79 lines (72 sloc) 2.29 kb
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 could 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
Jump to Line
Something went wrong with that request. Please try again.