RubyGems - rushcheck - Versions diffs - 0.6 → 0.7 - Mend

rushcheck 0.6 → 0.7

Files changed (162) hide show

data/data/rushcheck/rdoc/classes/String.html CHANGED Viewed

@@ -86,10 +86,10 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000026">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000027">bound</a>&nbsp;&nbsp;
-      <a href="#M000029">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000028">random_range</a>&nbsp;&nbsp;
+      <a href="#M000034">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000035">bound</a>&nbsp;&nbsp;
+      <a href="#M000037">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000036">random_range</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000026" class="method-detail">
-        <a name="M000026"></a>
+      <div id="method-M000034" class="method-detail">
+        <a name="M000034"></a>
         <div class="method-heading">
-          <a href="String.src/M000026.html" target="Code" class="method-signature"
-            onclick="popupCode('String.src/M000026.html');return false;">
+          <a href="String.src/M000034.html" target="Code" class="method-signature"
+            onclick="popupCode('String.src/M000034.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
@@ -132,12 +132,12 @@
         </div>
       </div>
-      <div id="method-M000027" class="method-detail">
-        <a name="M000027"></a>
+      <div id="method-M000035" class="method-detail">
+        <a name="M000035"></a>
         <div class="method-heading">
-          <a href="String.src/M000027.html" target="Code" class="method-signature"
-            onclick="popupCode('String.src/M000027.html');return false;">
+          <a href="String.src/M000035.html" target="Code" class="method-signature"
+            onclick="popupCode('String.src/M000035.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
@@ -146,12 +146,12 @@
         </div>
       </div>
-      <div id="method-M000028" class="method-detail">
-        <a name="M000028"></a>
+      <div id="method-M000036" class="method-detail">
+        <a name="M000036"></a>
         <div class="method-heading">
-          <a href="String.src/M000028.html" target="Code" class="method-signature"
-            onclick="popupCode('String.src/M000028.html');return false;">
+          <a href="String.src/M000036.html" target="Code" class="method-signature"
+            onclick="popupCode('String.src/M000036.html');return false;">
           <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_range, hi=@@max_range)</span>
           </a>
         </div>
@@ -162,12 +162,12 @@
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000029" class="method-detail">
-        <a name="M000029"></a>
+      <div id="method-M000037" class="method-detail">
+        <a name="M000037"></a>
         <div class="method-heading">
-          <a href="String.src/M000029.html" target="Code" class="method-signature"
-            onclick="popupCode('String.src/M000029.html');return false;">
+          <a href="String.src/M000037.html" target="Code" class="method-signature"
+            onclick="popupCode('String.src/M000037.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/String.src/M000034.html ADDED Viewed

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>arbitrary (String)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 20</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
+    <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span><span class="ruby-operator">|</span>
+      <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">n</span>).<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">len</span><span class="ruby-operator">|</span>
+        <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">vector</span>(<span class="ruby-constant">Integer</span>, <span class="ruby-identifier">len</span>).<span class="ruby-identifier">fmap</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">xs</span><span class="ruby-operator">|</span>
+          <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">map</span>{<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> (<span class="ruby-identifier">x</span> <span class="ruby-operator">%</span> <span class="ruby-value">128</span>).<span class="ruby-identifier">chr</span>}.<span class="ruby-identifier">join</span>
+        <span class="ruby-keyword kw">end</span>
+      <span class="ruby-keyword kw">end</span>
+    <span class="ruby-keyword kw">end</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/String.src/M000035.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>bound (String)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 30</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
+    [<span class="ruby-ivar">@@min_range</span>, <span class="ruby-ivar">@@max_range</span>]
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/String.src/M000036.html ADDED Viewed

@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>random_range (String)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 34</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_range</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_range</span>)
+    <span class="ruby-identifier">len</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
+    <span class="ruby-identifier">result</span> = <span class="ruby-value str">''</span>
+    <span class="ruby-identifier">len</span>.<span class="ruby-identifier">times</span> <span class="ruby-keyword kw">do</span>
+      <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-value">0</span>, <span class="ruby-value">127</span>)
+      <span class="ruby-identifier">result</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">v</span>.<span class="ruby-identifier">chr</span>
+    <span class="ruby-keyword kw">end</span>
+    [<span class="ruby-identifier">result</span>. <span class="ruby-identifier">g</span>]
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/String.src/M000037.html ADDED Viewed

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (String)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 45</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
+    <span class="ruby-identifier">each_byte</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
+      <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
+    <span class="ruby-keyword kw">end</span>
+    <span class="ruby-identifier">r</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/TrueClass.html CHANGED Viewed

