rushcheck 0.4 → 0.5

data/Rakefile

@@ -6,12 +6,10 @@ require 'rubygems'
 require 'rake'
 require 'rake/gempackagetask'
 
-RUSHCHECK_VERSION = '0.4'
-
 spec = Gem::Specification.new do |s|
   s.name      = 'rushcheck'
   s.summary   = "A lightweight random testing tool"
-  s.version   = RUSHCHECK_VERSION
+  s.version   = "0.5"
   s.author    = 'Daisuke IKEGAMI'
   s.email     = 'ikegami@madscientist.jp'
   s.homepage  = 'http://rushcheck.rubyforge.org'

data/Rakefile.in

@@ -0,0 +1,37 @@
+# Rakefile for RushCheck
+#
+#
+
+require 'rubygems'
+require 'rake'
+require 'rake/gempackagetask'
+
+spec = Gem::Specification.new do |s|
+  s.name      = 'rushcheck'
+  s.summary   = "A lightweight random testing tool"
+  s.version   = "@VERSION@"
+  s.author    = 'Daisuke IKEGAMI'
+  s.email     = 'ikegami@madscientist.jp'
+  s.homepage  = 'http://rushcheck.rubyforge.org'
+  s.platform  = Gem::Platform::RUBY
+  
+  s.has_rdoc  = true
+  # s.test_file = 
+
+  s.require_path = 'lib'
+  s.autorequire  = 'rushcheck'
+  s.bindir       = 'bin'
+  # s.executable = 
+  # s.extra_rdoc_files = 
+  s.files = FileList['lib/**/*', 'data/**/**/*', 
+                     '[A-Z]*', 'copying.txt'].to_a
+  s.description = <<-EOF
+    RushCheck is a random testing tool which is one of implementations
+    of QuichCheck in Haskell.
+  EOF
+end
+
+Rake::GemPackageTask.new(spec) do |pkg|
+  pkg.need_zip = true
+  pkg.need_tar = true
+end

data/data/rushcheck/doc/rushcheck.thtml

@@ -12,6 +12,7 @@ h1. Index
 # <a href="#Getting start">Getting start</a>
 ## <a href="#install by RubyGems">(Option 1.) install by RubyGems</a>
 ## <a href="#using setup.rb after download source codes">(Option 2.) using setup.rb after download source codes</a>
+## <a href="#darcs repository">darcs repository</a>
 # <a href="#Tutorial for writing testcase">Tutorial for writing testcase</a>
 ## <a href="#At first, we have to require the library.">At first, we have to require the library.</a>
 ## <a href="#Start writing testcases">Start writing testcases</a>
@@ -69,6 +70,25 @@ See also the following;
 
 <pre>% setup.rb help</pre>
 
