rushcheck 0.2 → 0.3

data/data/rushcheck/rdoc/classes/Gen.html

@@ -93,24 +93,25 @@ instances.
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000037">bind</a>&nbsp;&nbsp;
+      <a href="#M000038">bind</a>&nbsp;&nbsp;
       <a href="#M000026">choose</a>&nbsp;&nbsp;
-      <a href="#M000027">elements</a>&nbsp;&nbsp;
-      <a href="#M000039">fmap</a>&nbsp;&nbsp;
-      <a href="#M000040">forall</a>&nbsp;&nbsp;
-      <a href="#M000028">frequency</a>&nbsp;&nbsp;
-      <a href="#M000041">generate</a>&nbsp;&nbsp;
-      <a href="#M000029">lift_array</a>&nbsp;&nbsp;
-      <a href="#M000036">new</a>&nbsp;&nbsp;
-      <a href="#M000030">oneof</a>&nbsp;&nbsp;
-      <a href="#M000031">promote</a>&nbsp;&nbsp;
-      <a href="#M000032">rand</a>&nbsp;&nbsp;
-      <a href="#M000042">resize</a>&nbsp;&nbsp;
-      <a href="#M000033">sized</a>&nbsp;&nbsp;
-      <a href="#M000034">unit</a>&nbsp;&nbsp;
-      <a href="#M000038">value</a>&nbsp;&nbsp;
-      <a href="#M000043">variant</a>&nbsp;&nbsp;
-      <a href="#M000035">vector</a>&nbsp;&nbsp;
+      <a href="#M000027">create</a>&nbsp;&nbsp;
+      <a href="#M000028">elements</a>&nbsp;&nbsp;
+      <a href="#M000040">fmap</a>&nbsp;&nbsp;
+      <a href="#M000041">forall</a>&nbsp;&nbsp;
+      <a href="#M000029">frequency</a>&nbsp;&nbsp;
+      <a href="#M000042">generate</a>&nbsp;&nbsp;
+      <a href="#M000030">lift_array</a>&nbsp;&nbsp;
+      <a href="#M000037">new</a>&nbsp;&nbsp;
+      <a href="#M000031">oneof</a>&nbsp;&nbsp;
+      <a href="#M000032">promote</a>&nbsp;&nbsp;
+      <a href="#M000033">rand</a>&nbsp;&nbsp;
+      <a href="#M000043">resize</a>&nbsp;&nbsp;
+      <a href="#M000034">sized</a>&nbsp;&nbsp;
+      <a href="#M000035">unit</a>&nbsp;&nbsp;
+      <a href="#M000039">value</a>&nbsp;&nbsp;
+      <a href="#M000044">variant</a>&nbsp;&nbsp;
+      <a href="#M000036">vector</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -158,6 +159,27 @@ implement arbitrary method into your class.
         <div class="method-heading">
           <a href="Gen.src/M000027.html" target="Code" class="method-signature"
             onclick="popupCode('Gen.src/M000027.html');return false;">
+          <span class="method-name">create</span><span class="method-args">(xs, &amp;f)</span>
+          </a>
+        </div>
+      
+        <div class="method-description">
+          <p>
+create is one of primitive generators to create a random <a
+href="Gen.html">Gen</a> object. create takes an array of <a
+href="Gen.html">Gen</a> objects, and any block to generate object. Then
+create returns a <a href="Gen.html">Gen</a> object. It may useful to
+implement arbitrary method into your class.
+</p>
+        </div>
+      </div>
+
+      <div id="method-M000028" class="method-detail">
+        <a name="M000028"></a>
+
+        <div class="method-heading">
+          <a href="Gen.src/M000028.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000028.html');return false;">
           <span class="method-name">elements</span><span class="method-args">(xs)</span>
           </a>
         </div>
@@ -172,12 +194,12 @@ randomly. It may useful to implement arbitrary method into your class.
         </div>
       </div>
 
