rushcheck 0.4 → 0.5

data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 17:24:57 JST 2006</td>
+      <td>Sat Oct 07 03:53:10 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,7 @@
     <div id="description">
       <h1>assertion.rb</h1>
 <p>
-this file provides a class <a
-href="../../classes/Assertion.html">Assertion</a> for random testing.
+this file provides a class Assertion for random testing.
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Tue Sep 26 13:14:25 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -72,7 +72,8 @@
       <p>
 This file extends the default Ruby&#8217;s class <a
 href="../../classes/TrueClass.html">TrueClass</a> and <a
-href="../../classes/FalseClass.html">FalseClass</a> for RushCheck.
+href="../../classes/FalseClass.html">FalseClass</a> for <a
+href="../../classes/RushCheck.html">RushCheck</a>.
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/config_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Sep 02 15:59:33 JST 2006</td>
+      <td>Sat Sep 16 04:24:35 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,7 @@
     <div id="description">
       <h1>Config.rb</h1>
 <p>
-This file is implemented for the class <a
-href="../../classes/RushCheckConfig.html">RushCheckConfig</a>.
+This file is implemented for the class Config.
 </p>
 
     </div>
@@ -81,7 +80,7 @@ href="../../classes/RushCheckConfig.html">RushCheckConfig</a>.
       <h3 class="section-bar">Required files</h3>
 
       <div class="name-list">
-      testresult&nbsp;&nbsp;
+      <a href="testresult_rb.html">rushcheck/testresult</a>&nbsp;&nbsp;
       </div>
     </div>
 

data/data/rushcheck/rdoc/files/rushcheck/float_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 16 03:59:25 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,8 @@
     <div id="description">
       <h1>float.rb</h1>
 <p>
-an extension to <a href="../../classes/Float.html">Float</a> class for
-RushCheck
+an extension to <a href="../../classes/Float.html">Float</a> class for <a
+href="../../classes/RushCheck.html">RushCheck</a>
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Wed Aug 09 14:42:20 JST 2006</td>
+      <td>Wed Oct 04 18:39:24 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,10 +71,9 @@
     <div id="description">
       <h1>Gen.rb</h1>
 <p>
-This file is implemented the type class <a
-href="../../classes/Gen.html">Gen</a> in Haskell&#8217;s QuickCheck. Almost
-all implementations are similar to Haskell&#8217;s one. Therefore check
-also the Haskell implementation.
+This file is implemented the type class Gen in Haskell&#8217;s QuickCheck.
+Almost all implementations are similar to Haskell&#8217;s one. Therefore
+check also the Haskell implementation.
 </p>
 
     </div>
@@ -84,6 +83,7 @@ also the Haskell implementation.
 
       <div class="name-list">
       <a href="gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
+      <a href="integer_rb.html">rushcheck/integer</a>&nbsp;&nbsp;
       </div>
     </div>
 

data/data/rushcheck/rdoc/files/rushcheck/guard_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Oct 04 18:27:54 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,7 +71,7 @@
     <div id="description">
       <h1>guard.rb</h1>
 <p>
-This provides class <a href="../../classes/Guard.html">Guard</a>
+This provides module functions guard and its friends
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/hash_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Sep 27 07:00:41 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Thu Sep 28 05:24:47 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -72,7 +72,7 @@
       <h1>integer.rb</h1>
 <p>
 an extension to <a href="../../classes/Integer.html">Integer</a> class for
-RushCheck
+<a href="../../classes/RushCheck.html">RushCheck</a>
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/proc_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 16 04:01:24 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/property_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 16 04:22:35 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,9 +71,8 @@
     <div id="description">
       <h1>property.rb</h1>
 <p>
-This file defines properties of testcase class <a
-href="../../classes/Property.html">Property</a> is used for RushCheck
-internally
+This file defines properties of testcase class Property is used for <a
+href="../../classes/RushCheck.html">RushCheck</a> internally
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/random_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 16 04:39:36 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -78,11 +78,8 @@ to get different results on each run by using the system-initialised
 generator, or by supplying a seed from some other source.
 </p>
 <p>
