/usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Test.html is in libghc-quickcheck2-doc 2.4.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | <!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.Test</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();setSynopsis("mini_Test-QuickCheck-Test.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-Test.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">QuickCheck-2.4.2: Automatic testing of Haskell programs</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Test.QuickCheck.Test</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Running tests
</a></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Args">Args</a> = <a href="#v:Args">Args</a> {<ul class="subs"><li><a href="#v:replay">replay</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)</li><li><a href="#v:maxSuccess">maxSuccess</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:maxDiscard">maxDiscard</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:maxSize">maxSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:chatty">chatty</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:Result">Result</a> <ul class="subs"><li>= <a href="#v:Success">Success</a> { <ul class="subs"><li><a href="#v:numTests">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:labels">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</li><li><a href="#v:output">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li></ul> }</li><li>| <a href="#v:GaveUp">GaveUp</a> { <ul class="subs"><li><a href="#v:numTests">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:labels">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</li><li><a href="#v:output">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li></ul> }</li><li>| <a href="#v:Failure">Failure</a> { <ul class="subs"><li><a href="#v:numTests">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numShrinks">numShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:usedSeed">usedSeed</a> :: <a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a></li><li><a href="#v:usedSize">usedSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:reason">reason</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li><li><a href="#v:labels">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</li><li><a href="#v:output">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li></ul> }</li><li>| <a href="#v:NoExpectedFailure">NoExpectedFailure</a> { <ul class="subs"><li><a href="#v:numTests">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:labels">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</li><li><a href="#v:output">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li></ul> }</li></ul></li><li class="src short"><a href="#v:isSuccess">isSuccess</a> :: <a href="Test-QuickCheck-Test.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:stdArgs">stdArgs</a> :: <a href="Test-QuickCheck-Test.html#t:Args">Args</a></li><li class="src short"><a href="#v:quickCheck">quickCheck</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:quickCheckWith">quickCheckWith</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:quickCheckResult">quickCheckResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:quickCheckWithResult">quickCheckWithResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:verboseCheck">verboseCheck</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:verboseCheckWith">verboseCheckWith</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:verboseCheckResult">verboseCheckResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:verboseCheckWithResult">verboseCheckWithResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:test">test</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:doneTesting">doneTesting</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:giveUp">giveUp</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:runATest">runATest</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></li><li class="src short"><a href="#v:summary">summary</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</li><li class="src short"><a href="#v:success">success</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:foundFailure">foundFailure</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:localMin">localMin</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:localMin-39-">localMin'</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:localMinFound">localMinFound</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:callbackPostTest">callbackPostTest</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:callbackPostFinalFailure">callbackPostFinalFailure</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:safely">safely</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li></ul></div><div id="interface"><h1 id="g:1">Running tests
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Args" class="def">Args</a> <a href="src/Test-QuickCheck-Test.html#Args" class="link">Source</a></p><div class="doc"><p>Args specifies arguments to the QuickCheck driver
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Args" class="def">Args</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:replay" class="def">replay</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)</dt><dd class="doc"><p>should we replay a previous test?
</p></dd><dt class="src"><a name="v:maxSuccess" class="def">maxSuccess</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>maximum number of successful tests before succeeding
</p></dd><dt class="src"><a name="v:maxDiscard" class="def">maxDiscard</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>maximum number of discarded tests before giving up
</p></dd><dt class="src"><a name="v:maxSize" class="def">maxSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>size to use for the biggest test cases
</p></dd><dt class="src"><a name="v:chatty" class="def">chatty</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p>whether to print anything
</p></dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Args" class="caption collapser" onclick="toggleSection('i:Args')">Instances</p><div id="section.i:Args" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> <a href="Test-QuickCheck-Test.html#t:Args">Args</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> <a href="Test-QuickCheck-Test.html#t:Args">Args</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Result" class="def">Result</a> <a href="src/Test-QuickCheck-Test.html#Result" class="link">Source</a></p><div class="doc"><p>Result represents the test result
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Success" class="def">Success</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:numTests" class="def">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of tests performed
</p><p>number of tests performed
</p><p>number of successful tests performed
</p><p>number of successful tests performed
</p></dd><dt class="src"><a name="v:labels" class="def">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</dt><dd class="doc"><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all tests
</p><p>labels and frequencies found during all tests
</p></dd><dt class="src"><a name="v:output" class="def">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></dt><dd class="doc"><p>printed output
</p><p>printed output
</p><p>printed output
</p><p>printed output
</p></dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:GaveUp" class="def">GaveUp</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:numTests" class="def">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of tests performed
</p><p>number of tests performed
</p><p>number of successful tests performed
</p><p>number of successful tests performed
</p></dd><dt class="src"><a name="v:labels" class="def">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</dt><dd class="doc"><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all tests
</p><p>labels and frequencies found during all tests
</p></dd><dt class="src"><a name="v:output" class="def">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></dt><dd class="doc"><p>printed output
</p><p>printed output
</p><p>printed output
</p><p>printed output
</p></dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:Failure" class="def">Failure</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:numTests" class="def">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of tests performed
</p><p>number of tests performed
</p><p>number of successful tests performed
</p><p>number of successful tests performed
</p></dd><dt class="src"><a name="v:numShrinks" class="def">numShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of successful shrinking steps performed
</p></dd><dt class="src"><a name="v:usedSeed" class="def">usedSeed</a> :: <a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a></dt><dd class="doc"><p>what seed was used
</p></dd><dt class="src"><a name="v:usedSize" class="def">usedSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>what was the test size
</p></dd><dt class="src"><a name="v:reason" class="def">reason</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></dt><dd class="doc"><p>what was the reason
</p></dd><dt class="src"><a name="v:labels" class="def">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</dt><dd class="doc"><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all tests
</p><p>labels and frequencies found during all tests
</p></dd><dt class="src"><a name="v:output" class="def">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></dt><dd class="doc"><p>printed output
</p><p>printed output
</p><p>printed output
</p><p>printed output
</p></dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:NoExpectedFailure" class="def">NoExpectedFailure</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:numTests" class="def">numTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of tests performed
</p><p>number of tests performed
</p><p>number of successful tests performed
</p><p>number of successful tests performed
</p></dd><dt class="src"><a name="v:labels" class="def">labels</a> :: [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]</dt><dd class="doc"><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all successful tests
</p><p>labels and frequencies found during all tests
</p><p>labels and frequencies found during all tests
</p></dd><dt class="src"><a name="v:output" class="def">output</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></dt><dd class="doc"><p>printed output
</p><p>printed output
</p><p>printed output
</p><p>printed output
</p></dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Result" class="caption collapser" onclick="toggleSection('i:Result')">Instances</p><div id="section.i:Result" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isSuccess" class="def">isSuccess</a> :: <a href="Test-QuickCheck-Test.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Test-QuickCheck-Test.html#isSuccess" class="link">Source</a></p><div class="doc"><p>isSuccess checks if the test run result was a success
</p></div></div><div class="top"><p class="src"><a name="v:stdArgs" class="def">stdArgs</a> :: <a href="Test-QuickCheck-Test.html#t:Args">Args</a><a href="src/Test-QuickCheck-Test.html#stdArgs" class="link">Source</a></p><div class="doc"><p>stdArgs are the default test arguments used
</p></div></div><div class="top"><p class="src"><a name="v:quickCheck" class="def">quickCheck</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#quickCheck" class="link">Source</a></p><div class="doc"><p>Tests a property and prints the results to <code>stdout</code>.
</p></div></div><div class="top"><p class="src"><a name="v:quickCheckWith" class="def">quickCheckWith</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#quickCheckWith" class="link">Source</a></p><div class="doc"><p>Tests a property, using test arguments, and prints the results to <code>stdout</code>.
</p></div></div><div class="top"><p class="src"><a name="v:quickCheckResult" class="def">quickCheckResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#quickCheckResult" class="link">Source</a></p><div class="doc"><p>Tests a property, produces a test result, and prints the results to <code>stdout</code>.
</p></div></div><div class="top"><p class="src"><a name="v:quickCheckWithResult" class="def">quickCheckWithResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#quickCheckWithResult" class="link">Source</a></p><div class="doc"><p>Tests a property, using test arguments, produces a test result, and prints the results to <code>stdout</code>.
</p></div></div><div class="top"><p class="src"><a name="v:verboseCheck" class="def">verboseCheck</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#verboseCheck" class="link">Source</a></p><div class="doc"><p>Tests a property and prints the results and all test cases generated to <code>stdout</code>.
This is just a convenience function that means the same as <code><a href="Test-QuickCheck-Test.html#v:quickCheck">quickCheck</a></code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Prelude.html#v:.">.</a></code> <code><a href="Test-QuickCheck-Property.html#v:verbose">verbose</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:verboseCheckWith" class="def">verboseCheckWith</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#verboseCheckWith" class="link">Source</a></p><div class="doc"><p>Tests a property, using test arguments, and prints the results and all test cases generated to <code>stdout</code>.
This is just a convenience function that combines <code><a href="Test-QuickCheck-Test.html#v:quickCheckWith">quickCheckWith</a></code> and <code><a href="Test-QuickCheck-Property.html#v:verbose">verbose</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:verboseCheckResult" class="def">verboseCheckResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#verboseCheckResult" class="link">Source</a></p><div class="doc"><p>Tests a property, produces a test result, and prints the results and all test cases generated to <code>stdout</code>.
This is just a convenience function that combines <code><a href="Test-QuickCheck-Test.html#v:quickCheckResult">quickCheckResult</a></code> and <code><a href="Test-QuickCheck-Property.html#v:verbose">verbose</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:verboseCheckWithResult" class="def">verboseCheckWithResult</a> :: <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Test.html#t:Args">Args</a> -> prop -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#verboseCheckWithResult" class="link">Source</a></p><div class="doc"><p>Tests a property, using test arguments, produces a test result, and prints the results and all test cases generated to <code>stdout</code>.
This is just a convenience function that combines <code><a href="Test-QuickCheck-Test.html#v:quickCheckWithResult">quickCheckWithResult</a></code> and <code><a href="Test-QuickCheck-Property.html#v:verbose">verbose</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:test" class="def">test</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#test" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:doneTesting" class="def">doneTesting</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#doneTesting" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:giveUp" class="def">giveUp</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#giveUp" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:runATest" class="def">runATest</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> (<a href="/usr/share/doc/libghc-random-doc/html/System-Random.html#t:StdGen">StdGen</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Property.html#t:Prop">Prop</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="Test-QuickCheck-Test.html#t:Result">Result</a><a href="src/Test-QuickCheck-Test.html#runATest" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:summary" class="def">summary</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> [(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)]<a href="src/Test-QuickCheck-Test.html#summary" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:success" class="def">success</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#success" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:foundFailure" class="def">foundFailure</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Test-QuickCheck-Test.html#foundFailure" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:localMin" class="def">localMin</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Test-QuickCheck-Test.html#localMin" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:localMin-39-" class="def">localMin'</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> [<a href="Test-QuickCheck-Property.html#t:Rose">Rose</a> <a href="Test-QuickCheck-Property.html#t:Result">Result</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Test-QuickCheck-Test.html#localMin%27" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:localMinFound" class="def">localMinFound</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Test-QuickCheck-Test.html#localMinFound" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:callbackPostTest" class="def">callbackPostTest</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#callbackPostTest" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:callbackPostFinalFailure" class="def">callbackPostFinalFailure</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="Test-QuickCheck-Property.html#t:Result">Result</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#callbackPostFinalFailure" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:safely" class="def">safely</a> :: <a href="Test-QuickCheck-State.html#t:State">State</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Test.html#safely" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
|