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 the documentation for a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.