[ Quellcode: haskell-quickcheck ]
Paket: libghc-quickcheck2-dev (2.14.3-2)
Links für libghc-quickcheck2-dev
Debian-Ressourcen:
Quellcode-Paket haskell-quickcheck herunterladen:
- [haskell-quickcheck_2.14.3-2.dsc]
- [haskell-quickcheck_2.14.3.orig.tar.gz]
- [haskell-quickcheck_2.14.3-2.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Haskell-Bibliothek für automatische Tests für GHC
Dieses Paket stellt eine Bibliothek für die Programmiersprache Haskell bereit.
QuickCheck ist eine Bibliothek für automatische Tests von Haskell-Programmen. Der Programmierer stellt eine Beschreibung des Programms in Form von Eigenschaften bereit, welche die Funktionen erfüllen sollten. QuickCheck überprüft dann, dass die Eigenschaften in einer großen Anzahl von zufällig generierten Fällen gelten. Spezifikationen werden in Haskell mittels in der Bibliothek definierter Kombinatoren ausgedrückt. QuickCheck bietet diese »combinators« zum Definieren von Eigenschaften, zum Beobachten der Verteilung der Testdaten und zum Definieren von Testdatengeneratoren.
Andere Pakete mit Bezug zu libghc-quickcheck2-dev
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libghc-base-dev-4.18.2.1-038db
- virtuelles Paket, bereitgestellt durch ghc
-
- dep: libghc-containers-dev-0.6.7-a865b
- virtuelles Paket, bereitgestellt durch ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-4e034
- virtuelles Paket, bereitgestellt durch ghc
-
- dep: libghc-random-dev-1.2.1.2-668b8
- virtuelles Paket, bereitgestellt durch libghc-random-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-032ad
- virtuelles Paket, bereitgestellt durch libghc-splitmix-dev
-
- dep: libghc-template-haskell-dev-2.20.0.0-68f68
- virtuelles Paket, bereitgestellt durch ghc
-
- dep: libghc-transformers-dev-0.6.1.0-b6e44
- virtuelles Paket, bereitgestellt durch ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Mehrfachgenaue, arithmetische Bibliothek
libghc-quickcheck2-dev herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| i386 | 1.123,2 kB | 9.533,0 kB | [Liste der Dateien] |