/usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-State.html

<!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.State</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Test-QuickCheck-State.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-State.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.8.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</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Test.QuickCheck.State</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>QuickCheck's internal state. Internal QuickCheck module.</p></div></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:State">State</a> = <a href="#v:MkState">MkState</a> {<ul class="subs"><li><a href="#v:terminal">terminal</a> :: <a href="Test-QuickCheck-Text.html#t:Terminal">Terminal</a></li><li><a href="#v:maxSuccessTests">maxSuccessTests</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:maxDiscardedTests">maxDiscardedTests</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:computeSize">computeSize</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numSuccessTests">numSuccessTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numDiscardedTests">numDiscardedTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numRecentlyDiscardedTests">numRecentlyDiscardedTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:labels">labels</a> :: !(<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a>)</li><li><a href="#v:collected">collected</a> :: ![<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a>]</li><li><a href="#v:expectedFailure">expectedFailure</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:randomSeed">randomSeed</a> :: !<a href="Test-QuickCheck-Random.html#t:QCGen">QCGen</a></li><li><a href="#v:numSuccessShrinks">numSuccessShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numTryShrinks">numTryShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numTotTryShrinks">numTotTryShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li></ul>}</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:State" class="def">State</a> <a href="src/Test-QuickCheck-State.html#State" class="link">Source</a> <a href="#t:State" class="selflink">#</a></p><div class="doc"><p>State represents QuickCheck's internal state while testing a property.
 The state is made visible to callback functions.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:MkState" class="def">MkState</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:terminal" class="def">terminal</a> :: <a href="Test-QuickCheck-Text.html#t:Terminal">Terminal</a></dfn><div class="doc"><p>the current terminal</p></div></li><li><dfn class="src"><a id="v:maxSuccessTests" class="def">maxSuccessTests</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>maximum number of successful tests needed</p></div></li><li><dfn class="src"><a id="v:maxDiscardedTests" class="def">maxDiscardedTests</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>maximum number of tests that can be discarded</p></div></li><li><dfn class="src"><a id="v:computeSize" class="def">computeSize</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>how to compute the size of test cases from
   <a id="tests and "></a>discarded tests</p></div></li><li><dfn class="src"><a id="v:numSuccessTests" class="def">numSuccessTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>the current number of tests that have succeeded</p></div></li><li><dfn class="src"><a id="v:numDiscardedTests" class="def">numDiscardedTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>the current number of discarded tests</p></div></li><li><dfn class="src"><a id="v:numRecentlyDiscardedTests" class="def">numRecentlyDiscardedTests</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>the number of discarded tests since the last successful test</p></div></li><li><dfn class="src"><a id="v:labels" class="def">labels</a> :: !(<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a>)</dfn><div class="doc"><p>all labels that have been defined so far</p></div></li><li><dfn class="src"><a id="v:collected" class="def">collected</a> :: ![<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a>]</dfn><div class="doc"><p>all labels that have been collected so far</p></div></li><li><dfn class="src"><a id="v:expectedFailure" class="def">expectedFailure</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></dfn><div class="doc"><p>indicates if the property is expected to fail</p></div></li><li><dfn class="src"><a id="v:randomSeed" class="def">randomSeed</a> :: !<a href="Test-QuickCheck-Random.html#t:QCGen">QCGen</a></dfn><div class="doc"><p>the current random seed</p></div></li><li><dfn class="src"><a id="v:numSuccessShrinks" class="def">numSuccessShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>number of successful shrinking steps so far</p></div></li><li><dfn class="src"><a id="v:numTryShrinks" class="def">numTryShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>number of failed shrinking steps since the last successful shrink</p></div></li><li><dfn class="src"><a id="v:numTotTryShrinks" class="def">numTotTryShrinks</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc"><p>total number of failed shrinking steps</p></div></li></ul></div></td></tr></table></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
libghc-quickcheck2-doc 2.8.2-3 / usr / share / doc / libghc-quickcheck2-doc / html / Test-QuickCheck-State.html
