Package: libghc-lazysmallcheck-dev (0.6-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 libghc-lazysmallcheck-dev

• dep: libc6 (>= 2.7)

  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: libghc-base-dev-4.5.0.0-add11

  virtual package provided by ghc

• dep: libgmp10

  Multiprecision arithmetic library

• sug: libghc-lazysmallcheck-prof

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

Download libghc-lazysmallcheck-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
powerpc	0.6-1+b1	78.5 kB	375.0 kB	[list of files]