-This file provides two module <a
-href="../../classes/RandomGen.html">RandomGen</a>, <a
-href="../../classes/HsRandom.html">HsRandom</a>, two classes <a
-href="../../classes/StdGen.html">StdGen</a> and <a
-href="../../classes/TheStdGen.html">TheStdGen</a>.
+This file provides two module RandomGen, HsRandom, two classes StdGen and
+TheStdGen.
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/result_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 16 04:23:40 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,9 +71,8 @@
     <div id="description">
       <h1>result.rb</h1>
 <p>
-This file defines results of testcase class <a
-href="../../classes/Result.html">Result</a> is used for RushCheck
-internally
+This file defines results of testcase class Result is used for <a
+href="../../classes/RushCheck.html">RushCheck</a> internally
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/string_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Sat Sep 30 13:09:38 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,9 +71,9 @@
     <div id="description">
       <h1>string.rb</h1>
 <p>
-an extension to <a href="../../classes/String.html">String</a> class for
-RushCheck this file provides two classes <a
-href="../../classes/String.html">String</a> and <a
+an extension to <a href="../../classes/String.html">String</a> class for <a
+href="../../classes/RushCheck.html">RushCheck</a> this file provides two
+classes <a href="../../classes/String.html">String</a> and <a
 href="../../classes/SpecialString.html">SpecialString</a>
 </p>
 

data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Sep 02 21:01:04 JST 2006</td>
+      <td>Wed Sep 27 17:16:37 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,7 @@
     <div id="description">
       <h1>testable.rb</h1>
 <p>
-this provides an abstract interface of <a
-href="../../classes/Testable.html">Testable</a> See also QuickCheck in
+this provides an abstract interface of Testable See also QuickCheck in
 Haskell
 </p>
 

data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sun Aug 13 21:44:01 JST 2006</td>
+      <td>Sat Sep 16 04:25:35 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,8 @@
     <div id="description">
       <h1>testoptions.rb</h1>
 <p>
-define class <a href="../../classes/TestOptions.html">TestOptions</a> for a
-batch process for RushCheck
+define class TestOptions for a batch process for <a
+href="../../classes/RushCheck.html">RushCheck</a>
 </p>
 
     </div>

data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Sep 02 16:04:45 JST 2006</td>
+      <td>Sat Sep 16 04:25:42 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck_rb.html

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Wed Aug 09 02:07:57 JST 2006</td>
+      <td>Wed Oct 04 18:26:24 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -71,8 +71,8 @@
     <div id="description">
       <h1>rushcheck.rb</h1>
 <p>
-this is just a prelude include file this provides all of feature of
-RushCheck for random testing.
+this is just a prelude include file this provides all of feature of <a
+href="../classes/RushCheck.html">RushCheck</a> for random testing.
 </p>
 
     </div>
@@ -84,13 +84,14 @@ RushCheck for random testing.
       <a href="rushcheck/arbitrary_rb.html">rushcheck/arbitrary</a>&nbsp;&nbsp;
       <a href="rushcheck/assertion_rb.html">rushcheck/assertion</a>&nbsp;&nbsp;
       <a href="rushcheck/gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
+      <a href="rushcheck/guard_rb.html">rushcheck/guard</a>&nbsp;&nbsp;
       <a href="rushcheck/random_rb.html">rushcheck/random</a>&nbsp;&nbsp;
       <a href="rushcheck/testable_rb.html">rushcheck/testable</a>&nbsp;&nbsp;
       <a href="rushcheck/array_rb.html">rushcheck/array</a>&nbsp;&nbsp;
       <a href="rushcheck/bool_rb.html">rushcheck/bool</a>&nbsp;&nbsp;
+      <a href="rushcheck/float_rb.html">rushcheck/float</a>&nbsp;&nbsp;
       <a href="rushcheck/hash_rb.html">rushcheck/hash</a>&nbsp;&nbsp;
       <a href="rushcheck/integer_rb.html">rushcheck/integer</a>&nbsp;&nbsp;
-      <a href="rushcheck/float_rb.html">rushcheck/float</a>&nbsp;&nbsp;
       <a href="rushcheck/proc_rb.html">rushcheck/proc</a>&nbsp;&nbsp;
       <a href="rushcheck/string_rb.html">rushcheck/string</a>&nbsp;&nbsp;
       </div>

data/data/rushcheck/rdoc/fr_class_index.html

