all options
wheezy  ] [  jessie  ] [  sid  ] [  experimental  ]
[ Source: haskell-lazysmallcheck  ]

Package: libghc-lazysmallcheck-dev (0.6-1 and others)

Links for libghc-lazysmallcheck-dev

Screenshot

Debian Resources:

Download Source Package haskell-lazysmallcheck:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-lazysmallcheck-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.6-1+b1 69.3 kB336.0 kB [list of files]
armel 0.6-1 85.6 kB431.0 kB [list of files]
armhf 0.6-1+b1 89.0 kB427.0 kB [list of files]
i386 0.6-1+b1 66.9 kB317.0 kB [list of files]
kfreebsd-amd64 0.6-1+b1 69.4 kB338.0 kB [list of files]
kfreebsd-i386 0.6-1+b1 66.7 kB251.0 kB [list of files]
mips 0.6-1+b1 117.3 kB565.0 kB [list of files]
mipsel 0.6-1+b1 110.4 kB565.0 kB [list of files]
powerpc 0.6-1+b1 78.5 kB375.0 kB [list of files]
s390 0.6-1+b1 102.8 kB514.0 kB [list of files]
s390x 0.6-1+b1 109.1 kB694.0 kB [list of files]
sparc 0.6-1+b1 112.4 kB573.0 kB [list of files]