| Paketname | libghc6-type-level-dev |
| Beschreibung | A Haskell library for type-level programming |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.2.4-1 |
| Sektion | haskell |
| Priorität | extra |
| Installierte Größe | 21760 Byte |
| Hängt ab von | libghc6-base-dev-4.2.0.0-73995, libghc6-syb-dev-0.1.0.2-1e7e0, libghc6-template-haskell-dev-2.4.0.0- |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Haskell Group |
| Quelle | haskell-type-level |
| Paketgröße | 4373964 Byte |
| Prüfsumme MD5 | 7f02d9f26b80276f21598780aba4a494 |
| Prüfsumme SHA1 | 5399b67638c79acafacb9b31c2b9e429731c43dc |
| Prüfsumme SHA256 | 1ad799593c102ba0205a5f8ce9d923ebcec8e888de423e45b57aefc78f179a89 |
| Link zum Herunterladen | libghc6-type-level-dev_0.2.4-1_i386.deb |
| Ausführliche Beschreibung | 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 6.
|