/usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-State.html is in libghc-quickcheck2-doc 2.7.6-3.
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 | <!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 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.7.6: Automatic testing of Haskell programs</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:maxDiscardedTests">maxDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:computeSize">computeSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numSuccessTests">numSuccessTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numDiscardedTests">numDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numRecentlyDiscardedTests">numRecentlyDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:collected">collected</a> :: [[(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a>)]]</li><li><a href="#v:expectedFailure">expectedFailure</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numTryShrinks">numTryShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li><a href="#v:numTotTryShrinks">numTotTryShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/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 name="t:State" class="def">State</a> <a href="src/Test-QuickCheck-State.html#State" class="link">Source</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 name="v:MkState" class="def">MkState</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:terminal" class="def">terminal</a> :: <a href="Test-QuickCheck-Text.html#t:Terminal">Terminal</a></dt><dd class="doc"><p>the current terminal
</p></dd><dt class="src"><a name="v:maxSuccessTests" class="def">maxSuccessTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>maximum number of successful tests needed
</p></dd><dt class="src"><a name="v:maxDiscardedTests" class="def">maxDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>maximum number of tests that can be discarded
</p></dd><dt class="src"><a name="v:computeSize" class="def">computeSize</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>how to compute the size of test cases from
<a name="tests and "></a>discarded tests
</p></dd><dt class="src"><a name="v:numSuccessTests" class="def">numSuccessTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>the current number of tests that have succeeded
</p></dd><dt class="src"><a name="v:numDiscardedTests" class="def">numDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>the current number of discarded tests
</p></dd><dt class="src"><a name="v:numRecentlyDiscardedTests" class="def">numRecentlyDiscardedTests</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>the number of discarded tests since the last successful test
</p></dd><dt class="src"><a name="v:collected" class="def">collected</a> :: [[(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a>, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a>)]]</dt><dd class="doc"><p>all labels that have been collected so far
</p></dd><dt class="src"><a name="v:expectedFailure" class="def">expectedFailure</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p>indicates if the property is expected to fail
</p></dd><dt class="src"><a name="v:randomSeed" class="def">randomSeed</a> :: <a href="Test-QuickCheck-Random.html#t:QCGen">QCGen</a></dt><dd class="doc"><p>the current random seed
</p></dd><dt class="src"><a name="v:numSuccessShrinks" class="def">numSuccessShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of successful shrinking steps so far
</p></dd><dt class="src"><a name="v:numTryShrinks" class="def">numTryShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>number of failed shrinking steps since the last successful shrink
</p></dd><dt class="src"><a name="v:numTotTryShrinks" class="def">numTotTryShrinks</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc"><p>total number of failed shrinking steps
</p></dd></dl><div class="clear"></div></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.13.2</p></div></body></html>
|