rushcheck 0.3 → 0.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/Rakefile +1 -1
- data/data/rushcheck/doc/policy.txt +107 -0
- data/data/rushcheck/doc/rushcheck.thtml +832 -0
- data/data/rushcheck/examples/candy.rb +6 -8
- data/data/rushcheck/examples/printf.rb +3 -3
- data/data/rushcheck/examples/proc.rb +4 -4
- data/data/rushcheck/examples/roguetile.rb +16 -16
- data/data/rushcheck/examples/sample.rb +10 -10
- data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Arbitrary.src/M000082.html +18 -0
- data/data/rushcheck/rdoc/classes/Assertion.html +11 -11
- data/data/rushcheck/rdoc/classes/Assertion.src/M000019.html +20 -0
- data/data/rushcheck/rdoc/classes/Assertion.src/M000020.html +50 -0
- data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000022.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000023.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000024.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +20 -20
- data/data/rushcheck/rdoc/classes/Float.src/M000052.html +21 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000053.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000054.html +22 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000055.html +20 -0
- data/data/rushcheck/rdoc/classes/Gen.html +102 -102
- data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +29 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +6 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +14 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +4 -7
- data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +4 -9
- data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +7 -5
- data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000045.html +23 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000046.html +19 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000047.html +18 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000048.html +24 -0
- data/data/rushcheck/rdoc/classes/Guard.html +10 -10
- data/data/rushcheck/rdoc/classes/Guard.src/M000028.html +27 -0
- data/data/rushcheck/rdoc/classes/Guard.src/M000029.html +18 -0
- data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000088.html +22 -0
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000089.html +32 -0
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000090.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.html +20 -20
- data/data/rushcheck/rdoc/classes/Integer.src/M000010.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000011.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000012.html +21 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000013.html +19 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
- data/data/rushcheck/rdoc/classes/NilClass.src/M000064.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000065.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000066.html +18 -0
- data/data/rushcheck/rdoc/classes/Property.html +10 -10
- data/data/rushcheck/rdoc/classes/Property.src/M000077.html +26 -0
- data/data/rushcheck/rdoc/classes/Property.src/M000078.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.html +15 -15
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000025.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000026.html +35 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000027.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000086.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000087.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000083.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000084.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000085.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000049.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000050.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000051.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000060.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000061.html +30 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000062.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000063.html +20 -0
- data/data/rushcheck/rdoc/classes/Result.html +19 -19
- data/data/rushcheck/rdoc/classes/Result.src/M000056.html +18 -0
- data/data/rushcheck/rdoc/classes/Result.src/M000057.html +18 -0
- data/data/rushcheck/rdoc/classes/Result.src/M000058.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheckConfig.html +41 -11
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +1 -1
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +1 -1
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +8 -4
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +4 -24
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +22 -39
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000006.html +55 -0
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000007.html +50 -0
- data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
- data/data/rushcheck/rdoc/classes/SpecialString.src/M000021.html +37 -0
- data/data/rushcheck/rdoc/classes/StdGen.html +27 -27
- data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +9 -4
- data/data/rushcheck/rdoc/classes/StdGen.src/M000015.html +21 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000016.html +21 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000017.html +18 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000018.html +18 -0
- data/data/rushcheck/rdoc/classes/String.html +20 -20
- data/data/rushcheck/rdoc/classes/String.src/M000073.html +24 -0
- data/data/rushcheck/rdoc/classes/String.src/M000074.html +18 -0
- data/data/rushcheck/rdoc/classes/String.src/M000075.html +25 -0
- data/data/rushcheck/rdoc/classes/String.src/M000076.html +22 -0
- data/data/rushcheck/rdoc/classes/TestExausted.html +113 -0
- data/data/rushcheck/rdoc/classes/TestFailed.html +155 -0
- data/data/rushcheck/rdoc/classes/TestFailed.src/M000067.html +18 -0
- data/data/rushcheck/rdoc/classes/TestOk.html +113 -0
- data/data/rushcheck/rdoc/classes/TestOptions.html +180 -0
- data/data/rushcheck/rdoc/classes/TestOptions.src/M000008.html +18 -0
- data/data/rushcheck/rdoc/classes/TestOptions.src/M000009.html +18 -0
- data/data/rushcheck/rdoc/classes/TestResult.html +164 -0
- data/data/rushcheck/rdoc/classes/TestResult.src/M000068.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.html +96 -51
- data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000096.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000097.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000099.html +19 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000100.html +21 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000101.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000103.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000104.html +18 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000069.html +18 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000070.html +20 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000071.html +21 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000072.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000079.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000080.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000081.html +18 -0
- data/data/rushcheck/rdoc/created.rid +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +8 -1
- data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +3 -1
- data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +109 -0
- data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +105 -0
- data/data/rushcheck/rdoc/files/rushcheck_rb.html +127 -0
- data/data/rushcheck/rdoc/fr_class_index.html +5 -0
- data/data/rushcheck/rdoc/fr_file_index.html +3 -1
- data/data/rushcheck/rdoc/fr_method_index.html +103 -94
- data/lib/rushcheck/arbitrary.rb +16 -12
- data/lib/rushcheck/array.rb +7 -6
- data/lib/rushcheck/assertion.rb +53 -50
- data/lib/rushcheck/bool.rb +26 -24
- data/lib/rushcheck/config.rb +131 -81
- data/lib/rushcheck/float.rb +4 -4
- data/lib/rushcheck/gen.rb +194 -182
- data/lib/rushcheck/guard.rb +9 -10
- data/lib/rushcheck/hash.rb +4 -3
- data/lib/rushcheck/integer.rb +11 -6
- data/lib/rushcheck/proc.rb +7 -7
- data/lib/rushcheck/property.rb +19 -15
- data/lib/rushcheck/random.rb +162 -159
- data/lib/rushcheck/result.rb +16 -12
- data/lib/rushcheck/string.rb +12 -12
- data/lib/rushcheck/testable.rb +99 -25
- data/lib/rushcheck/testoptions.rb +20 -0
- data/lib/rushcheck/testresult.rb +25 -0
- data/lib/{rushcheck/rushcheck.rb → rushcheck.rb} +2 -1
- metadata +93 -4
- data/data/rushcheck/doc/rushcheck.txt +0 -670
|
@@ -86,10 +86,10 @@
|
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
|
87
87
|
|
|
88
88
|
<div class="name-list">
|
|
89
|
-
<a href="#
|
|
90
|
-
<a href="#
|
|
91
|
-
<a href="#
|
|
92
|
-
<a href="#
|
|
89
|
+
<a href="#M000052">arbitrary</a>
|
|
90
|
+
<a href="#M000053">bound</a>
|
|
91
|
+
<a href="#M000055">coarbitrary</a>
|
|
92
|
+
<a href="#M000054">random_range</a>
|
|
93
93
|
</div>
|
|
94
94
|
</div>
|
|
95
95
|
|
|
@@ -118,12 +118,12 @@
|
|
|
118
118
|
<div id="methods">
|
|
119
119
|
<h3 class="section-bar">Public Class methods</h3>
|
|
120
120
|
|
|
121
|
-
<div id="method-
|
|
122
|
-
<a name="
|
|
121
|
+
<div id="method-M000052" class="method-detail">
|
|
122
|
+
<a name="M000052"></a>
|
|
123
123
|
|
|
124
124
|
<div class="method-heading">
|
|
125
|
-
<a href="Float.src/
|
|
126
|
-
onclick="popupCode('Float.src/
|
|
125
|
+
<a href="Float.src/M000052.html" target="Code" class="method-signature"
|
|
126
|
+
onclick="popupCode('Float.src/M000052.html');return false;">
|
|
127
127
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
|
128
128
|
</a>
|
|
129
129
|
</div>
|
|
@@ -132,12 +132,12 @@
|
|
|
132
132
|
</div>
|
|
133
133
|
</div>
|
|
134
134
|
|
|
135
|
-
<div id="method-
|
|
136
|
-
<a name="
|
|
135
|
+
<div id="method-M000053" class="method-detail">
|
|
136
|
+
<a name="M000053"></a>
|
|
137
137
|
|
|
138
138
|
<div class="method-heading">
|
|
139
|
-
<a href="Float.src/
|
|
140
|
-
onclick="popupCode('Float.src/
|
|
139
|
+
<a href="Float.src/M000053.html" target="Code" class="method-signature"
|
|
140
|
+
onclick="popupCode('Float.src/M000053.html');return false;">
|
|
141
141
|
<span class="method-name">bound</span><span class="method-args">()</span>
|
|
142
142
|
</a>
|
|
143
143
|
</div>
|
|
@@ -146,12 +146,12 @@
|
|
|
146
146
|
</div>
|
|
147
147
|
</div>
|
|
148
148
|
|
|
149
|
-
<div id="method-
|
|
150
|
-
<a name="
|
|
149
|
+
<div id="method-M000054" class="method-detail">
|
|
150
|
+
<a name="M000054"></a>
|
|
151
151
|
|
|
152
152
|
<div class="method-heading">
|
|
153
|
-
<a href="Float.src/
|
|
154
|
-
onclick="popupCode('Float.src/
|
|
153
|
+
<a href="Float.src/M000054.html" target="Code" class="method-signature"
|
|
154
|
+
onclick="popupCode('Float.src/M000054.html');return false;">
|
|
155
155
|
<span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
|
|
156
156
|
</a>
|
|
157
157
|
</div>
|
|
@@ -162,12 +162,12 @@
|
|
|
162
162
|
|
|
163
163
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
164
164
|
|
|
165
|
-
<div id="method-
|
|
166
|
-
<a name="
|
|
165
|
+
<div id="method-M000055" class="method-detail">
|
|
166
|
+
<a name="M000055"></a>
|
|
167
167
|
|
|
168
168
|
<div class="method-heading">
|
|
169
|
-
<a href="Float.src/
|
|
170
|
-
onclick="popupCode('Float.src/
|
|
169
|
+
<a href="Float.src/M000055.html" target="Code" class="method-signature"
|
|
170
|
+
onclick="popupCode('Float.src/M000055.html');return false;">
|
|
171
171
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
|
172
172
|
</a>
|
|
173
173
|
</div>
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>arbitrary (Float)</title>
|
|
9
|
+
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
|
+
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
|
+
</head>
|
|
12
|
+
<body class="standalone-code">
|
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 18</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
|
|
15
|
+
<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>
|
|
16
|
+
<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>) }
|
|
17
|
+
<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>))
|
|
18
|
+
<span class="ruby-keyword kw">end</span>
|
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
20
|
+
</body>
|
|
21
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>bound (Float)</title>
|
|
9
|
+
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
|
+
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
|
+
</head>
|
|
12
|
+
<body class="standalone-code">
|
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 25</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
|
|
15
|
+
[<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>random_range (Float)</title>
|
|
9
|
+
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
|
+
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
|
+
</head>
|
|
12
|
+
<body class="standalone-code">
|
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 29</span>
|
|
14
|
+
<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>)
|
|
15
|
+
<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>)
|
|
16
|
+
<span class="ruby-identifier">a</span>, <span class="ruby-identifier">b</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">bound</span>
|
|
17
|
+
<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>)
|
|
18
|
+
|
|
19
|
+
[<span class="ruby-identifier">r</span>, <span class="ruby-identifier">g</span>]
|
|
20
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
21
|
+
</body>
|
|
22
|
+
</html>
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>coarbitrary (Float)</title>
|
|
9
|
+
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
|
+
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
|
+
</head>
|
|
12
|
+
<body class="standalone-code">
|
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/float.rb, line 37</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
|
|
15
|
+
<span class="ruby-identifier">h</span> = <span class="ruby-identifier">truncate</span>
|
|
16
|
+
<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>
|
|
17
|
+
<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>))
|
|
18
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
19
|
+
</body>
|
|
20
|
+
</html>
|
|
@@ -93,25 +93,25 @@ instances.
|
|
|
93
93
|
<h3 class="section-bar">Methods</h3>
|
|
94
94
|
|
|
95
95
|
<div class="name-list">
|
|
96
|
-
<a href="#
|
|
97
|
-
<a href="#
|
|
98
|
-
<a href="#
|
|
99
|
-
<a href="#
|
|
100
|
-
<a href="#
|
|
101
|
-
<a href="#
|
|
102
|
-
<a href="#
|
|
103
|
-
<a href="#
|
|
104
|
-
<a href="#
|
|
105
|
-
<a href="#
|
|
106
|
-
<a href="#
|
|
107
|
-
<a href="#
|
|
108
|
-
<a href="#
|
|
109
|
-
<a href="#
|
|
110
|
-
<a href="#
|
|
111
|
-
<a href="#
|
|
112
|
-
<a href="#
|
|
113
|
-
<a href="#
|
|
114
|
-
<a href="#
|
|
96
|
+
<a href="#M000042">bind</a>
|
|
97
|
+
<a href="#M000030">choose</a>
|
|
98
|
+
<a href="#M000031">create</a>
|
|
99
|
+
<a href="#M000032">elements</a>
|
|
100
|
+
<a href="#M000044">fmap</a>
|
|
101
|
+
<a href="#M000045">forall</a>
|
|
102
|
+
<a href="#M000033">frequency</a>
|
|
103
|
+
<a href="#M000046">generate</a>
|
|
104
|
+
<a href="#M000034">lift_array</a>
|
|
105
|
+
<a href="#M000041">new</a>
|
|
106
|
+
<a href="#M000035">oneof</a>
|
|
107
|
+
<a href="#M000036">promote</a>
|
|
108
|
+
<a href="#M000037">rand</a>
|
|
109
|
+
<a href="#M000047">resize</a>
|
|
110
|
+
<a href="#M000038">sized</a>
|
|
111
|
+
<a href="#M000039">unit</a>
|
|
112
|
+
<a href="#M000043">value</a>
|
|
113
|
+
<a href="#M000048">variant</a>
|
|
114
|
+
<a href="#M000040">vector</a>
|
|
115
115
|
</div>
|
|
116
116
|
</div>
|
|
117
117
|
|
|
@@ -133,12 +133,12 @@ instances.
|
|
|
133
133
|
<div id="methods">
|
|
134
134
|
<h3 class="section-bar">Public Class methods</h3>
|
|
135
135
|
|
|
136
|
-
<div id="method-
|
|
137
|
-
<a name="
|
|
136
|
+
<div id="method-M000030" class="method-detail">
|
|
137
|
+
<a name="M000030"></a>
|
|
138
138
|
|
|
139
139
|
<div class="method-heading">
|
|
140
|
-
<a href="Gen.src/
|
|
141
|
-
onclick="popupCode('Gen.src/
|
|
140
|
+
<a href="Gen.src/M000030.html" target="Code" class="method-signature"
|
|
141
|
+
onclick="popupCode('Gen.src/M000030.html');return false;">
|
|
142
142
|
<span class="method-name">choose</span><span class="method-args">(lo=nil, hi=nil)</span>
|
|
143
143
|
</a>
|
|
144
144
|
</div>
|
|
@@ -153,12 +153,12 @@ implement arbitrary method into your class.
|
|
|
153
153
|
</div>
|
|
154
154
|
</div>
|
|
155
155
|
|
|
156
|
-
<div id="method-
|
|
157
|
-
<a name="
|
|
156
|
+
<div id="method-M000031" class="method-detail">
|
|
157
|
+
<a name="M000031"></a>
|
|
158
158
|
|
|
159
159
|
<div class="method-heading">
|
|
160
|
-
<a href="Gen.src/
|
|
161
|
-
onclick="popupCode('Gen.src/
|
|
160
|
+
<a href="Gen.src/M000031.html" target="Code" class="method-signature"
|
|
161
|
+
onclick="popupCode('Gen.src/M000031.html');return false;">
|
|
162
162
|
<span class="method-name">create</span><span class="method-args">(xs, &f)</span>
|
|
163
163
|
</a>
|
|
164
164
|
</div>
|
|
@@ -174,12 +174,12 @@ implement arbitrary method into your class.
|
|
|
174
174
|
</div>
|
|
175
175
|
</div>
|
|
176
176
|
|
|
177
|
-
<div id="method-
|
|
178
|
-
<a name="
|
|
177
|
+
<div id="method-M000032" class="method-detail">
|
|
178
|
+
<a name="M000032"></a>
|
|
179
179
|
|
|
180
180
|
<div class="method-heading">
|
|
181
|
-
<a href="Gen.src/
|
|
182
|
-
onclick="popupCode('Gen.src/
|
|
181
|
+
<a href="Gen.src/M000032.html" target="Code" class="method-signature"
|
|
182
|
+
onclick="popupCode('Gen.src/M000032.html');return false;">
|
|
183
183
|
<span class="method-name">elements</span><span class="method-args">(xs)</span>
|
|
184
184
|
</a>
|
|
185
185
|
</div>
|
|
@@ -194,12 +194,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
|
194
194
|
</div>
|
|
195
195
|
</div>
|
|
196
196
|
|
|
197
|
-
<div id="method-
|
|
198
|
-
<a name="
|
|
197
|
+
<div id="method-M000033" class="method-detail">
|
|
198
|
+
<a name="M000033"></a>
|
|
199
199
|
|
|
200
200
|
<div class="method-heading">
|
|
201
|
-
<a href="Gen.src/
|
|
202
|
-
onclick="popupCode('Gen.src/
|
|
201
|
+
<a href="Gen.src/M000033.html" target="Code" class="method-signature"
|
|
202
|
+
onclick="popupCode('Gen.src/M000033.html');return false;">
|
|
203
203
|
<span class="method-name">frequency</span><span class="method-args">(xs)</span>
|
|
204
204
|
</a>
|
|
205
205
|
</div>
|
|
@@ -212,44 +212,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
|
|
|
212
212
|
should be a positive <a href="Integer.html">Integer</a> and the second one
|
|
213
213
|
should be a <a href="Gen.html">Gen</a> object. The integer acts as a weight
|
|
214
214
|
for choosing random <a href="Gen.html">Gen</a> object in the array. For
|
|
215
|
-
example, frequency([[1, <a href="Gen.html#
|
|
216
|
-
href="Integer.html#
|
|
217
|
-
generator <a href="Gen.html#
|
|
215
|
+
example, frequency([[1, <a href="Gen.html#M000037">Gen.rand</a>], [2, <a
|
|
216
|
+
href="Integer.html#M000011">Integer.arbitrary</a>]]) returns the random
|
|
217
|
+
generator <a href="Gen.html#M000037">Gen.rand</a> in 33%, while another
|
|
218
218
|
random generator of <a href="Integer.html">Integer</a> (<a
|
|
219
|
-
href="Integer.html#
|
|
219
|
+
href="Integer.html#M000011">Integer.arbitrary</a>) in 67%.
|
|
220
220
|
</p>
|
|
221
221
|
</div>
|
|
222
222
|
</div>
|
|
223
223
|
|
|
224
|
-
<div id="method-
|
|
225
|
-
<a name="
|
|
224
|
+
<div id="method-M000034" class="method-detail">
|
|
225
|
+
<a name="M000034"></a>
|
|
226
226
|
|
|
227
227
|
<div class="method-heading">
|
|
228
|
-
<a href="Gen.src/
|
|
229
|
-
onclick="popupCode('Gen.src/
|
|
228
|
+
<a href="Gen.src/M000034.html" target="Code" class="method-signature"
|
|
229
|
+
onclick="popupCode('Gen.src/M000034.html');return false;">
|
|
230
230
|
<span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
|
|
231
231
|
</a>
|
|
232
232
|
</div>
|
|
233
233
|
|
|
234
234
|
<div class="method-description">
|
|
235
235
|
<p>
|
|
236
|
-
<a href="Gen.html#
|
|
236
|
+
<a href="Gen.html#M000034">lift_array</a> is one of primitive generators to
|
|
237
237
|
create a randam <a href="Gen.html">Gen</a> object. <a
|
|
238
|
-
href="Gen.html#
|
|
238
|
+
href="Gen.html#M000034">lift_array</a> takes an array and a block which has
|
|
239
239
|
a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
|
|
240
|
-
href="Gen.html#
|
|
240
|
+
href="Gen.html#M000034">lift_array</a> returns a <a href="Gen.html">Gen</a>
|
|
241
241
|
object which generates an array of the result of given block for applying
|
|
242
242
|
each member of given array.
|
|
243
243
|
</p>
|
|
244
244
|
</div>
|
|
245
245
|
</div>
|
|
246
246
|
|
|
247
|
-
<div id="method-
|
|
248
|
-
<a name="
|
|
247
|
+
<div id="method-M000041" class="method-detail">
|
|
248
|
+
<a name="M000041"></a>
|
|
249
249
|
|
|
250
250
|
<div class="method-heading">
|
|
251
|
-
<a href="Gen.src/
|
|
252
|
-
onclick="popupCode('Gen.src/
|
|
251
|
+
<a href="Gen.src/M000041.html" target="Code" class="method-signature"
|
|
252
|
+
onclick="popupCode('Gen.src/M000041.html');return false;">
|
|
253
253
|
<span class="method-name">new</span><span class="method-args">(&f)</span>
|
|
254
254
|
</a>
|
|
255
255
|
</div>
|
|
@@ -264,12 +264,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
|
264
264
|
</div>
|
|
265
265
|
</div>
|
|
266
266
|
|
|
267
|
-
<div id="method-
|
|
268
|
-
<a name="
|
|
267
|
+
<div id="method-M000035" class="method-detail">
|
|
268
|
+
<a name="M000035"></a>
|
|
269
269
|
|
|
270
270
|
<div class="method-heading">
|
|
271
|
-
<a href="Gen.src/
|
|
272
|
-
onclick="popupCode('Gen.src/
|
|
271
|
+
<a href="Gen.src/M000035.html" target="Code" class="method-signature"
|
|
272
|
+
onclick="popupCode('Gen.src/M000035.html');return false;">
|
|
273
273
|
<span class="method-name">oneof</span><span class="method-args">(gens)</span>
|
|
274
274
|
</a>
|
|
275
275
|
</div>
|
|
@@ -285,12 +285,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
|
285
285
|
</div>
|
|
286
286
|
</div>
|
|
287
287
|
|
|
288
|
-
<div id="method-
|
|
289
|
-
<a name="
|
|
288
|
+
<div id="method-M000036" class="method-detail">
|
|
289
|
+
<a name="M000036"></a>
|
|
290
290
|
|
|
291
291
|
<div class="method-heading">
|
|
292
|
-
<a href="Gen.src/
|
|
293
|
-
onclick="popupCode('Gen.src/
|
|
292
|
+
<a href="Gen.src/M000036.html" target="Code" class="method-signature"
|
|
293
|
+
onclick="popupCode('Gen.src/M000036.html');return false;">
|
|
294
294
|
<span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
|
|
295
295
|
</a>
|
|
296
296
|
</div>
|
|
@@ -307,12 +307,12 @@ coarbitrary method into your class.
|
|
|
307
307
|
</div>
|
|
308
308
|
</div>
|
|
309
309
|
|
|
310
|
-
<div id="method-
|
|
311
|
-
<a name="
|
|
310
|
+
<div id="method-M000037" class="method-detail">
|
|
311
|
+
<a name="M000037"></a>
|
|
312
312
|
|
|
313
313
|
<div class="method-heading">
|
|
314
|
-
<a href="Gen.src/
|
|
315
|
-
onclick="popupCode('Gen.src/
|
|
314
|
+
<a href="Gen.src/M000037.html" target="Code" class="method-signature"
|
|
315
|
+
onclick="popupCode('Gen.src/M000037.html');return false;">
|
|
316
316
|
<span class="method-name">rand</span><span class="method-args">()</span>
|
|
317
317
|
</a>
|
|
318
318
|
</div>
|
|
@@ -325,12 +325,12 @@ number generator.
|
|
|
325
325
|
</div>
|
|
326
326
|
</div>
|
|
327
327
|
|
|
328
|
-
<div id="method-
|
|
329
|
-
<a name="
|
|
328
|
+
<div id="method-M000038" class="method-detail">
|
|
329
|
+
<a name="M000038"></a>
|
|
330
330
|
|
|
331
331
|
<div class="method-heading">
|
|
332
|
-
<a href="Gen.src/
|
|
333
|
-
onclick="popupCode('Gen.src/
|
|
332
|
+
<a href="Gen.src/M000038.html" target="Code" class="method-signature"
|
|
333
|
+
onclick="popupCode('Gen.src/M000038.html');return false;">
|
|
334
334
|
<span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
|
|
335
335
|
</a>
|
|
336
336
|
</div>
|
|
@@ -344,12 +344,12 @@ The block should be a function which changes the size of random instances.
|
|
|
344
344
|
</div>
|
|
345
345
|
</div>
|
|
346
346
|
|
|
347
|
-
<div id="method-
|
|
348
|
-
<a name="
|
|
347
|
+
<div id="method-M000039" class="method-detail">
|
|
348
|
+
<a name="M000039"></a>
|
|
349
349
|
|
|
350
350
|
<div class="method-heading">
|
|
351
|
-
<a href="Gen.src/
|
|
352
|
-
onclick="popupCode('Gen.src/
|
|
351
|
+
<a href="Gen.src/M000039.html" target="Code" class="method-signature"
|
|
352
|
+
onclick="popupCode('Gen.src/M000039.html');return false;">
|
|
353
353
|
<span class="method-name">unit</span><span class="method-args">(x)</span>
|
|
354
354
|
</a>
|
|
355
355
|
</div>
|
|
@@ -363,12 +363,12 @@ href="Gen.html">Gen</a> object which generates the given object.
|
|
|
363
363
|
</div>
|
|
364
364
|
</div>
|
|
365
365
|
|
|
366
|
-
<div id="method-
|
|
367
|
-
<a name="
|
|
366
|
+
<div id="method-M000040" class="method-detail">
|
|
367
|
+
<a name="M000040"></a>
|
|
368
368
|
|
|
369
369
|
<div class="method-heading">
|
|
370
|
-
<a href="Gen.src/
|
|
371
|
-
onclick="popupCode('Gen.src/
|
|
370
|
+
<a href="Gen.src/M000040.html" target="Code" class="method-signature"
|
|
371
|
+
onclick="popupCode('Gen.src/M000040.html');return false;">
|
|
372
372
|
<span class="method-name">vector</span><span class="method-args">(c, len)</span>
|
|
373
373
|
</a>
|
|
374
374
|
</div>
|
|
@@ -386,12 +386,12 @@ belongs the given class and given length.
|
|
|
386
386
|
|
|
387
387
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
388
388
|
|
|
389
|
-
<div id="method-
|
|
390
|
-
<a name="
|
|
389
|
+
<div id="method-M000042" class="method-detail">
|
|
390
|
+
<a name="M000042"></a>
|
|
391
391
|
|
|
392
392
|
<div class="method-heading">
|
|
393
|
-
<a href="Gen.src/
|
|
394
|
-
onclick="popupCode('Gen.src/
|
|
393
|
+
<a href="Gen.src/M000042.html" target="Code" class="method-signature"
|
|
394
|
+
onclick="popupCode('Gen.src/M000042.html');return false;">
|
|
395
395
|
<span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
|
|
396
396
|
</a>
|
|
397
397
|
</div>
|
|
@@ -406,12 +406,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
|
406
406
|
</div>
|
|
407
407
|
</div>
|
|
408
408
|
|
|
409
|
-
<div id="method-
|
|
410
|
-
<a name="
|
|
409
|
+
<div id="method-M000044" class="method-detail">
|
|
410
|
+
<a name="M000044"></a>
|
|
411
411
|
|
|
412
412
|
<div class="method-heading">
|
|
413
|
-
<a href="Gen.src/
|
|
414
|
-
onclick="popupCode('Gen.src/
|
|
413
|
+
<a href="Gen.src/M000044.html" target="Code" class="method-signature"
|
|
414
|
+
onclick="popupCode('Gen.src/M000044.html');return false;">
|
|
415
415
|
<span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
|
|
416
416
|
</a>
|
|
417
417
|
</div>
|
|
@@ -424,12 +424,12 @@ which takes one variable.
|
|
|
424
424
|
</div>
|
|
425
425
|
</div>
|
|
426
426
|
|
|
427
|
-
<div id="method-
|
|
428
|
-
<a name="
|
|
427
|
+
<div id="method-M000045" class="method-detail">
|
|
428
|
+
<a name="M000045"></a>
|
|
429
429
|
|
|
430
430
|
<div class="method-heading">
|
|
431
|
-
<a href="Gen.src/
|
|
432
|
-
onclick="popupCode('Gen.src/
|
|
431
|
+
<a href="Gen.src/M000045.html" target="Code" class="method-signature"
|
|
432
|
+
onclick="popupCode('Gen.src/M000045.html');return false;">
|
|
433
433
|
<span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
|
|
434
434
|
</a>
|
|
435
435
|
</div>
|
|
@@ -444,12 +444,12 @@ of the property.
|
|
|
444
444
|
</div>
|
|
445
445
|
</div>
|
|
446
446
|
|
|
447
|
-
<div id="method-
|
|
448
|
-
<a name="
|
|
447
|
+
<div id="method-M000046" class="method-detail">
|
|
448
|
+
<a name="M000046"></a>
|
|
449
449
|
|
|
450
450
|
<div class="method-heading">
|
|
451
|
-
<a href="Gen.src/
|
|
452
|
-
onclick="popupCode('Gen.src/
|
|
451
|
+
<a href="Gen.src/M000046.html" target="Code" class="method-signature"
|
|
452
|
+
onclick="popupCode('Gen.src/M000046.html');return false;">
|
|
453
453
|
<span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
|
|
454
454
|
</a>
|
|
455
455
|
</div>
|
|
@@ -463,12 +463,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
|
|
|
463
463
|
</div>
|
|
464
464
|
</div>
|
|
465
465
|
|
|
466
|
-
<div id="method-
|
|
467
|
-
<a name="
|
|
466
|
+
<div id="method-M000047" class="method-detail">
|
|
467
|
+
<a name="M000047"></a>
|
|
468
468
|
|
|
469
469
|
<div class="method-heading">
|
|
470
|
-
<a href="Gen.src/
|
|
471
|
-
onclick="popupCode('Gen.src/
|
|
470
|
+
<a href="Gen.src/M000047.html" target="Code" class="method-signature"
|
|
471
|
+
onclick="popupCode('Gen.src/M000047.html');return false;">
|
|
472
472
|
<span class="method-name">resize</span><span class="method-args">(n)</span>
|
|
473
473
|
</a>
|
|
474
474
|
</div>
|
|
@@ -482,12 +482,12 @@ href="Integer.html">Integer</a>.
|
|
|
482
482
|
</div>
|
|
483
483
|
</div>
|
|
484
484
|
|
|
485
|
-
<div id="method-
|
|
486
|
-
<a name="
|
|
485
|
+
<div id="method-M000043" class="method-detail">
|
|
486
|
+
<a name="M000043"></a>
|
|
487
487
|
|
|
488
488
|
<div class="method-heading">
|
|
489
|
-
<a href="Gen.src/
|
|
490
|
-
onclick="popupCode('Gen.src/
|
|
489
|
+
<a href="Gen.src/M000043.html" target="Code" class="method-signature"
|
|
490
|
+
onclick="popupCode('Gen.src/M000043.html');return false;">
|
|
491
491
|
<span class="method-name">value</span><span class="method-args">(n, g)</span>
|
|
492
492
|
</a>
|
|
493
493
|
</div>
|
|
@@ -502,12 +502,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
|
502
502
|
</div>
|
|
503
503
|
</div>
|
|
504
504
|
|
|
505
|
-
<div id="method-
|
|
506
|
-
<a name="
|
|
505
|
+
<div id="method-M000048" class="method-detail">
|
|
506
|
+
<a name="M000048"></a>
|
|
507
507
|
|
|
508
508
|
<div class="method-heading">
|
|
509
|
-
<a href="Gen.src/
|
|
510
|
-
onclick="popupCode('Gen.src/
|
|
509
|
+
<a href="Gen.src/M000048.html" target="Code" class="method-signature"
|
|
510
|
+
onclick="popupCode('Gen.src/M000048.html');return false;">
|
|
511
511
|
<span class="method-name">variant</span><span class="method-args">(v)</span>
|
|
512
512
|
</a>
|
|
513
513
|
</div>
|
|
@@ -5,20 +5,14 @@
|
|
|
5
5
|
|
|
6
6
|
<html>
|
|
7
7
|
<head>
|
|
8
|
-
<title>
|
|
8
|
+
<title>choose (Gen)</title>
|
|
9
9
|
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
10
|
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
11
|
</head>
|
|
12
12
|
<body class="standalone-code">
|
|
13
|
-
<pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-
|
|
16
|
-
<span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
|
|
17
|
-
<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>
|
|
18
|
-
<span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
|
|
19
|
-
<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>)
|
|
20
|
-
<span class="ruby-keyword kw">end</span>
|
|
21
|
-
<span class="ruby-keyword kw">end</span>
|
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 16</span>
|
|
14
|
+
<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>)
|
|
15
|
+
<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>] }
|
|
22
16
|
<span class="ruby-keyword kw">end</span></pre>
|
|
23
17
|
</body>
|
|
24
18
|
</html>
|