-      <div id="method-M000028" class="method-detail">
-        <a name="M000028"></a>
+      <div id="method-M000029" class="method-detail">
+        <a name="M000029"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000028.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000028.html');return false;">
+          <a href="Gen.src/M000029.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000029.html');return false;">
           <span class="method-name">frequency</span><span class="method-args">(xs)</span>
           </a>
         </div>
@@ -190,44 +212,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
 should be a positive <a href="Integer.html">Integer</a> and the second one
 should be a <a href="Gen.html">Gen</a> object. The integer acts as a weight
 for choosing random <a href="Gen.html">Gen</a> object in the array. For
-example, frequency([[1, <a href="Gen.html#M000032">Gen.rand</a>], [2, <a
+example, frequency([[1, <a href="Gen.html#M000033">Gen.rand</a>], [2, <a
 href="Integer.html#M000007">Integer.arbitrary</a>]]) returns the random
-generator <a href="Gen.html#M000032">Gen.rand</a> in 33%, while another
+generator <a href="Gen.html#M000033">Gen.rand</a> in 33%, while another
 random generator of <a href="Integer.html">Integer</a> (<a
 href="Integer.html#M000007">Integer.arbitrary</a>) in 67%.
 </p>
         </div>
       </div>
 
-      <div id="method-M000029" class="method-detail">
-        <a name="M000029"></a>
+      <div id="method-M000030" class="method-detail">
+        <a name="M000030"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000029.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000029.html');return false;">
-          <span class="method-name">lift_array</span><span class="method-args">(ary) {|.value(n, r1)| ...}</span>
+          <a href="Gen.src/M000030.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000030.html');return false;">
+          <span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
           </a>
         </div>
       
         <div class="method-description">
           <p>
-<a href="Gen.html#M000029">lift_array</a> is one of primitive generators to
+<a href="Gen.html#M000030">lift_array</a> is one of primitive generators to
 create a randam <a href="Gen.html">Gen</a> object. <a
-href="Gen.html#M000029">lift_array</a> takes an array and a block which has
+href="Gen.html#M000030">lift_array</a> takes an array and a block which has
 a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
-href="Gen.html#M000029">lift_array</a> returns a <a href="Gen.html">Gen</a>
+href="Gen.html#M000030">lift_array</a> returns a <a href="Gen.html">Gen</a>
 object which generates an array of the result of given block for applying
 each member of given array.
 </p>
         </div>
       </div>
 
-      <div id="method-M000036" class="method-detail">
-        <a name="M000036"></a>
+      <div id="method-M000037" class="method-detail">
+        <a name="M000037"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000036.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000036.html');return false;">
+          <a href="Gen.src/M000037.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000037.html');return false;">
           <span class="method-name">new</span><span class="method-args">(&amp;f)</span>
           </a>
         </div>
@@ -242,12 +264,12 @@ href="RandomGen.html">RandomGen</a>.
         </div>
       </div>
 
-      <div id="method-M000030" class="method-detail">
-        <a name="M000030"></a>
+      <div id="method-M000031" class="method-detail">
+        <a name="M000031"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000030.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000030.html');return false;">
+          <a href="Gen.src/M000031.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000031.html');return false;">
           <span class="method-name">oneof</span><span class="method-args">(gens)</span>
           </a>
         </div>
@@ -263,12 +285,12 @@ randomly. It may useful to implement arbitrary method into your class.
         </div>
       </div>
 
-      <div id="method-M000031" class="method-detail">
-        <a name="M000031"></a>
+      <div id="method-M000032" class="method-detail">
+        <a name="M000032"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000031.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000031.html');return false;">
+          <a href="Gen.src/M000032.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000032.html');return false;">
           <span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
           </a>
         </div>
@@ -285,12 +307,12 @@ coarbitrary method into your class.
         </div>
       </div>
 
-      <div id="method-M000032" class="method-detail">
-        <a name="M000032"></a>
+      <div id="method-M000033" class="method-detail">
+        <a name="M000033"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000032.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000032.html');return false;">
+          <a href="Gen.src/M000033.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000033.html');return false;">
           <span class="method-name">rand</span><span class="method-args">()</span>
           </a>
         </div>
@@ -303,12 +325,12 @@ number generator.
         </div>
       </div>
 
-      <div id="method-M000033" class="method-detail">
-        <a name="M000033"></a>
+      <div id="method-M000034" class="method-detail">
+        <a name="M000034"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000033.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000033.html');return false;">
+          <a href="Gen.src/M000034.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000034.html');return false;">
           <span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
           </a>
         </div>
@@ -322,12 +344,12 @@ The block should be a function which changes the size of random instances.
         </div>
       </div>
 
-      <div id="method-M000034" class="method-detail">
-        <a name="M000034"></a>
+      <div id="method-M000035" class="method-detail">
+        <a name="M000035"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000034.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000034.html');return false;">
+          <a href="Gen.src/M000035.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000035.html');return false;">
           <span class="method-name">unit</span><span class="method-args">(x)</span>
           </a>
         </div>
@@ -341,12 +363,12 @@ href="Gen.html">Gen</a> object which generates the given object.
         </div>
       </div>
 
-      <div id="method-M000035" class="method-detail">
-        <a name="M000035"></a>
+      <div id="method-M000036" class="method-detail">
+        <a name="M000036"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000035.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000035.html');return false;">
+          <a href="Gen.src/M000036.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000036.html');return false;">
           <span class="method-name">vector</span><span class="method-args">(c, len)</span>
           </a>
         </div>
@@ -364,12 +386,12 @@ belongs the given class and given length.
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000037" class="method-detail">
-        <a name="M000037"></a>
+      <div id="method-M000038" class="method-detail">
+        <a name="M000038"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000037.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000037.html');return false;">
+          <a href="Gen.src/M000038.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000038.html');return false;">
           <span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
           </a>
         </div>
@@ -384,12 +406,12 @@ href="RandomGen.html">RandomGen</a>.
         </div>
       </div>
 
-      <div id="method-M000039" class="method-detail">
-        <a name="M000039"></a>
+      <div id="method-M000040" class="method-detail">
+        <a name="M000040"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000039.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000039.html');return false;">
+          <a href="Gen.src/M000040.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000040.html');return false;">
           <span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
           </a>
         </div>
@@ -402,12 +424,12 @@ which takes one variable.
         </div>
       </div>
 
-      <div id="method-M000040" class="method-detail">
-        <a name="M000040"></a>
+      <div id="method-M000041" class="method-detail">
+        <a name="M000041"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000040.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000040.html');return false;">
+          <a href="Gen.src/M000041.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000041.html');return false;">
           <span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
           </a>
         </div>
@@ -422,12 +444,12 @@ of the property.
         </div>
       </div>
 
-      <div id="method-M000041" class="method-detail">
-        <a name="M000041"></a>
+      <div id="method-M000042" class="method-detail">
+        <a name="M000042"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000041.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000041.html');return false;">
+          <a href="Gen.src/M000042.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000042.html');return false;">
           <span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
           </a>
         </div>
@@ -441,12 +463,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
         </div>
       </div>
 
-      <div id="method-M000042" class="method-detail">
-        <a name="M000042"></a>
+      <div id="method-M000043" class="method-detail">
+        <a name="M000043"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000042.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000042.html');return false;">
+          <a href="Gen.src/M000043.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000043.html');return false;">
           <span class="method-name">resize</span><span class="method-args">(n)</span>
           </a>
         </div>
@@ -460,12 +482,12 @@ href="Integer.html">Integer</a>.
         </div>
       </div>
 
-      <div id="method-M000038" class="method-detail">
-        <a name="M000038"></a>
+      <div id="method-M000039" class="method-detail">
+        <a name="M000039"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000038.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000038.html');return false;">
+          <a href="Gen.src/M000039.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000039.html');return false;">
           <span class="method-name">value</span><span class="method-args">(n, g)</span>
           </a>
         </div>
@@ -480,12 +502,12 @@ href="RandomGen.html">RandomGen</a>.
         </div>
       </div>
 
-      <div id="method-M000043" class="method-detail">
-        <a name="M000043"></a>
+      <div id="method-M000044" class="method-detail">
+        <a name="M000044"></a>
 
         <div class="method-heading">
-          <a href="Gen.src/M000043.html" target="Code" class="method-signature"
-            onclick="popupCode('Gen.src/M000043.html');return false;">
+          <a href="Gen.src/M000044.html" target="Code" class="method-signature"
+            onclick="popupCode('Gen.src/M000044.html');return false;">
           <span class="method-name">variant</span><span class="method-args">(v)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Gen.src/M000026.html

@@ -10,7 +10,7 @@
   <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/gen.rb, line 12</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 16</span>
   <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-identifier">lo</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-keyword kw">nil</span>)
     <span class="ruby-identifier">rand</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">lo</span>.<span class="ruby-identifier">class</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">x</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)[<span class="ruby-value">0</span>] }
   <span class="ruby-keyword kw">end</span></pre>

