[ Bron: hugs98 ]
Pakket: libhugs-quickcheck-bundled (98.200609.21-7 en anderen)
Verwijzigingen voor libhugs-quickcheck-bundled
Debian bronnen:
Het bronpakket hugs98 downloaden:
Beheerder:
Externe bronnen:
- Homepage [www.haskell.org]
Vergelijkbare pakketten:
Automatic testing of Haskell programs
A library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.
This is the version bundled with the interpreter.
Andere aan libhugs-quickcheck-bundled gerelateerde pakketten
|
|
|
|
-
- dep: hugs (= 98.200609.21-6+b2) [ia64]
- Haskell 98 interpreter
- dep: hugs (= 98.200609.21-7) [niet ia64]
-
- dep: libhugs-base
- virtueel pakket geboden door libhugs-base-bundled
libhugs-quickcheck-bundled downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| amd64 | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| arm64 | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| armel | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| armhf | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| hppa (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| i386 | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| ia64 (unofficial port) | 98.200609.21-6+b2 | 10,2 kB | 48,0 kB | [overzicht] |
| m68k (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| mips64el | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| ppc64 (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| ppc64el | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| riscv64 | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| s390x | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| sh4 (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| sparc64 (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |
| x32 (unofficial port) | 98.200609.21-7 | 10,1 kB | 47,0 kB | [overzicht] |