@@ -20,35 +20,35 @@
 <div id="index">
   <h1 class="section-bar">Classes</h1>
   <div id="index-entries">
-    <a href="classes/Arbitrary.html">Arbitrary</a><br />
-    <a href="classes/Assertion.html">Assertion</a><br />
-    <a href="classes/Coarbitrary.html">Coarbitrary</a><br />
     <a href="classes/FalseClass.html">FalseClass</a><br />
     <a href="classes/Float.html">Float</a><br />
-    <a href="classes/Gen.html">Gen</a><br />
-    <a href="classes/Guard.html">Guard</a><br />
-    <a href="classes/HsRandom.html">HsRandom</a><br />
     <a href="classes/Integer.html">Integer</a><br />
     <a href="classes/NilClass.html">NilClass</a><br />
-    <a href="classes/Property.html">Property</a><br />
     <a href="classes/RandomArray.html">RandomArray</a><br />
-    <a href="classes/RandomBool.html">RandomBool</a><br />
-    <a href="classes/RandomGen.html">RandomGen</a><br />
     <a href="classes/RandomHash.html">RandomHash</a><br />
     <a href="classes/RandomProc.html">RandomProc</a><br />
-    <a href="classes/Result.html">Result</a><br />
-    <a href="classes/RushCheckConfig.html">RushCheckConfig</a><br />
-    <a href="classes/RushCheckGuard.html">RushCheckGuard</a><br />
+    <a href="classes/RushCheck.html">RushCheck</a><br />
+    <a href="classes/RushCheck/Arbitrary.html">RushCheck::Arbitrary</a><br />
+    <a href="classes/RushCheck/Assertion.html">RushCheck::Assertion</a><br />
+    <a href="classes/RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a><br />
+    <a href="classes/RushCheck/Config.html">RushCheck::Config</a><br />
+    <a href="classes/RushCheck/Gen.html">RushCheck::Gen</a><br />
+    <a href="classes/RushCheck/GuardException.html">RushCheck::GuardException</a><br />
+    <a href="classes/RushCheck/HsRandom.html">RushCheck::HsRandom</a><br />
+    <a href="classes/RushCheck/Property.html">RushCheck::Property</a><br />
+    <a href="classes/RushCheck/RandomBool.html">RushCheck::RandomBool</a><br />
+    <a href="classes/RushCheck/RandomGen.html">RushCheck::RandomGen</a><br />
+    <a href="classes/RushCheck/Result.html">RushCheck::Result</a><br />
+    <a href="classes/RushCheck/StdGen.html">RushCheck::StdGen</a><br />
+    <a href="classes/RushCheck/TestExausted.html">RushCheck::TestExausted</a><br />
+    <a href="classes/RushCheck/TestFailed.html">RushCheck::TestFailed</a><br />
+    <a href="classes/RushCheck/TestOk.html">RushCheck::TestOk</a><br />
+    <a href="classes/RushCheck/TestOptions.html">RushCheck::TestOptions</a><br />
+    <a href="classes/RushCheck/TestResult.html">RushCheck::TestResult</a><br />
+    <a href="classes/RushCheck/Testable.html">RushCheck::Testable</a><br />
+    <a href="classes/RushCheck/TheStdGen.html">RushCheck::TheStdGen</a><br />
     <a href="classes/SpecialString.html">SpecialString</a><br />
-    <a href="classes/StdGen.html">StdGen</a><br />
     <a href="classes/String.html">String</a><br />
-    <a href="classes/TestExausted.html">TestExausted</a><br />
-    <a href="classes/TestFailed.html">TestFailed</a><br />
-    <a href="classes/TestOk.html">TestOk</a><br />
-    <a href="classes/TestOptions.html">TestOptions</a><br />
-    <a href="classes/TestResult.html">TestResult</a><br />
-    <a href="classes/Testable.html">Testable</a><br />
-    <a href="classes/TheStdGen.html">TheStdGen</a><br />
     <a href="classes/TrueClass.html">TrueClass</a><br />
   </div>
 </div>

data/data/rushcheck/rdoc/fr_method_index.html

@@ -20,111 +20,112 @@
 <div id="index">
   <h1 class="section-bar">Methods</h1>
   <div id="index-entries">