data/data/rushcheck/rdoc/classes/Gen.src/M000027.html

@@ -5,16 +5,39 @@
 
 <html>
 <head>
-  <title>elements (Gen)</title>
+  <title>create (Gen)</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/gen.rb, line 20</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">elements</span>(<span class="ruby-identifier">xs</span>)
-    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;given argument is empty&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">empty?</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 24</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">create</span>(<span class="ruby-identifier">xs</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
+    <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
+      <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
+      <span class="ruby-identifier">nguard</span> = <span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">length</span>
+      <span class="ruby-identifier">guards</span> = <span class="ruby-identifier">nguard</span> <span class="ruby-operator">&gt;=</span> <span class="ruby-value">0</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Array</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">nguard</span>, <span class="ruby-constant">Guard</span>.<span class="ruby-identifier">new</span>) <span class="ruby-operator">:</span> []
 
-    <span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>).<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span> <span class="ruby-identifier">xs</span>[<span class="ruby-identifier">i</span>] }
+      <span class="ruby-identifier">try</span> = <span class="ruby-value">0</span>
+      <span class="ruby-keyword kw">begin</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">try</span> <span class="ruby-operator">&gt;</span> <span class="ruby-ivar">@@max_create</span> 
+          <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;Failed to guards too many.&quot;</span>) 
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-identifier">args</span> = <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">gen</span><span class="ruby-operator">|</span>
+          <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
+          <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
+        <span class="ruby-keyword kw">end</span>
+        <span class="ruby-identifier">ys</span> = <span class="ruby-identifier">args</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">guards</span>
+        <span class="ruby-identifier">f</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">ys</span>)
+      <span class="ruby-keyword kw">rescue</span> <span class="ruby-constant">Exception</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">ex</span>
+        <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">ex</span>
+        <span class="ruby-keyword kw">when</span> <span class="ruby-constant">RushCheckGuard</span>
+          <span class="ruby-identifier">try</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
+          <span class="ruby-keyword kw">retry</span>
+        <span class="ruby-keyword kw">else</span>
+          <span class="ruby-identifier">raise</span>(<span class="ruby-identifier">ex</span>, <span class="ruby-identifier">ex</span>.<span class="ruby-identifier">to_s</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/Gen.src/M000028.html

@@ -5,24 +5,16 @@
 
 <html>
 <head>
-  <title>frequency (Gen)</title>
+  <title>elements (Gen)</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/gen.rb, line 34</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">frequency</span>(<span class="ruby-identifier">xs</span>)
-    <span class="ruby-identifier">tot</span> = <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">inject</span>(<span class="ruby-value">0</span>) {<span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">pair</span><span class="ruby-operator">|</span> <span class="ruby-identifier">r</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]}
-    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-node">&quot;Illegal frequency:#{xs.inspect}&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">tot</span> <span class="ruby-operator">==</span> <span class="ruby-value">0</span>
-    <span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">tot</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>).<span class="ruby-identifier">bind</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-identifier">m</span> = <span class="ruby-identifier">n</span>
-      <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">pair</span><span class="ruby-operator">|</span>
-        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">m</span> <span class="ruby-operator">&lt;=</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]
-        <span class="ruby-keyword kw">then</span> <span class="ruby-keyword kw">break</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">1</span>]
-        <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">m</span> <span class="ruby-operator">-=</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]
-        <span class="ruby-keyword kw">end</span>
-      <span class="ruby-keyword kw">end</span>
-    <span class="ruby-keyword kw">end</span> 
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 57</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">elements</span>(<span class="ruby-identifier">xs</span>)
+    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;given argument is empty&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">empty?</span>
+
+    <span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>).<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span> <span class="ruby-identifier">xs</span>[<span class="ruby-identifier">i</span>] }
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/Gen.src/M000029.html

