libghc-type-level-prof 0.2.4-3 (i386 binary) in ubuntu oneiric
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-
array's size or a modular group type Zn parameterized by the modulus).
.
This package contains the profiling libraries compiled for GHC 6.
Details
- Package version:
- 0.2.4-3
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
- libghc-type-level-prof_0.2.4-3_i386.deb (3.6 MiB)
Package relationships
- Depends on:
- libghc-base-prof-4.3.1.0-60b5c
- libghc-syb-prof-0.3-8db7b
- libghc-template-haskell-prof-2.5.0.0-f0c8f
- libghc-type-level-dev (= 0.2.4-3)
- Provides:
- libghc-type-level-prof-0.2.4-3d3d4