Balík: libghc-quickcheck2-dev (2.14.2-1 a iné)
Odkazy pre libghc-quickcheck2-dev
Zdroje Debian:
Stiahnuť zdrojový balík haskell-quickcheck:
- [haskell-quickcheck_2.14.2-1.dsc]
- [haskell-quickcheck_2.14.2.orig.tar.gz]
- [haskell-quickcheck_2.14.2-1.debian.tar.xz]
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
knižnica jazyka Haskell na automatické testovanie pre GHC
Tento balík poskytuje knižnicu programovacieho jazyka Haskell.
QuickCheck je knižnica na automatické testovanie programov v jazyku Haskell. Programátor zadá špecifikáciu programu vo forme vlastností, ktoré by mali funkcie spĺňať a QuickCheck otestuje, či sú vlastnosti splnené vo veľkom množstve náhodne generovaných prípadov. Špecifikácie sú vyjadrené v jazyku Haskell pomocou kombinátorov definovaných v knižnici QuickCheck. QuickCheck poskytuje kombinátory na definovanie vlastností, pozorovanie rozdelenia testovacích dát a definovanie generátorov testovacích dát.
Ostatné balíky súvisiace s balíkom libghc-quickcheck2-dev
|
|
|
|
-
- dep: libc6 (>= 2.29)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libghc-base-dev-4.15.1.0-6f9e8
- virtuálny balík poskytovaný balíkom ghc
-
- dep: libghc-containers-dev-0.6.4.1-e892f
- virtuálny balík poskytovaný balíkom ghc
-
- dep: libghc-deepseq-dev-1.4.5.0-cb78f
- virtuálny balík poskytovaný balíkom ghc
-
- dep: libghc-random-dev-1.2.1.1-965d7
- virtuálny balík poskytovaný balíkom libghc-random-dev
-
- dep: libghc-splitmix-dev-0.1.0.4-30d64
- virtuálny balík poskytovaný balíkom libghc-splitmix-dev
-
- dep: libghc-template-haskell-dev-2.17.0.0-fd143
- virtuálny balík poskytovaný balíkom ghc
-
- dep: libghc-transformers-dev-0.5.6.2-81774
- virtuálny balík poskytovaný balíkom ghc
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- aritmetická knižnica s viacnásobnou presnosťou
Stiahnuť libghc-quickcheck2-dev
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
i386 | 2.14.2-1+b2 | 1,111.0 kB | 9,208.0 kB | [zoznam súborov] |