-    <a href="classes/NilClass.html#M000064">arbitrary (NilClass)</a><br />
-    <a href="classes/RandomHash.html#M000050">arbitrary (RandomHash)</a><br />
-    <a href="classes/RandomProc.html#M000061">arbitrary (RandomProc)</a><br />
-    <a href="classes/RandomArray.html#M000026">arbitrary (RandomArray)</a><br />
-    <a href="classes/RandomBool.html#M000086">arbitrary (RandomBool)</a><br />
-    <a href="classes/Arbitrary.html#M000082">arbitrary (Arbitrary)</a><br />
-    <a href="classes/Float.html#M000052">arbitrary (Float)</a><br />
-    <a href="classes/String.html#M000073">arbitrary (String)</a><br />
-    <a href="classes/Integer.html#M000011">arbitrary (Integer)</a><br />
-    <a href="classes/SpecialString.html#M000021">arbitrary (SpecialString)</a><br />
-    <a href="classes/RushCheckConfig.html#M000003">batch (RushCheckConfig)</a><br />
-    <a href="classes/Gen.html#M000042">bind (Gen)</a><br />
-    <a href="classes/FalseClass.html#M000022">bound (FalseClass)</a><br />
-    <a href="classes/Float.html#M000053">bound (Float)</a><br />
-    <a href="classes/String.html#M000074">bound (String)</a><br />
-    <a href="classes/Integer.html#M000010">bound (Integer)</a><br />
-    <a href="classes/TrueClass.html#M000079">bound (TrueClass)</a><br />
-    <a href="classes/Testable.html#M000092">check (Testable)</a><br />
-    <a href="classes/Gen.html#M000030">choose (Gen)</a><br />
-    <a href="classes/Testable.html#M000095">classify (Testable)</a><br />
-    <a href="classes/TrueClass.html#M000080">coarbitrary (TrueClass)</a><br />
-    <a href="classes/RandomProc.html#M000062">coarbitrary (RandomProc)</a><br />
-    <a href="classes/FalseClass.html#M000023">coarbitrary (FalseClass)</a><br />
-    <a href="classes/String.html#M000076">coarbitrary (String)</a><br />
-    <a href="classes/RandomHash.html#M000051">coarbitrary (RandomHash)</a><br />
-    <a href="classes/Integer.html#M000013">coarbitrary (Integer)</a><br />
-    <a href="classes/RandomArray.html#M000027">coarbitrary (RandomArray)</a><br />
-    <a href="classes/Float.html#M000055">coarbitrary (Float)</a><br />
-    <a href="classes/NilClass.html#M000065">coarbitrary (NilClass)</a><br />
-    <a href="classes/Coarbitrary.html#M000105">coarbitrary (Coarbitrary)</a><br />
-    <a href="classes/Testable.html#M000098">collect (Testable)</a><br />
-    <a href="classes/Gen.html#M000031">create (Gen)</a><br />
-    <a href="classes/TestOptions.html#M000009">debug? (TestOptions)</a><br />
-    <a href="classes/RushCheckConfig.html#M000005">done (RushCheckConfig)</a><br />
-    <a href="classes/Gen.html#M000032">elements (Gen)</a><br />
-    <a href="classes/Gen.html#M000044">fmap (Gen)</a><br />
-    <a href="classes/Gen.html#M000045">forall (Gen)</a><br />
-    <a href="classes/Gen.html#M000033">frequency (Gen)</a><br />
-    <a href="classes/TheStdGen.html#M000070">gen_next (TheStdGen)</a><br />
-    <a href="classes/RandomGen.html#M000083">gen_next (RandomGen)</a><br />
-    <a href="classes/StdGen.html#M000015">gen_next (StdGen)</a><br />
-    <a href="classes/TheStdGen.html#M000072">gen_range (TheStdGen)</a><br />
-    <a href="classes/StdGen.html#M000017">gen_range (StdGen)</a><br />
-    <a href="classes/RandomGen.html#M000085">gen_range (RandomGen)</a><br />
-    <a href="classes/Gen.html#M000046">generate (Gen)</a><br />
-    <a href="classes/Guard.html#M000029">guard (Guard)</a><br />
-    <a href="classes/Guard.html#M000028">guard_raise (Guard)</a><br />
-    <a href="classes/Testable.html#M000096">imply (Testable)</a><br />
-    <a href="classes/Testable.html#M000097">label (Testable)</a><br />
-    <a href="classes/Gen.html#M000034">lift_array (Gen)</a><br />
-    <a href="classes/StdGen.html#M000014">new (StdGen)</a><br />
-    <a href="classes/Property.html#M000077">new (Property)</a><br />
-    <a href="classes/TestOptions.html#M000008">new (TestOptions)</a><br />
-    <a href="classes/TheStdGen.html#M000069">new (TheStdGen)</a><br />
-    <a href="classes/Assertion.html#M000019">new (Assertion)</a><br />
-    <a href="classes/Gen.html#M000041">new (Gen)</a><br />
-    <a href="classes/Result.html#M000057">new (Result)</a><br />
-    <a href="classes/TestFailed.html#M000067">new (TestFailed)</a><br />
-    <a href="classes/RushCheckConfig.html#M000004">new (RushCheckConfig)</a><br />
-    <a href="classes/TestResult.html#M000068">new (TestResult)</a><br />
-    <a href="classes/Result.html#M000056">nothing (Result)</a><br />
-    <a href="classes/Gen.html#M000035">oneof (Gen)</a><br />
-    <a href="classes/Gen.html#M000036">promote (Gen)</a><br />
-    <a href="classes/NilClass.html#M000066">property (NilClass)</a><br />
-    <a href="classes/Result.html#M000059">property (Result)</a><br />
-    <a href="classes/RandomProc.html#M000063">property (RandomProc)</a><br />
-    <a href="classes/TrueClass.html#M000081">property (TrueClass)</a><br />
-    <a href="classes/Testable.html#M000091">property (Testable)</a><br />
-    <a href="classes/FalseClass.html#M000024">property (FalseClass)</a><br />
-    <a href="classes/Assertion.html#M000020">property (Assertion)</a><br />
-    <a href="classes/Property.html#M000078">property (Property)</a><br />
-    <a href="classes/RushCheckConfig.html#M000001">quick (RushCheckConfig)</a><br />
-    <a href="classes/Testable.html#M000093">quick_check (Testable)</a><br />
-    <a href="classes/Testable.html#M000094">quickcheck (Testable)</a><br />
-    <a href="classes/Gen.html#M000037">rand (Gen)</a><br />
-    <a href="classes/HsRandom.html#M000088">random (HsRandom)</a><br />
-    <a href="classes/HsRandom.html#M000089">random_array (HsRandom)</a><br />
-    <a href="classes/Integer.html#M000012">random_range (Integer)</a><br />
-    <a href="classes/Float.html#M000054">random_range (Float)</a><br />
-    <a href="classes/String.html#M000075">random_range (String)</a><br />
-    <a href="classes/RandomBool.html#M000087">random_range (RandomBool)</a><br />
-    <a href="classes/HsRandom.html#M000090">random_std (HsRandom)</a><br />
-    <a href="classes/Gen.html#M000047">resize (Gen)</a><br />
-    <a href="classes/Result.html#M000058">result (Result)</a><br />
-    <a href="classes/Testable.html#M000099">run (Testable)</a><br />
-    <a href="classes/Testable.html#M000100">run_tests (Testable)</a><br />
-    <a href="classes/RandomHash.html#M000049">set_pattern (RandomHash)</a><br />
-    <a href="classes/RandomProc.html#M000060">set_pattern (RandomProc)</a><br />
-    <a href="classes/RandomArray.html#M000025">set_pattern (RandomArray)</a><br />
-    <a href="classes/Gen.html#M000038">sized (Gen)</a><br />
-    <a href="classes/RandomGen.html#M000084">split (RandomGen)</a><br />
-    <a href="classes/StdGen.html#M000016">split (StdGen)</a><br />
-    <a href="classes/TheStdGen.html#M000071">split (TheStdGen)</a><br />
-    <a href="classes/Testable.html#M000101">test (Testable)</a><br />
-    <a href="classes/RushCheckConfig.html#M000007">test_batch (RushCheckConfig)</a><br />
-    <a href="classes/Testable.html#M000103">testcase (Testable)</a><br />
-    <a href="classes/RushCheckConfig.html#M000006">tests (RushCheckConfig)</a><br />
-    <a href="classes/StdGen.html#M000018">to_s (StdGen)</a><br />
-    <a href="classes/Testable.html#M000104">trivial (Testable)</a><br />
-    <a href="classes/Gen.html#M000039">unit (Gen)</a><br />
-    <a href="classes/Gen.html#M000043">value (Gen)</a><br />
-    <a href="classes/Gen.html#M000048">variant (Gen)</a><br />
-    <a href="classes/Gen.html#M000040">vector (Gen)</a><br />
-    <a href="classes/RushCheckConfig.html#M000002">verbose (RushCheckConfig)</a><br />
-    <a href="classes/Testable.html#M000102">verbose_check (Testable)</a><br />
+    <a href="classes/String.html#M000026">arbitrary (String)</a><br />
+    <a href="classes/Integer.html#M000002">arbitrary (Integer)</a><br />
+    <a href="classes/RandomHash.html#M000013">arbitrary (RandomHash)</a><br />
+    <a href="classes/RushCheck/RandomBool.html#M000039">arbitrary (RushCheck::RandomBool)</a><br />
+    <a href="classes/SpecialString.html#M000005">arbitrary (SpecialString)</a><br />
+    <a href="classes/RushCheck/Arbitrary.html#M000035">arbitrary (RushCheck::Arbitrary)</a><br />
+    <a href="classes/RandomArray.html#M000010">arbitrary (RandomArray)</a><br />
+    <a href="classes/RandomProc.html#M000020">arbitrary (RandomProc)</a><br />
+    <a href="classes/Float.html#M000015">arbitrary (Float)</a><br />
+    <a href="classes/NilClass.html#M000023">arbitrary (NilClass)</a><br />
+    <a href="classes/RushCheck/Config.html#M000068">batch (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000088">bind (RushCheck::Gen)</a><br />
+    <a href="classes/Integer.html#M000001">bound (Integer)</a><br />
+    <a href="classes/Float.html#M000016">bound (Float)</a><br />
+    <a href="classes/TrueClass.html#M000030">bound (TrueClass)</a><br />
+    <a href="classes/FalseClass.html#M000006">bound (FalseClass)</a><br />
+    <a href="classes/String.html#M000027">bound (String)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000045">check (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000075">choose (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000048">classify (RushCheck::Testable)</a><br />
+    <a href="classes/FalseClass.html#M000007">coarbitrary (FalseClass)</a><br />
+    <a href="classes/TrueClass.html#M000031">coarbitrary (TrueClass)</a><br />
+    <a href="classes/RandomProc.html#M000021">coarbitrary (RandomProc)</a><br />
+    <a href="classes/NilClass.html#M000024">coarbitrary (NilClass)</a><br />
+    <a href="classes/RushCheck/Coarbitrary.html#M000058">coarbitrary (RushCheck::Coarbitrary)</a><br />
+    <a href="classes/Integer.html#M000004">coarbitrary (Integer)</a><br />
+    <a href="classes/RandomArray.html#M000011">coarbitrary (RandomArray)</a><br />
+    <a href="classes/RandomHash.html#M000014">coarbitrary (RandomHash)</a><br />
+    <a href="classes/String.html#M000029">coarbitrary (String)</a><br />
+    <a href="classes/Float.html#M000018">coarbitrary (Float)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000051">collect (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000077">create (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000076">create_by_gen (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/TestOptions.html#M000060">debug? (RushCheck::TestOptions)</a><br />
+    <a href="classes/RushCheck/Config.html#M000070">done (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000078">elements (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000090">fmap (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000091">forall (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000079">frequency (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/RandomGen.html#M000036">gen_next (RushCheck::RandomGen)</a><br />
+    <a href="classes/RushCheck/TheStdGen.html#M000102">gen_next (RushCheck::TheStdGen)</a><br />
+    <a href="classes/RushCheck/StdGen.html#M000062">gen_next (RushCheck::StdGen)</a><br />
+    <a href="classes/RushCheck/StdGen.html#M000064">gen_range (RushCheck::StdGen)</a><br />
+    <a href="classes/RushCheck/TheStdGen.html#M000104">gen_range (RushCheck::TheStdGen)</a><br />
+    <a href="classes/RushCheck/RandomGen.html#M000038">gen_range (RushCheck::RandomGen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000092">generate (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck.html#M000033">guard (RushCheck)</a><br />
+    <a href="classes/RushCheck.html#M000034">guard_raise (RushCheck)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000049">imply (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000050">label (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000080">lift_array (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Property.html#M000105">new (RushCheck::Property)</a><br />
+    <a href="classes/RushCheck/Config.html#M000069">new (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Assertion.html#M000073">new (RushCheck::Assertion)</a><br />
+    <a href="classes/RushCheck/TheStdGen.html#M000101">new (RushCheck::TheStdGen)</a><br />
+    <a href="classes/RushCheck/TestResult.html#M000100">new (RushCheck::TestResult)</a><br />
+    <a href="classes/RushCheck/TestFailed.html#M000099">new (RushCheck::TestFailed)</a><br />
+    <a href="classes/RushCheck/StdGen.html#M000061">new (RushCheck::StdGen)</a><br />
+    <a href="classes/RushCheck/TestOptions.html#M000059">new (RushCheck::TestOptions)</a><br />
+    <a href="classes/RushCheck/Result.html#M000096">new (RushCheck::Result)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000087">new (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Result.html#M000095">nothing (RushCheck::Result)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000081">oneof (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000082">promote (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000044">property (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Result.html#M000098">property (RushCheck::Result)</a><br />
+    <a href="classes/RandomProc.html#M000022">property (RandomProc)</a><br />
+    <a href="classes/FalseClass.html#M000008">property (FalseClass)</a><br />
+    <a href="classes/RushCheck/Property.html#M000106">property (RushCheck::Property)</a><br />
+    <a href="classes/TrueClass.html#M000032">property (TrueClass)</a><br />
+    <a href="classes/RushCheck/Assertion.html#M000074">property (RushCheck::Assertion)</a><br />
+    <a href="classes/NilClass.html#M000025">property (NilClass)</a><br />
+    <a href="classes/RushCheck/Config.html#M000066">quick (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000046">quick_check (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000047">quickcheck (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000083">rand (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/HsRandom.html#M000041">random (RushCheck::HsRandom)</a><br />
+    <a href="classes/RushCheck/HsRandom.html#M000042">random_array (RushCheck::HsRandom)</a><br />
+    <a href="classes/Float.html#M000017">random_range (Float)</a><br />
+    <a href="classes/Integer.html#M000003">random_range (Integer)</a><br />
+    <a href="classes/String.html#M000028">random_range (String)</a><br />
+    <a href="classes/RushCheck/RandomBool.html#M000040">random_range (RushCheck::RandomBool)</a><br />
+    <a href="classes/RushCheck/HsRandom.html#M000043">random_std (RushCheck::HsRandom)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000093">resize (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Result.html#M000097">result (RushCheck::Result)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000052">run (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000053">run_tests (RushCheck::Testable)</a><br />
+    <a href="classes/RandomProc.html#M000019">set_pattern (RandomProc)</a><br />
+    <a href="classes/RandomArray.html#M000009">set_pattern (RandomArray)</a><br />
+    <a href="classes/RandomHash.html#M000012">set_pattern (RandomHash)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000084">sized (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/RandomGen.html#M000037">split (RushCheck::RandomGen)</a><br />
+    <a href="classes/RushCheck/TheStdGen.html#M000103">split (RushCheck::TheStdGen)</a><br />
+    <a href="classes/RushCheck/StdGen.html#M000063">split (RushCheck::StdGen)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000054">test (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Config.html#M000072">test_batch (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000056">testcase (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Config.html#M000071">tests (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/StdGen.html#M000065">to_s (RushCheck::StdGen)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000057">trivial (RushCheck::Testable)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000085">unit (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000089">value (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000094">variant (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Gen.html#M000086">vector (RushCheck::Gen)</a><br />
+    <a href="classes/RushCheck/Config.html#M000067">verbose (RushCheck::Config)</a><br />
+    <a href="classes/RushCheck/Testable.html#M000055">verbose_check (RushCheck::Testable)</a><br />
   </div>
 </div>
 </body>