Balík: libghc-quickcheck2-dev (2.11.3-1 a iné)

[ Zdroj: haskell-quickcheck  ]

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.

Značky: Software Development: Vývoj v Haskelli

Ostatné balíky súvisiace s balíkom libghc-quickcheck2-dev

• dep: libatomic1 (>= 4.8)

  pomocná knižnica poskytujúca zabudované funkcie __atomic

• dep: libc6 (>= 2.1.3)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libghc-base-dev-4.11.1.0-3abbc

  virtuálny balík poskytovaný balíkom ghc

• dep: libghc-containers-dev-0.5.11.0-76ed0

  virtuálny balík poskytovaný balíkom ghc

• dep: libghc-deepseq-dev-1.4.3.0-20ead

  virtuálny balík poskytovaný balíkom ghc

• dep: libghc-random-dev-1.1-0fdea

  virtuálny balík poskytovaný balíkom libghc-random-dev

• dep: libghc-template-haskell-dev-2.13.0.0-154a8

  virtuálny balík poskytovaný balíkom ghc

• dep: libghc-tf-random-dev-0.5-356ac

  virtuálny balík poskytovaný balíkom libghc-tf-random-dev

• dep: libghc-transformers-dev-0.5.5.0-1fc6e

  virtuálny balík poskytovaný balíkom ghc

• dep: libgmp10

  aritmetická knižnica s viacnásobnou presnosťou

• sug: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• sug: libghc-quickcheck2-prof

  Haskell automatic testing library for GHC; profiling libraries

Stiahnuť libghc-quickcheck2-dev

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
i386	2.11.3-1+b2	583.4 kB	5,528.0 kB	[zoznam súborov]