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
79
80
81
82
83
84
85
86
|
Source: haskell-type-level
Section: haskell
Priority: extra
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Erik de Castro Lopo <erikd@mega-nerd.com>
Build-Depends: debhelper (>= 7)
, cdbs
, haskell-devscripts (>= 0.7)
, ghc
, ghc-prof
, libghc-syb-dev
, libghc-syb-prof
, ghc-ghci
Build-Depends-Indep: ghc-doc
, libghc-syb-doc
Standards-Version: 3.9.1
Homepage: http://hackage.haskell.org/package/type-level
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-type-level
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-type-level
Package: libghc-type-level-dev
Architecture: any
Depends: ${haskell:Depends}
, ${shlibs:Depends}
, ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: A Haskell library for type-level programming
A haskell library for performing computations on the type-level. Type-level
functions are implemented using functional dependencies of multi parameter
type classes. To date, Booleans and Numerals (Naturals and Positives) are
supported. With regard to Numerals, there is support for common arithmetic
operations (addition, substraction, multiplication, division, exponientation,
logarithm, maximum, comparison, GCD) over natural numbers (using a decimal
representation to make compile-time errors friendlier). Although making use
of type-level computations might seem devious and obfuscated at first sight,
it is indeed useful in practice to implement lightweight dependent types
such as number-parameterized types (e.g. an array type parameterized by the
array's size or a modular group type Zn parameterized by the modulus).
.
This package contains the libraries compiled for GHC.
Package: libghc-type-level-prof
Architecture: any
Depends: ${haskell:Depends}
, ${shlibs:Depends}
, ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: Profiling libraries for type-level programming in Haskell
A haskell library for performing computations on the type-level. Type-level
functions are implemented using functional dependencies of multi parameter
type classes. To date, Booleans and Numerals (Naturals and Positives) are
supported. With regard to Numerals, there is support for common arithmetic
operations (addition, substraction, multiplication, division, exponientation,
logarithm, maximum, comparison, GCD) over natural numbers (using a decimal
representation to make compile-time errors friendlier). Although making use
of type-level computations might seem devious and obfuscated at first sight,
it is indeed useful in practice to implement lightweight dependent types
such as number-parameterized types (e.g. an array type parameterized by the
array's size or a modular group type Zn parameterized by the modulus).
.
This package contains the profiling libraries compiled for GHC.
Package: libghc-type-level-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}, ${haskell:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Description: Documentation for type-level programming in Haskell
A haskell library for performing computations on the type-level. Type-level
functions are implemented using functional dependencies of multi parameter
type classes. To date, Booleans and Numerals (Naturals and Positives) are
supported. With regard to Numerals, there is support for common arithmetic
operations (addition, substraction, multiplication, division, exponientation,
logarithm, maximum, comparison, GCD) over natural numbers (using a decimal
representation to make compile-time errors friendlier). Although making use
of type-level computations might seem devious and obfuscated at first sight,
it is indeed useful in practice to implement lightweight dependent types
such as number-parameterized types (e.g. an array type parameterized by the
array's size or a modular group type Zn parameterized by the modulus).
.
This package contains the library documentation.
|
