| Paketname | libghc6-lazysmallcheck-dev |
| Beschreibung | A library for demand-driven testing of Haskell programs |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.5-1+b1 |
| Sektion | haskell |
| Priorität | extra |
| Installierte Größe | 428 Byte |
| Hängt ab von | libghc6-base-dev-3.0.3.2-52ace, libghc6-haskell98-dev-1.0.1.1-0fdaf, libc6 (>= 2.3), libffi5 (>= 3.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Haskell Group |
| Quelle | haskell-lazysmallcheck (0.5-1) |
| Paketgröße | 66626 Byte |
| Prüfsumme MD5 | c4645bd4cad3c278f56f31a7885fcda2 |
| Prüfsumme SHA1 | 7507d25abdffcd47620ea9d9a2459280956a0e43 |
| Prüfsumme SHA256 | f408dc0ee5a8dde2fe94201bdfccd9ef199b8719ae20f714663bfdff6cf741d3 |
| Link zum Herunterladen | libghc6-lazysmallcheck-dev_0.5-1+b1_i386.deb |
| Ausführliche Beschreibung | This package provides a library for the Haskell programming language.
.
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.
|