@@ -86,9 +86,9 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000030">bound</a>&nbsp;&nbsp;
-      <a href="#M000031">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000032">property</a>&nbsp;&nbsp;
+      <a href="#M000038">bound</a>&nbsp;&nbsp;
+      <a href="#M000039">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000040">property</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000030" class="method-detail">
-        <a name="M000030"></a>
+      <div id="method-M000038" class="method-detail">
+        <a name="M000038"></a>
         <div class="method-heading">
-          <a href="TrueClass.src/M000030.html" target="Code" class="method-signature"
-            onclick="popupCode('TrueClass.src/M000030.html');return false;">
+          <a href="TrueClass.src/M000038.html" target="Code" class="method-signature"
+            onclick="popupCode('TrueClass.src/M000038.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
@@ -134,12 +134,12 @@
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000031" class="method-detail">
-        <a name="M000031"></a>
+      <div id="method-M000039" class="method-detail">
+        <a name="M000039"></a>
         <div class="method-heading">
-          <a href="TrueClass.src/M000031.html" target="Code" class="method-signature"
-            onclick="popupCode('TrueClass.src/M000031.html');return false;">
+          <a href="TrueClass.src/M000039.html" target="Code" class="method-signature"
+            onclick="popupCode('TrueClass.src/M000039.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>
@@ -148,12 +148,12 @@
         </div>
       </div>
-      <div id="method-M000032" class="method-detail">
-        <a name="M000032"></a>
+      <div id="method-M000040" class="method-detail">
+        <a name="M000040"></a>
         <div class="method-heading">
-          <a href="TrueClass.src/M000032.html" target="Code" class="method-signature"
-            onclick="popupCode('TrueClass.src/M000032.html');return false;">
+          <a href="TrueClass.src/M000040.html" target="Code" class="method-signature"
+            onclick="popupCode('TrueClass.src/M000040.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/TrueClass.src/M000038.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>bound (TrueClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 35</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
+    [<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/TrueClass.src/M000039.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (TrueClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 39</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/TrueClass.src/M000040.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>property (TrueClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 43</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+    <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">self</span>).<span class="ruby-identifier">result</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/created.rid CHANGED Viewed

	@@ -1 +1 @@
1	- ~~Fri~~ Oct 13 02:41:06 JST 2006
1	+ Sun Oct 15 09:43:28 JST 2006

data/data/rushcheck/rdoc/files/rushcheck/array_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Wed Sep 27 17:14:56 JST 2006</td>
+      <td>Sun Oct 15 08:52:17 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Fri Oct 13 02:38:30 JST 2006</td>
+      <td>Fri Oct 13 12:55:00 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Sep 26 13:14:25 JST 2006</td>
+      <td>Sun Oct 15 08:28:06 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Sep 16 04:24:35 JST 2006</td>
+      <td>Sun Oct 15 08:47:45 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sun Oct 08 17:36:52 JST 2006</td>
+      <td>Sun Oct 15 08:27:28 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Thu Sep 28 05:24:47 JST 2006</td>
+      <td>Sun Oct 15 07:10:17 JST 2006</td>
     </tr>
     </table>
   </div>

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

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Sat Oct 07 12:32:29 JST 2006</td>
+      <td>Sun Oct 15 07:57:11 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/version_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Fri Oct 13 02:25:29 JST 2006</td>
+      <td>Fri Oct 13 03:12:04 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/fr_class_index.html CHANGED Viewed

@@ -23,7 +23,10 @@
     <a href="classes/FalseClass.html">FalseClass</a><br />
     <a href="classes/Float.html">Float</a><br />
     <a href="classes/Integer.html">Integer</a><br />
+    <a href="classes/NegativeInteger.html">NegativeInteger</a><br />
     <a href="classes/NilClass.html">NilClass</a><br />
+    <a href="classes/NonEmptyRandomArray.html">NonEmptyRandomArray</a><br />
+    <a href="classes/PositiveInteger.html">PositiveInteger</a><br />
     <a href="classes/RandomArray.html">RandomArray</a><br />
     <a href="classes/RandomHash.html">RandomHash</a><br />
     <a href="classes/RandomProc.html">RandomProc</a><br />

data/data/rushcheck/rdoc/fr_method_index.html CHANGED Viewed

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