| 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.
|