all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: haskell-type-level  ]

Package: libghc-type-level-prof (0.2.4-5)

Links for libghc-type-level-prof

Screenshot

Debian Resources:

Download Source Package haskell-type-level:

Maintainers:

External Resources:

Similar packages:

Profiler-Bibliotheken für Programmierung auf Typebene in Haskell

Eine Haskell-Bibliothek für Berechnungen auf Typebene. Funktionen der Typebene werden über funktionale Abhängigkeiten von Typklassen mit mehreren Parametern implementiert. Bislang werden Boolesche und numerische (natürliche und positive Zahlen) Variablen unterstützt. Für die numerischen Variablen sind die gewöhnlichen arithmetischen Funktionen (Addition, Subtraktion, Multiplikation, Division, Potenzen, Logarithmen, Maximum, Vergleich, ggT) über natürliche Zahlen unterstützt (mit der Verwendung einer dezimalen Darstellung, um Fehler beim Kompilieren freundlicher zu machen). Obwohl die Verwendung von Berechnungen auf Typebene auf den ersten Blick abwegig und verwirrend wirkt, sind sie nützlich für die Implementierung von genügsamen Abhängigkeitstypen wie parametrisierten Typen (z.B. ein Array-Typ parametrisiert durch die Größe des Arrays oder Zn, ein Typ modularer Gruppen, parametrisiert durch die Module).

Dieses Paket enthält die für GHC kompilierten Profiling-Bibliotheken.

Other Packages Related to libghc-type-level-prof

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-type-level-prof

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 4,082.0 kB24,308.0 kB [list of files]
i386 3,857.9 kB18,465.0 kB [list of files]
kfreebsd-amd64 4,081.5 kB24,252.0 kB [list of files]
kfreebsd-i386 3,854.3 kB18,409.0 kB [list of files]