Paketname | libghc6-lazysmallcheck-prof |
Beschreibung | A library for demand-driven testing of Haskell programs; profiling libraries |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 0.5-1+b1 |
Sektion | haskell |
Priorität | extra |
Installierte Größe | 280 Byte |
Hängt ab von | libghc6-lazysmallcheck-dev (= 0.5-1+b1), libghc6-base-prof-3.0.3.2-52ace, libghc6-haskell98-prof-1.0 |
Empfohlene Pakete | |
Paketbetreuer | Debian Haskell Group |
Quelle | haskell-lazysmallcheck (0.5-1) |
Paketgröße | 52986 Byte |
Prüfsumme MD5 | 06ce25aec4ed7d64c2008bb5d15a4f94 |
Prüfsumme SHA1 | 7a84a88620fc257911eeb0898c3bce0373addb59 |
Prüfsumme SHA256 | 5e97c5ebfac36f4164f9cf2ae7e9ea8b1b8fbd430fd17ac0672e3a8aa7721269 |
Link zum Herunterladen | libghc6-lazysmallcheck-prof_0.5-1+b1_i386.deb |
Ausführliche Beschreibung | This package provides a library for the Haskell programming language,
compiled for profiling.
.
Lazy SmallCheck is a library for exhaustive, demand-driven testing of
Haskell programs. It is based on the idea that if a property holds
for a partially-defined input then it must also hold for all
fully-defined refinements of the that input. Compared to ``eager''
input generation as in SmallCheck, Lazy SmallCheck may require
significantly fewer test-cases to verify a property for all inputs up
to a given depth.
|