Package: libghc6-lazysmallcheck-dev (0.5-1 and others)

[ Source: haskell-lazysmallcheck  ]

A library for demand-driven testing of Haskell programs

This package provides a library for the Haskell programming language.

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

Other Packages Related to libghc6-lazysmallcheck-dev

• dep: libc6 (>= 2.4)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libffi5 (>= 3.0.4)

  Foreign Function Interface library runtime

• dep: libghc6-base-dev-3.0.3.2-52ace

  virtual package provided by ghc6

• dep: libghc6-haskell98-dev-1.0.1.1-0fdaf

  virtual package provided by ghc6

• dep: libgmp3c2

  Multiprecision arithmetic library

• sug: libghc6-lazysmallcheck-doc

  Package not available

• sug: libghc6-lazysmallcheck-prof

  A library for demand-driven testing of Haskell programs; profiling libraries

Download libghc6-lazysmallcheck-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
s390	0.5-1+b1	100.2 kB	616.0 kB	[list of files]