+h2. <a name="darcs repository">(Developer's another option)darcs repository</a>
+
+Our darcs repository is provided for developer RushCheck itself, and skip this
+section if you want to only use RushCheck!
+If you have an interest to our development version (not yet shipped), then try to access our darcs repository.
+darcs is a version control system and can be easily installed from
+"the darcs page":http://abridgegame.org/darcs/. After installing
+darcs, you can get the current development of RushCheck by following:
+
+<pre>
+% darcs get --partial http://rushcheck.rubyforge.org/repos/rushcheck
+</pre>
+
+After darcs getting, you can get the newest files whenever you want to
+type
+<pre>
+% darcs pull -a
+</pre>
+
 h1. <a name="Tutorial for writing testcase">Tutorial for writing testcase</a>
 
 h2. <a name="At first, we have to require the library.">At first, we have to require the library.</a>

data/data/rushcheck/rdoc/classes/FalseClass.html

@@ -86,9 +86,9 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000022">bound</a>&nbsp;&nbsp;
-      <a href="#M000023">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000024">property</a>&nbsp;&nbsp;
+      <a href="#M000006">bound</a>&nbsp;&nbsp;
+      <a href="#M000007">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000008">property</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -100,8 +100,8 @@
       <h3 class="section-bar">Included Modules</h3>
 
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
-        <span class="include-name"><a href="Testable.html">Testable</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Testable.html">RushCheck::Testable</a></span>
       </div>
     </div>
 
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000022" class="method-detail">
-        <a name="M000022"></a>
+      <div id="method-M000006" class="method-detail">
+        <a name="M000006"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000022.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000022.html');return false;">
+          <a href="FalseClass.src/M000006.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000006.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-M000023" class="method-detail">
-        <a name="M000023"></a>
+      <div id="method-M000007" class="method-detail">
+        <a name="M000007"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000023.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000023.html');return false;">
+          <a href="FalseClass.src/M000007.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000007.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-M000024" class="method-detail">
-        <a name="M000024"></a>
+      <div id="method-M000008" class="method-detail">
+        <a name="M000008"></a>
 
         <div class="method-heading">
-          <a href="FalseClass.src/M000024.html" target="Code" class="method-signature"
-            onclick="popupCode('FalseClass.src/M000024.html');return false;">
+          <a href="FalseClass.src/M000008.html" target="Code" class="method-signature"
+            onclick="popupCode('FalseClass.src/M000008.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000006.html

@@ -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 (FalseClass)</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 61</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/FalseClass.src/M000007.html

@@ -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 (FalseClass)</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 65</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">1</span>)
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html

@@ -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 (FalseClass)</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 69</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/classes/Float.html

@@ -86,10 +86,10 @@
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000052">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000053">bound</a>&nbsp;&nbsp;
-      <a href="#M000055">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000054">random_range</a>&nbsp;&nbsp;
+      <a href="#M000015">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000016">bound</a>&nbsp;&nbsp;
+      <a href="#M000018">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000017">random_range</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -101,7 +101,7 @@
       <h3 class="section-bar">Included Modules</h3>
 
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
       </div>
     </div>
 
@@ -118,12 +118,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000052" class="method-detail">
-        <a name="M000052"></a>
+      <div id="method-M000015" class="method-detail">
+        <a name="M000015"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000052.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000052.html');return false;">
+          <a href="Float.src/M000015.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000015.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-M000053" class="method-detail">
-        <a name="M000053"></a>
+      <div id="method-M000016" class="method-detail">
+        <a name="M000016"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000053.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000053.html');return false;">
+          <a href="Float.src/M000016.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000016.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-M000054" class="method-detail">
-        <a name="M000054"></a>
+      <div id="method-M000017" class="method-detail">
+        <a name="M000017"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000054.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000054.html');return false;">
+          <a href="Float.src/M000017.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000017.html');return false;">
           <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
           </a>
         </div>
@@ -162,12 +162,12 @@
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000055" class="method-detail">
-        <a name="M000055"></a>
+      <div id="method-M000018" class="method-detail">
+        <a name="M000018"></a>
 
         <div class="method-heading">
-          <a href="Float.src/M000055.html" target="Code" class="method-signature"
-            onclick="popupCode('Float.src/M000055.html');return false;">
+          <a href="Float.src/M000018.html" target="Code" class="method-signature"
+            onclick="popupCode('Float.src/M000018.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/Float.src/M000015.html

@@ -0,0 +1,21 @@
+<?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 (Float)</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/float.rb, line 18</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">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">a</span>, <span class="ruby-identifier">b</span>, <span class="ruby-identifier">c</span> = (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">3</span>).<span class="ruby-identifier">map</span> { <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>) }
+      <span class="ruby-identifier">a</span> <span class="ruby-operator">+</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">c</span>.<span class="ruby-identifier">abs</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>))
+    <span class="ruby-keyword kw">end</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Float.src/M000016.html

@@ -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 (Float)</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/float.rb, line 25</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/Float.src/M000017.html

@@ -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>random_range (Float)</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/float.rb, line 29</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_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
+    <span class="ruby-identifier">x</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">a</span>, <span class="ruby-identifier">b</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">bound</span>
+    <span class="ruby-identifier">r</span> = (<span class="ruby-identifier">lo</span><span class="ruby-operator">+</span><span class="ruby-identifier">hi</span><span class="ruby-operator">/</span><span class="ruby-value">2</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">+</span> ((<span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">a</span>) <span class="ruby-operator">*</span> <span class="ruby-identifier">x</span>)
+
+    [<span class="ruby-identifier">r</span>, <span class="ruby-identifier">g</span>]
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Float.src/M000018.html

@@ -0,0 +1,20 @@
+<?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 (Float)</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/float.rb, line 37</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">h</span> = <span class="ruby-identifier">truncate</span>
+    <span class="ruby-identifier">t</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">*</span> (<span class="ruby-value">10</span> <span class="ruby-operator">**</span> ((<span class="ruby-keyword kw">self</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">h</span>).<span class="ruby-identifier">to_s</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">2</span>))).<span class="ruby-identifier">truncate</span>
+    <span class="ruby-identifier">h</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">t</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>))
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/Integer.html

@@ -80,10 +80,9 @@
 
     <div id="description">
       <p>