@@ -5,20 +5,24 @@
 
 <html>
 <head>
-  <title>lift_array (Gen)</title>
+  <title>frequency (Gen)</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/gen.rb, line 53</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">lift_array</span>(<span class="ruby-identifier">ary</span>)
-    <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
-      <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
-      <span class="ruby-identifier">ary</span>.<span class="ruby-identifier">map</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">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>.<span class="ruby-identifier">split</span>
-        <span class="ruby-keyword kw">yield</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 71</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">frequency</span>(<span class="ruby-identifier">xs</span>)
+    <span class="ruby-identifier">tot</span> = <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">inject</span>(<span class="ruby-value">0</span>) {<span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">pair</span><span class="ruby-operator">|</span> <span class="ruby-identifier">r</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]}
+    <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-node">&quot;Illegal frequency:#{xs.inspect}&quot;</span>) <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">tot</span> <span class="ruby-operator">==</span> <span class="ruby-value">0</span>
+    <span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">tot</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>).<span class="ruby-identifier">bind</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-identifier">m</span> = <span class="ruby-identifier">n</span>
+      <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">pair</span><span class="ruby-operator">|</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">m</span> <span class="ruby-operator">&lt;=</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]
+        <span class="ruby-keyword kw">then</span> <span class="ruby-keyword kw">break</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">1</span>]
+        <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">m</span> <span class="ruby-operator">-=</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</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> 
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/Gen.src/M000030.html

