1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
Name: type-level-numbers
Version: 0.1.1.2
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.10
License: BSD3
License-File: LICENSE
Bug-reports: https://github.com/Shimuuar/type-level-numbers/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: git
location: https://github.com/Shimuuar/type-level-numbers
Library
default-language: Haskell2010
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
default-language: Haskell2010
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
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: int.hs
other-modules: TestNat
build-depends:
base,
template-haskell,
type-level-numbers
|
