Paket: libghc-smallcheck-dev (1.1.5-2 und andere)

[ Quellcode: haskell-smallcheck  ]

Another lightweight testing library

SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andere Pakete mit Bezug zu libghc-smallcheck-dev

• dep: libatomic1 (>= 4.8)

  Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt

• dep: libc6 (>= 2.1.3)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

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

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-ghc-prim-dev-0.5.2.0-18731

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-logict-dev-0.6.0.2-11dab

  virtuelles Paket, bereitgestellt durch libghc-logict-dev

• dep: libghc-mtl-dev-2.2.2-32af5

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-pretty-dev-1.1.3.6-41c62

  virtuelles Paket, bereitgestellt durch ghc

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

• sug: libghc-smallcheck-doc

  Another lightweight testing library; documentation

• sug: libghc-smallcheck-prof

  Another lightweight testing library; profiling libraries

libghc-smallcheck-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
i386	1.1.5-2+b2	158,1 kB	1.451,0 kB	[Liste der Dateien]