@@ -5,14 +5,20 @@
 
 <html>
 <head>
-  <title>oneof (Gen)</title>
+  <title>lift_array (Gen)</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/gen.rb, line 67</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">gens</span>)
-    <span class="ruby-identifier">elements</span>(<span class="ruby-identifier">gens</span>).<span class="ruby-identifier">bind</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">x</span>}
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 90</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">lift_array</span>(<span class="ruby-identifier">xs</span>)
+    <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
+      <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
+      <span class="ruby-identifier">xs</span>.<span class="ruby-identifier">map</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">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
+        <span class="ruby-keyword kw">yield</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</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/Gen.src/M000031.html

@@ -5,14 +5,14 @@
 
 <html>
 <head>
-  <title>promote (Gen)</title>
+  <title>oneof (Gen)</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/gen.rb, line 77</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">promote</span>
-    <span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span> <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">yield</span>(<span class="ruby-identifier">a</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) } }
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 104</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">gens</span>)
+    <span class="ruby-identifier">elements</span>(<span class="ruby-identifier">gens</span>).<span class="ruby-identifier">bind</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-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/Gen.src/M000032.html

@@ -5,14 +5,14 @@
 
 <html>
 <head>
-  <title>rand (Gen)</title>
+  <title>promote (Gen)</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/gen.rb, line 83</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">rand</span>
-    <span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span> <span class="ruby-identifier">r</span>}
+  <pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 114</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">promote</span>
+    <span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span> <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">yield</span>(<span class="ruby-identifier">a</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) } }
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>