Sophie: ghc-doc-0:6.10.4-1mdv2010.0 i586

ghc-doc-6.10.4-1mdv2010.0.i586.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>QuickCheck-1.2.0.0: Automatic testing of Haskell programs (Index)</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>QuickCheck-1.2.0.0: Automatic testing of Haskell programs</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD COLSPAN="2" STYLE="padding-top:5px;"
><FORM onsubmit="full_search(); return false;" ACTION=""
>Search: <INPUT ID="searchbox" onkeyup="quick_search()"
> <INPUT VALUE="Search" TYPE="submit"
> <SPAN ID="searchmsg"
> </SPAN
></FORM
></TD
></TR
><TR
><TD
><TABLE ID="indexlist" CELLPADDING="0" CELLSPACING="5"
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>==&gt;</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3A%3D%3D%3E"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>ALPHA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3AALPHA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>Arbitrary</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3AArbitrary"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>arbitrary</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aarbitrary"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>arguments</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aarguments"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>BETA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3ABETA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>bottom</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3Abottom"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>check</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Acheck"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>choose</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Achoose"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>classify</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aclassify"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>coarbitrary</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Acoarbitrary"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>collect</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Acollect"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry" COLSPAN="2"
>Config</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>1 (Type/Class)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3AConfig"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>2 (Data Constructor)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AConfig"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>configEvery</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AconfigEvery"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>configMaxFail</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AconfigMaxFail"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>configMaxTest</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AconfigMaxTest"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>configSize</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AconfigSize"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>debug_tests</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3Adebug_tests"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>defaultConfig</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AdefaultConfig"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>defOpt</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3AdefOpt"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>elements</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aelements"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>evaluate</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aevaluate"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>forAll</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AforAll"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>four</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Afour"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>frequency</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Afrequency"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>GAMMA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3AGAMMA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>Gen</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3AGen"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>generate</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Agenerate"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isAssociative</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Utils.html#v%3AisAssociative"
>Test.QuickCheck.Utils</A
>, Debug.QuickCheck.Utils</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isAssociativeBy</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Utils.html#v%3AisAssociativeBy"
>Test.QuickCheck.Utils</A
>, Debug.QuickCheck.Utils</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isBottom</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3AisBottom"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isCommutable</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Utils.html#v%3AisCommutable"
>Test.QuickCheck.Utils</A
>, Debug.QuickCheck.Utils</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isCommutableBy</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Utils.html#v%3AisCommutableBy"
>Test.QuickCheck.Utils</A
>, Debug.QuickCheck.Utils</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>isTotalOrder</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Utils.html#v%3AisTotalOrder"
>Test.QuickCheck.Utils</A
>, Debug.QuickCheck.Utils</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>label</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Alabel"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>length_of_tests</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3Alength_of_tests"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>no_of_tests</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3Ano_of_tests"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>ok</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aok"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>oneof</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aoneof"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>OrdALPHA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3AOrdALPHA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>OrdBETA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3AOrdBETA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>OrdGAMMA</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Poly.html#t%3AOrdGAMMA"
>Test.QuickCheck.Poly</A
>, Debug.QuickCheck.Poly</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>promote</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Apromote"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>Property</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3AProperty"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>property</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aproperty"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>quickCheck</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AquickCheck"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>rand</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Arand"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>resize</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Aresize"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry" COLSPAN="2"
>Result</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>1 (Type/Class)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3AResult"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>2 (Data Constructor)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AResult"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>run</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3Arun"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>runTests</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ArunTests"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>sized</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Asized"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>stamp</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Astamp"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>test</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Atest"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>Testable</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#t%3ATestable"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>TestAborted</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ATestAborted"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>TestExausted</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ATestExausted"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>TestFailed</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ATestFailed"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>TestOk</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ATestOk"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry" COLSPAN="2"
>TestOptions</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>1 (Type/Class)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#t%3ATestOptions"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexannot"
>2 (Data Constructor)</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#v%3ATestOptions"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>TestResult</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck-Batch.html#t%3ATestResult"
>Test.QuickCheck.Batch</A
>, Debug.QuickCheck.Batch</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>three</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Athree"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>trivial</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Atrivial"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>two</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Atwo"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>variant</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Avariant"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>vector</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3Avector"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
><TR CLASS="indexrow"
><TD CLASS="indexentry"
>verboseCheck</TD
><TD CLASS="indexlinks"
><A HREF="Test-QuickCheck.html#v%3AverboseCheck"
>Test.QuickCheck</A
>, Debug.QuickCheck</TD
></TR
></TABLE
></TD
></TR
></TABLE
></BODY
></HTML
>