/usr/share/doc/libghc-quickcheck2-doc/html/mini_Test-QuickCheck.html is in libghc-quickcheck2-doc 2.8.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!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>Test.QuickCheck</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 id="mini"><div id="module-header"><p class="caption">Test.QuickCheck</p></div><div id="interface"><h1>Running tests</h1><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:quickCheck" target="main">quickCheck</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Args" target="main">Args</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Result" target="main">Result</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:stdArgs" target="main">stdArgs</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:quickCheckWith" target="main">quickCheckWith</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:quickCheckWithResult" target="main">quickCheckWithResult</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:quickCheckResult" target="main">quickCheckResult</a></p></div><h2>Running tests verbosely</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verboseCheck" target="main">verboseCheck</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verboseCheckWith" target="main">verboseCheckWith</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verboseCheckWithResult" target="main">verboseCheckWithResult</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verboseCheckResult" target="main">verboseCheckResult</a></p></div><h2>Testing all properties in a module</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:quickCheckAll" target="main">quickCheckAll</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verboseCheckAll" target="main">verboseCheckAll</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:forAllProperties" target="main">forAllProperties</a></p></div><h2>Testing polymorphic properties</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:polyQuickCheck" target="main">polyQuickCheck</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:polyVerboseCheck" target="main">polyVerboseCheck</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:monomorphic" target="main">monomorphic</a></p></div><h1>Random generation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Gen" target="main">Gen</a> a</p></div><h2>Generator combinators</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:choose" target="main">choose</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:oneof" target="main">oneof</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:frequency" target="main">frequency</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:elements" target="main">elements</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:growingElements" target="main">growingElements</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:sized" target="main">sized</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:resize" target="main">resize</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:scale" target="main">scale</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:suchThat" target="main">suchThat</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:suchThatMaybe" target="main">suchThatMaybe</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:listOf" target="main">listOf</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:listOf1" target="main">listOf1</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:vectorOf" target="main">vectorOf</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:infiniteListOf" target="main">infiniteListOf</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shuffle" target="main">shuffle</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:sublistOf" target="main">sublistOf</a></p></div><h2>Generators which use Arbitrary</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:vector" target="main">vector</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:orderedList" target="main">orderedList</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:infiniteList" target="main">infiniteList</a></p></div><h2>Running a generator</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:generate" target="main">generate</a></p></div><h2>Generator debugging</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:sample" target="main">sample</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:sample-39-" target="main">sample'</a></p></div><h1>Arbitrary and CoArbitrary classes</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Test-QuickCheck.html#t:Arbitrary" target="main">Arbitrary</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Test-QuickCheck.html#t:CoArbitrary" target="main">CoArbitrary</a> a</p></div><h2>Helper functions for implementing arbitrary</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitrarySizedIntegral" target="main">arbitrarySizedIntegral</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitrarySizedNatural" target="main">arbitrarySizedNatural</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitrarySizedFractional" target="main">arbitrarySizedFractional</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitrarySizedBoundedIntegral" target="main">arbitrarySizedBoundedIntegral</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitraryBoundedIntegral" target="main">arbitraryBoundedIntegral</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitraryBoundedRandom" target="main">arbitraryBoundedRandom</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:arbitraryBoundedEnum" target="main">arbitraryBoundedEnum</a></p></div><h2>Helper functions for implementing shrink</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:genericCoarbitrary" target="main">genericCoarbitrary</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:genericShrink" target="main">genericShrink</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:subterms" target="main">subterms</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:recursivelyShrink" target="main">recursivelyShrink</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinkNothing" target="main">shrinkNothing</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinkList" target="main">shrinkList</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinkIntegral" target="main">shrinkIntegral</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinkRealFrac" target="main">shrinkRealFrac</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinkRealFracToInteger" target="main">shrinkRealFracToInteger</a></p></div><h2>Helper functions for implementing coarbitrary</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:variant" target="main">variant</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:coarbitraryIntegral" target="main">coarbitraryIntegral</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:coarbitraryReal" target="main">coarbitraryReal</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:coarbitraryShow" target="main">coarbitraryShow</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:coarbitraryEnum" target="main">coarbitraryEnum</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:-62--60-" target="main">(><)</a></p></div><h2>Type-level modifiers for changing generator behavior</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Blind" target="main">Blind</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Fixed" target="main">Fixed</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:OrderedList" target="main">OrderedList</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:NonEmptyList" target="main">NonEmptyList</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Positive" target="main">Positive</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:NonZero" target="main">NonZero</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:NonNegative" target="main">NonNegative</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Large" target="main">Large</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Small" target="main">Small</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Smart" target="main">Smart</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Shrink2" target="main">Shrink2</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Shrinking" target="main">Shrinking</a> s a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Test-QuickCheck.html#t:ShrinkState" target="main">ShrinkState</a> s a</p></div><h1>Properties</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Property" target="main">Property</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Test-QuickCheck.html#t:Testable" target="main">Testable</a> prop</p></div><h2>Property combinators</h2><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:forAll" target="main">forAll</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:forAllShrink" target="main">forAllShrink</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:shrinking" target="main">shrinking</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:-61--61--62-" target="main">(==>)</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:-61--61--61-" target="main">(===)</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:ioProperty" target="main">ioProperty</a></p></div><h3>Controlling property execution</h3><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:verbose" target="main">verbose</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:once" target="main">once</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:within" target="main">within</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:noShrinking" target="main">noShrinking</a></p></div><h3>Conjunction and disjunction</h3><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:.-38-." target="main">(.&.)</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:.-38--38-." target="main">(.&&.)</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:conjoin" target="main">conjoin</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:.-124--124-." target="main">(.||.)</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:disjoin" target="main">disjoin</a></p></div><h3>What to do on failure</h3><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:counterexample" target="main">counterexample</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:printTestCase" target="main">printTestCase</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:whenFail" target="main">whenFail</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:whenFail-39-" target="main">whenFail'</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:expectFailure" target="main">expectFailure</a></p></div><h3>Analysing test distribution</h3><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:label" target="main">label</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:collect" target="main">collect</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:classify" target="main">classify</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:cover" target="main">cover</a></p></div><h3>Miscellaneous</h3><div class="top"><p class="src"><span class="keyword">data</span> <a href="Test-QuickCheck.html#t:Discard" target="main">Discard</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:discard" target="main">discard</a></p></div><div class="top"><p class="src"><a href="Test-QuickCheck.html#v:mapSize" target="main">mapSize</a></p></div></div></body></html>
|