haskell-type-level 0.2.4-4 source package in Ubuntu
Changelog
haskell-type-level (0.2.4-4) unstable; urgency=low * Sourceful upload to rebuild documentation package -- Iain Lane <email address hidden> Thu, 23 Feb 2012 11:17:27 +0000
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | haskell |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-type-level_0.2.4-4.dsc | 2.3 KiB | 6fea6b93f747c80938140da167ad0d668a303bd393f9afffe1d6721049a1bfb3 |
haskell-type-level_0.2.4.orig.tar.gz | 13.8 KiB | 3bbdca0507187b72675dc182bb05da68d7e080693fa1ffe9fb961f693c81f7b1 |
haskell-type-level_0.2.4-4.debian.tar.gz | 3.5 KiB | 6b103435e5fb02f5466ad830251775d9a2e9475c0e5e64fe00fea71ea5afd040 |
Available diffs
- diff from 0.2.4-3build3 (in Ubuntu) to 0.2.4-4 (715 bytes)
No changes file available.
Binary packages built by this source
- libghc-type-level-dev: No summary available for libghc-type-level-dev in ubuntu quantal.
No description available for libghc-
type-level- dev in ubuntu quantal.
- libghc-type-level-doc: No summary available for libghc-type-level-doc in ubuntu quantal.
No description available for libghc-
type-level- doc in ubuntu quantal.
- libghc-type-level-prof: 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.