-ruby&#8217;s <a href="Integer.html">Integer</a> class is extended to use
-RushCheck library. See also <a href="HsRandom.html">HsRandom</a>, <a
-href="Arbitrary.html">Arbitrary</a> and <a
-href="Coarbitrary.html">Coarbitrary</a>.
+ruby&#8217;s <a href="Integer.html">Integer</a> class is extended to use <a
+href="RushCheck.html">RushCheck</a> library. See also HsRandom, Arbitrary
+and Coarbitrary.
 </p>
 
     </div>
@@ -95,10 +94,10 @@ href="Coarbitrary.html">Coarbitrary</a>.
       <h3 class="section-bar">Methods</h3>
 
       <div class="name-list">
-      <a href="#M000011">arbitrary</a>&nbsp;&nbsp;
-      <a href="#M000010">bound</a>&nbsp;&nbsp;
-      <a href="#M000013">coarbitrary</a>&nbsp;&nbsp;
-      <a href="#M000012">random_range</a>&nbsp;&nbsp;
+      <a href="#M000002">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000001">bound</a>&nbsp;&nbsp;
+      <a href="#M000004">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000003">random_range</a>&nbsp;&nbsp;
       </div>
     </div>
 
@@ -110,7 +109,7 @@ href="Coarbitrary.html">Coarbitrary</a>.
       <h3 class="section-bar">Included Modules</h3>
 
       <div id="includes-list">
-        <span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
+        <span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
       </div>
     </div>
 
@@ -127,72 +126,72 @@ href="Coarbitrary.html">Coarbitrary</a>.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
 
-      <div id="method-M000011" class="method-detail">
-        <a name="M000011"></a>
+      <div id="method-M000002" class="method-detail">
+        <a name="M000002"></a>
 
         <div class="method-heading">
-          <a href="Integer.src/M000011.html" target="Code" class="method-signature"
-            onclick="popupCode('Integer.src/M000011.html');return false;">
+          <a href="Integer.src/M000002.html" target="Code" class="method-signature"
+            onclick="popupCode('Integer.src/M000002.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>
       
         <div class="method-description">
           <p>
-this method is needed to use <a href="Arbitrary.html">Arbitrary</a>.
+this method is needed to use Arbitrary.
 </p>
         </div>
       </div>
 
-      <div id="method-M000010" class="method-detail">
-        <a name="M000010"></a>
+      <div id="method-M000001" class="method-detail">
+        <a name="M000001"></a>
 
         <div class="method-heading">
-          <a href="Integer.src/M000010.html" target="Code" class="method-signature"
-            onclick="popupCode('Integer.src/M000010.html');return false;">
+          <a href="Integer.src/M000001.html" target="Code" class="method-signature"
+            onclick="popupCode('Integer.src/M000001.html');return false;">
           <span class="method-name">bound</span><span class="method-args">()</span>
           </a>
         </div>
       
         <div class="method-description">
           <p>
-this method is needed to include <a href="HsRandom.html">HsRandom</a>.
+this method is needed to include HsRandom.
 </p>
         </div>
       </div>
 
-      <div id="method-M000012" class="method-detail">
-        <a name="M000012"></a>
+      <div id="method-M000003" class="method-detail">
+        <a name="M000003"></a>
 
         <div class="method-heading">
-          <a href="Integer.src/M000012.html" target="Code" class="method-signature"
-            onclick="popupCode('Integer.src/M000012.html');return false;">
+          <a href="Integer.src/M000003.html" target="Code" class="method-signature"
+            onclick="popupCode('Integer.src/M000003.html');return false;">
           <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
           </a>
         </div>
       
         <div class="method-description">
           <p>
-this method is needed to include <a href="HsRandom.html">HsRandom</a>.
+this method is needed to include HsRandom.
 </p>
         </div>
       </div>
 
       <h3 class="section-bar">Public Instance methods</h3>
 
-      <div id="method-M000013" class="method-detail">
-        <a name="M000013"></a>
+      <div id="method-M000004" class="method-detail">
+        <a name="M000004"></a>
 
         <div class="method-heading">
-          <a href="Integer.src/M000013.html" target="Code" class="method-signature"
-            onclick="popupCode('Integer.src/M000013.html');return false;">
+          <a href="Integer.src/M000004.html" target="Code" class="method-signature"
+            onclick="popupCode('Integer.src/M000004.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>
       
         <div class="method-description">
           <p>
-this method is needed to use <a href="Coarbitrary.html">Coarbitrary</a>.
+this method is needed to use Coarbitrary.
 </p>
         </div>
       </div>