<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>QuickCheck-2.4.0.1: Automatic testing of Haskell programs</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[ window.onload = function () {pageLoad();}; //]]> </script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">QuickCheck-2.4.0.1: Automatic testing of Haskell programs</p></div><div id="content"><div id="description" class="doc"><h1>QuickCheck-2.4.0.1: Automatic testing of Haskell programs</h1><p>QuickCheck is a library for random testing of program properties. </p><p>The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. </p><p>Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. </p></div><div id="module-list"><p class="caption">Modules</p><ul><li><span id="control.n.1" class="module collapser" onclick="toggleSection('n.1')">Test</span><ul id="section.n.1" class="show"><li><span class="module"><span id="control.n.1.1" class="collapser" onclick="toggleSection('n.1.1')"> </span><a href="Test-QuickCheck.html">Test.QuickCheck</a></span><ul id="section.n.1.1" class="show"><li><span class="module"><a href="Test-QuickCheck-All.html">Test.QuickCheck.All</a></span></li><li><span class="module"><a href="Test-QuickCheck-Arbitrary.html">Test.QuickCheck.Arbitrary</a></span></li><li><span class="module"><a href="Test-QuickCheck-Function.html">Test.QuickCheck.Function</a></span></li><li><span class="module"><a href="Test-QuickCheck-Gen.html">Test.QuickCheck.Gen</a></span></li><li><span class="module"><a href="Test-QuickCheck-Modifiers.html">Test.QuickCheck.Modifiers</a></span></li><li><span class="module"><a href="Test-QuickCheck-Monadic.html">Test.QuickCheck.Monadic</a></span></li><li><span class="module"><a href="Test-QuickCheck-Poly.html">Test.QuickCheck.Poly</a></span></li><li><span class="module"><a href="Test-QuickCheck-Property.html">Test.QuickCheck.Property</a></span></li><li><span class="module"><a href="Test-QuickCheck-State.html">Test.QuickCheck.State</a></span></li><li><span class="module"><a href="Test-QuickCheck-Test.html">Test.QuickCheck.Test</a></span></li><li><span class="module"><a href="Test-QuickCheck-Text.html">Test.QuickCheck.Text</a></span></li></ul></li></ul></li></ul></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.9.2</p></div></body></html>