prelude 0.0.2 → 0.0.3
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGELOG +5 -2
- data/README +3 -3
- data/Rakefile +44 -25
- data/doc/classes/Kernel.html +198 -0
- data/doc/classes/Prelude.html +110 -3
- data/doc/classes/Prelude/EmptyListError.html +113 -0
- data/doc/classes/Prelude/List.html +1210 -1067
- data/doc/classes/Prelude/MissingFunctionError.html +113 -0
- data/doc/classes/Prelude/Monad.html +114 -57
- data/doc/classes/Prelude/Tuple.html +18 -18
- data/doc/classes/Proc.html +51 -26
- data/doc/classes/Symbol.html +65 -12
- data/doc/created.rid +1 -1
- data/doc/files/CHANGELOG.html +8 -1
- data/doc/files/README.html +3 -3
- data/doc/files/lib/prelude_rb.html +1 -1
- data/doc/fr_class_index.html +3 -0
- data/doc/fr_method_index.html +113 -97
- data/lib/prelude.rb +84 -10
- data/lib/prelude/list.rb +244 -212
- data/lib/prelude/monad.rb +88 -11
- data/test/tc_higher.rb +5 -5
- data/test/tc_list.rb +259 -268
- data/test/tc_monad.rb +145 -0
- data/test/ts_prelude.rb +2 -1
- metadata +6 -2
data/doc/classes/Proc.html
CHANGED
@@ -86,8 +86,8 @@
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
87
87
|
|
88
88
|
<div class="name-list">
|
89
|
-
<a href="#
|
90
|
-
<a href="#
|
89
|
+
<a href="#M000006">**</a>
|
90
|
+
<a href="#M000005">curry</a>
|
91
91
|
</div>
|
92
92
|
</div>
|
93
93
|
|
@@ -100,6 +100,27 @@
|
|
100
100
|
|
101
101
|
|
102
102
|
|
103
|
+
<div id="aliases-list">
|
104
|
+
<h3 class="section-bar">External Aliases</h3>
|
105
|
+
|
106
|
+
<div class="name-list">
|
107
|
+
<table summary="aliases">
|
108
|
+
<tr class="top-aligned-row context-row">
|
109
|
+
<td class="context-item-name">call</td>
|
110
|
+
<td>-></td>
|
111
|
+
<td class="context-item-value">~</td>
|
112
|
+
</tr>
|
113
|
+
<tr class="top-aligned-row context-row">
|
114
|
+
<td> </td>
|
115
|
+
<td colspan="2" class="context-item-desc">
|
116
|
+
Syntaxic sugar for something like this: ~head(list), i.e., gives actual
|
117
|
+
head instead of proc that can do it if called.
|
118
|
+
|
119
|
+
</td>
|
120
|
+
</tr>
|
121
|
+
</table>
|
122
|
+
</div>
|
123
|
+
</div>
|
103
124
|
|
104
125
|
|
105
126
|
|
@@ -109,54 +130,58 @@
|
|
109
130
|
<div id="methods">
|
110
131
|
<h3 class="section-bar">Public Instance methods</h3>
|
111
132
|
|
112
|
-
<div id="method-
|
113
|
-
<a name="
|
133
|
+
<div id="method-M000006" class="method-detail">
|
134
|
+
<a name="M000006"></a>
|
114
135
|
|
115
136
|
<div class="method-heading">
|
116
|
-
<a href="#
|
117
|
-
<span class="method-name"
|
137
|
+
<a href="#M000006" class="method-signature">
|
138
|
+
<span class="method-name">**</span><span class="method-args">(*args)</span>
|
118
139
|
</a>
|
119
140
|
</div>
|
120
141
|
|
121
142
|
<div class="method-description">
|
122
143
|
<p>
|
123
|
-
This is will serve as an infix composition operator
|
144
|
+
This is will serve as an infix composition operator for procs. If between
|
145
|
+
two procs, returns composition proc, executes left proc otherwise.
|
124
146
|
</p>
|
125
147
|
<p><a class="source-toggle" href="#"
|
126
|
-
onclick="toggleCode('
|
127
|
-
<div class="method-source-code" id="
|
148
|
+
onclick="toggleCode('M000006-source');return false;">[Source]</a></p>
|
149
|
+
<div class="method-source-code" id="M000006-source">
|
128
150
|
<pre>
|
129
|
-
|
130
|
-
|
131
|
-
|
132
|
-
|
133
|
-
|
134
|
-
|
135
|
-
|
136
|
-
|
151
|
+
<span class="ruby-comment cmt"># File lib/prelude.rb, line 99</span>
|
152
|
+
99: <span class="ruby-keyword kw">def</span> <span class="ruby-operator">**</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
153
|
+
100: <span class="ruby-keyword kw">if</span> (<span class="ruby-value">1</span><span class="ruby-operator">==</span><span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span>) <span class="ruby-operator">&&</span> <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">is_a?</span>(<span class="ruby-constant">Proc</span>)
|
154
|
+
101: <span class="ruby-identifier">lambda</span> {<span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">a</span>)) }
|
155
|
+
102: <span class="ruby-keyword kw">else</span>
|
156
|
+
103: <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>.<span class="ruby-identifier">flatten</span>)
|
157
|
+
104: <span class="ruby-keyword kw">end</span>
|
158
|
+
105: <span class="ruby-keyword kw">end</span>
|
137
159
|
</pre>
|
138
160
|
</div>
|
139
161
|
</div>
|
140
162
|
</div>
|
141
163
|
|
142
|
-
<div id="method-
|
143
|
-
<a name="
|
164
|
+
<div id="method-M000005" class="method-detail">
|
165
|
+
<a name="M000005"></a>
|
144
166
|
|
145
167
|
<div class="method-heading">
|
146
|
-
<a href="#
|
168
|
+
<a href="#M000005" class="method-signature">
|
147
169
|
<span class="method-name">curry</span><span class="method-args">(one, *args)</span>
|
148
170
|
</a>
|
149
171
|
</div>
|
150
172
|
|
151
173
|
<div class="method-description">
|
174
|
+
<p>
|
175
|
+
FIXIT
|
176
|
+
</p>
|
152
177
|
<p><a class="source-toggle" href="#"
|
153
|
-
onclick="toggleCode('
|
154
|
-
<div class="method-source-code" id="
|
178
|
+
onclick="toggleCode('M000005-source');return false;">[Source]</a></p>
|
179
|
+
<div class="method-source-code" id="M000005-source">
|
155
180
|
<pre>
|
156
|
-
<span class="ruby-comment cmt"># File lib/prelude.rb, line
|
157
|
-
|
158
|
-
|
159
|
-
|
181
|
+
<span class="ruby-comment cmt"># File lib/prelude.rb, line 93</span>
|
182
|
+
93: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">curry</span>(<span class="ruby-identifier">one</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
183
|
+
94: <span class="ruby-identifier">lambda</span> { <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">one</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)}
|
184
|
+
95: <span class="ruby-keyword kw">end</span>
|
160
185
|
</pre>
|
161
186
|
</div>
|
162
187
|
</div>
|
data/doc/classes/Symbol.html
CHANGED
@@ -86,7 +86,9 @@
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
87
87
|
|
88
88
|
<div class="name-list">
|
89
|
-
<a href="#
|
89
|
+
<a href="#M000004">**</a>
|
90
|
+
<a href="#M000002">-@</a>
|
91
|
+
<a href="#M000003">curry</a>
|
90
92
|
<a href="#M000001">to_proc</a>
|
91
93
|
</div>
|
92
94
|
</div>
|
@@ -109,24 +111,72 @@
|
|
109
111
|
<div id="methods">
|
110
112
|
<h3 class="section-bar">Public Instance methods</h3>
|
111
113
|
|
114
|
+
<div id="method-M000004" class="method-detail">
|
115
|
+
<a name="M000004"></a>
|
116
|
+
|
117
|
+
<div class="method-heading">
|
118
|
+
<a href="#M000004" class="method-signature">
|
119
|
+
<span class="method-name">**</span><span class="method-args">(*args)</span>
|
120
|
+
</a>
|
121
|
+
</div>
|
122
|
+
|
123
|
+
<div class="method-description">
|
124
|
+
<p>
|
125
|
+
This is will serve as an infix composition operator for symbols. If between
|
126
|
+
two symbols, returns composition proc, executes left symbol otherwise.
|
127
|
+
</p>
|
128
|
+
<p><a class="source-toggle" href="#"
|
129
|
+
onclick="toggleCode('M000004-source');return false;">[Source]</a></p>
|
130
|
+
<div class="method-source-code" id="M000004-source">
|
131
|
+
<pre>
|
132
|
+
<span class="ruby-comment cmt"># File lib/prelude.rb, line 77</span>
|
133
|
+
77: <span class="ruby-keyword kw">def</span> <span class="ruby-operator">**</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
134
|
+
78: <span class="ruby-keyword kw">if</span> (<span class="ruby-value">1</span><span class="ruby-operator">==</span><span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span>) <span class="ruby-operator">&&</span> <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">is_a?</span>(<span class="ruby-constant">Symbol</span>)
|
135
|
+
79: <span class="ruby-identifier">proc</span> {<span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">to_proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">a</span>)) }
|
136
|
+
80: <span class="ruby-keyword kw">else</span>
|
137
|
+
81: <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">to_proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>.<span class="ruby-identifier">flatten</span>)
|
138
|
+
82: <span class="ruby-keyword kw">end</span>
|
139
|
+
83: <span class="ruby-keyword kw">end</span>
|
140
|
+
</pre>
|
141
|
+
</div>
|
142
|
+
</div>
|
143
|
+
</div>
|
144
|
+
|
112
145
|
<div id="method-M000002" class="method-detail">
|
113
146
|
<a name="M000002"></a>
|
114
147
|
|
115
148
|
<div class="method-heading">
|
116
|
-
<
|
149
|
+
<span class="method-name">-@</span><span class="method-args">()</span>
|
150
|
+
</div>
|
151
|
+
|
152
|
+
<div class="method-description">
|
153
|
+
<p>
|
154
|
+
Alias for <a href="Symbol.html#M000001">to_proc</a>
|
155
|
+
</p>
|
156
|
+
</div>
|
157
|
+
</div>
|
158
|
+
|
159
|
+
<div id="method-M000003" class="method-detail">
|
160
|
+
<a name="M000003"></a>
|
161
|
+
|
162
|
+
<div class="method-heading">
|
163
|
+
<a href="#M000003" class="method-signature">
|
117
164
|
<span class="method-name">curry</span><span class="method-args">(one, *args)</span>
|
118
165
|
</a>
|
119
166
|
</div>
|
120
167
|
|
121
168
|
<div class="method-description">
|
169
|
+
<p>
|
170
|
+
FIXIT
|
171
|
+
</p>
|
122
172
|
<p><a class="source-toggle" href="#"
|
123
|
-
onclick="toggleCode('
|
124
|
-
<div class="method-source-code" id="
|
173
|
+
onclick="toggleCode('M000003-source');return false;">[Source]</a></p>
|
174
|
+
<div class="method-source-code" id="M000003-source">
|
125
175
|
<pre>
|
126
|
-
<span class="ruby-comment cmt"># File lib/prelude.rb, line
|
127
|
-
|
128
|
-
|
129
|
-
|
176
|
+
<span class="ruby-comment cmt"># File lib/prelude.rb, line 71</span>
|
177
|
+
71: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">curry</span>(<span class="ruby-identifier">one</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
178
|
+
72: <span class="ruby-identifier">proc</span> { <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">to_proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">one</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span>) }
|
179
|
+
73: <span class="ruby-keyword kw">end</span>
|
130
180
|
</pre>
|
131
181
|
</div>
|
132
182
|
</div>
|
@@ -142,14 +192,17 @@
|
|
142
192
|
</div>
|
143
193
|
|
144
194
|
<div class="method-description">
|
195
|
+
<p>
|
196
|
+
Converts a symbol to a proc object
|
197
|
+
</p>
|
145
198
|
<p><a class="source-toggle" href="#"
|
146
199
|
onclick="toggleCode('M000001-source');return false;">[Source]</a></p>
|
147
200
|
<div class="method-source-code" id="M000001-source">
|
148
201
|
<pre>
|
149
|
-
<span class="ruby-comment cmt"># File lib/prelude.rb, line
|
150
|
-
|
151
|
-
|
152
|
-
|
202
|
+
<span class="ruby-comment cmt"># File lib/prelude.rb, line 63</span>
|
203
|
+
63: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">to_proc</span>
|
204
|
+
64: <span class="ruby-identifier">proc</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">obj</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">send</span>(<span class="ruby-keyword kw">self</span>, <span class="ruby-operator">*</span><span class="ruby-identifier">args</span>) }
|
205
|
+
65: <span class="ruby-keyword kw">end</span>
|
153
206
|
</pre>
|
154
207
|
</div>
|
155
208
|
</div>
|
data/doc/created.rid
CHANGED
@@ -1 +1 @@
|
|
1
|
-
|
1
|
+
Sun Sep 17 18:35:07 Central Daylight Time 2006
|
data/doc/files/CHANGELOG.html
CHANGED
@@ -57,8 +57,15 @@
|
|
57
57
|
<div id="description">
|
58
58
|
<h1>CHANGELOG</h1>
|
59
59
|
<p>
|
60
|
-
$Id: CHANGELOG
|
60
|
+
$Id: CHANGELOG 17 2006-09-17 18:03:15Z prelude $
|
61
61
|
</p>
|
62
|
+
<h2>09/17/06 - Release 0.0.3</h2>
|
63
|
+
<ul>
|
64
|
+
<li>Converted List from being functional-like to fully functional, i.e., all
|
65
|
+
its methods return functions.
|
66
|
+
|
67
|
+
</li>
|
68
|
+
</ul>
|
62
69
|
<h2>09/06/06 - Release 0.0.2</h2>
|
63
70
|
<ul>
|
64
71
|
<li>Expanded README and moved references from sources into it.
|
data/doc/files/README.html
CHANGED
@@ -57,7 +57,7 @@
|
|
57
57
|
<div id="description">
|
58
58
|
<h1><a href="../classes/Prelude.html">Prelude</a> - a Haskell-like functional library</h1>
|
59
59
|
<p>
|
60
|
-
$Id: README
|
60
|
+
$Id: README 17 2006-09-17 18:03:15Z prelude $
|
61
61
|
</p>
|
62
62
|
<p>
|
63
63
|
<b>WARNING</b> <tt>The project is still in a very preliminary state. Only
|
@@ -207,7 +207,7 @@ href="http://nomaware.com/monads/html/index.html">nomaware.com/monads/html/index
|
|
207
207
|
to get started. More monadic resources are here: <a
|
208
208
|
href="http://haskell.org/haskellwiki/Books_and_tutorials#Using_monads">haskell.org/haskellwiki/Books_and_tutorials#Using_monads</a>
|
209
209
|
</p>
|
210
|
-
<h3>What else
|
210
|
+
<h3>What else?</h3>
|
211
211
|
<p>
|
212
212
|
These features will be nice to have in a second release of the library:
|
213
213
|
</p>
|
@@ -219,7 +219,7 @@ href="http://www.cs.uu.nl/~daan/parsec.html">www.cs.uu.nl/~daan/parsec.html</a>
|
|
219
219
|
<li>Tools for automatic program verification and algebraic proofs
|
220
220
|
|
221
221
|
</li>
|
222
|
-
<li>What else
|
222
|
+
<li>What else?
|
223
223
|
|
224
224
|
</li>
|
225
225
|
</ul>
|
data/doc/fr_class_index.html
CHANGED
@@ -20,8 +20,11 @@
|
|
20
20
|
<div id="index">
|
21
21
|
<h1 class="section-bar">Classes</h1>
|
22
22
|
<div id="index-entries">
|
23
|
+
<a href="classes/Kernel.html">Kernel</a><br />
|
23
24
|
<a href="classes/Prelude.html">Prelude</a><br />
|
25
|
+
<a href="classes/Prelude/EmptyListError.html">Prelude::EmptyListError</a><br />
|
24
26
|
<a href="classes/Prelude/List.html">Prelude::List</a><br />
|
27
|
+
<a href="classes/Prelude/MissingFunctionError.html">Prelude::MissingFunctionError</a><br />
|
25
28
|
<a href="classes/Prelude/Monad.html">Prelude::Monad</a><br />
|
26
29
|
<a href="classes/Prelude/Tuple.html">Prelude::Tuple</a><br />
|
27
30
|
<a href="classes/Proc.html">Proc</a><br />
|
data/doc/fr_method_index.html
CHANGED
@@ -20,104 +20,120 @@
|
|
20
20
|
<div id="index">
|
21
21
|
<h1 class="section-bar">Methods</h1>
|
22
22
|
<div id="index-entries">
|
23
|
-
<a href="classes/
|
24
|
-
<a href="classes/
|
25
|
-
<a href="classes/
|
26
|
-
<a href="classes/Prelude/
|
27
|
-
<a href="classes/Prelude/List.html#
|
28
|
-
<a href="classes/Prelude/
|
29
|
-
<a href="classes/Prelude/List.html#
|
30
|
-
<a href="classes/Prelude/
|
31
|
-
<a href="classes/Prelude/List.html#
|
32
|
-
<a href="classes/
|
33
|
-
<a href="classes/
|
34
|
-
<a href="classes/
|
35
|
-
<a href="classes/Prelude/List.html#
|
36
|
-
<a href="classes/
|
37
|
-
<a href="classes/
|
38
|
-
<a href="classes/Prelude/List.html#
|
39
|
-
<a href="classes/Prelude/List.html#
|
40
|
-
<a href="classes/Prelude/List.html#
|
41
|
-
<a href="classes/Prelude/List.html#
|
42
|
-
<a href="classes/Prelude/List.html#
|
43
|
-
<a href="classes/Prelude/List.html#
|
44
|
-
<a href="classes/Prelude/List.html#
|
45
|
-
<a href="classes/Prelude/
|
46
|
-
<a href="classes/Prelude/List.html#
|
47
|
-
<a href="classes/Prelude/List.html#
|
48
|
-
<a href="classes/Prelude/
|
49
|
-
<a href="classes/Prelude
|
50
|
-
<a href="classes/Prelude/List.html#
|
51
|
-
<a href="classes/Prelude/List.html#
|
52
|
-
<a href="classes/Prelude/List.html#
|
53
|
-
<a href="classes/Prelude/List.html#
|
54
|
-
<a href="classes/Prelude/List.html#
|
55
|
-
<a href="classes/Prelude/List.html#
|
56
|
-
<a href="classes/Prelude/List.html#
|
57
|
-
<a href="classes/Prelude/List.html#
|
58
|
-
<a href="classes/Prelude/
|
59
|
-
<a href="classes/Prelude/List.html#
|
60
|
-
<a href="classes/Prelude/List.html#
|
61
|
-
<a href="classes/Prelude/List.html#
|
62
|
-
<a href="classes/Prelude/
|
63
|
-
<a href="classes/Prelude
|
64
|
-
<a href="classes/Prelude/List.html#
|
65
|
-
<a href="classes/Prelude/List.html#
|
66
|
-
<a href="classes/Prelude/List.html#
|
67
|
-
<a href="classes/Prelude/List.html#
|
68
|
-
<a href="classes/Prelude/List.html#
|
69
|
-
<a href="classes/Prelude/List.html#
|
70
|
-
<a href="classes/Prelude/List.html#
|
71
|
-
<a href="classes/Prelude/
|
72
|
-
<a href="classes/Prelude/List.html#
|
73
|
-
<a href="classes/Prelude/List.html#
|
74
|
-
<a href="classes/Prelude/List.html#
|
75
|
-
<a href="classes/Prelude/List.html#
|
76
|
-
<a href="classes/Prelude/
|
77
|
-
<a href="classes/Prelude/List.html#
|
78
|
-
<a href="classes/Prelude/List.html#
|
79
|
-
<a href="classes/Prelude/List.html#
|
80
|
-
<a href="classes/Prelude/
|
81
|
-
<a href="classes/Prelude/List.html#
|
82
|
-
<a href="classes/Prelude/List.html#
|
83
|
-
<a href="classes/Prelude/List.html#
|
84
|
-
<a href="classes/Prelude/List.html#
|
85
|
-
<a href="classes/Prelude/List.html#
|
86
|
-
<a href="classes/Prelude/List.html#
|
87
|
-
<a href="classes/Prelude/List.html#
|
88
|
-
<a href="classes/Prelude
|
89
|
-
<a href="classes/Prelude/
|
90
|
-
<a href="classes/Prelude/List.html#
|
91
|
-
<a href="classes/Prelude/List.html#
|
92
|
-
<a href="classes/Prelude/List.html#
|
93
|
-
<a href="classes/Prelude/
|
94
|
-
<a href="classes/Prelude/List.html#
|
95
|
-
<a href="classes/Prelude/List.html#
|
96
|
-
<a href="classes/Prelude/List.html#
|
97
|
-
<a href="classes/Prelude/List.html#
|
98
|
-
<a href="classes/Prelude/List.html#
|
99
|
-
<a href="classes/Prelude/List.html#
|
100
|
-
<a href="classes/Prelude/List.html#
|
101
|
-
<a href="classes/Prelude/List.html#
|
102
|
-
<a href="classes/Prelude/List.html#
|
23
|
+
<a href="classes/Proc.html#M000006">** (Proc)</a><br />
|
24
|
+
<a href="classes/Symbol.html#M000004">** (Symbol)</a><br />
|
25
|
+
<a href="classes/Symbol.html#M000002">-@ (Symbol)</a><br />
|
26
|
+
<a href="classes/Prelude/Monad.html#M000015"><< (Prelude::Monad)</a><br />
|
27
|
+
<a href="classes/Prelude/List.html#M000038">all (Prelude::List)</a><br />
|
28
|
+
<a href="classes/Prelude/List.html#M000035">and_ (Prelude::List)</a><br />
|
29
|
+
<a href="classes/Prelude/List.html#M000037">any (Prelude::List)</a><br />
|
30
|
+
<a href="classes/Prelude/Monad.html#M000014">bind (Prelude::Monad)</a><br />
|
31
|
+
<a href="classes/Prelude/List.html#M000064">break_ (Prelude::List)</a><br />
|
32
|
+
<a href="classes/Kernel.html#M000113">caller_method (Kernel)</a><br />
|
33
|
+
<a href="classes/Prelude/List.html#M000032">concat (Prelude::List)</a><br />
|
34
|
+
<a href="classes/Prelude/List.html#M000034">concatMap (Prelude::List)</a><br />
|
35
|
+
<a href="classes/Prelude/List.html#M000033">concat_map (Prelude::List)</a><br />
|
36
|
+
<a href="classes/Proc.html#M000005">curry (Proc)</a><br />
|
37
|
+
<a href="classes/Symbol.html#M000003">curry (Symbol)</a><br />
|
38
|
+
<a href="classes/Prelude/List.html#M000054">cycle (Prelude::List)</a><br />
|
39
|
+
<a href="classes/Prelude/List.html#M000104">delete (Prelude::List)</a><br />
|
40
|
+
<a href="classes/Prelude/List.html#M000057">drop (Prelude::List)</a><br />
|
41
|
+
<a href="classes/Prelude/List.html#M000062">dropWhile (Prelude::List)</a><br />
|
42
|
+
<a href="classes/Prelude/List.html#M000061">drop_while (Prelude::List)</a><br />
|
43
|
+
<a href="classes/Prelude/List.html#M000072">elem (Prelude::List)</a><br />
|
44
|
+
<a href="classes/Prelude/List.html#M000080">elemIndex (Prelude::List)</a><br />
|
45
|
+
<a href="classes/Prelude/List.html#M000082">elemIndices (Prelude::List)</a><br />
|
46
|
+
<a href="classes/Prelude/List.html#M000079">elem_index (Prelude::List)</a><br />
|
47
|
+
<a href="classes/Prelude/List.html#M000081">elem_indices (Prelude::List)</a><br />
|
48
|
+
<a href="classes/Prelude/Monad.html#M000012">empty (Prelude::Monad)</a><br />
|
49
|
+
<a href="classes/Prelude.html#M000007">empty_list_error (Prelude)</a><br />
|
50
|
+
<a href="classes/Prelude/List.html#M000077">filter (Prelude::List)</a><br />
|
51
|
+
<a href="classes/Prelude/List.html#M000076">find (Prelude::List)</a><br />
|
52
|
+
<a href="classes/Prelude/List.html#M000084">findIndex (Prelude::List)</a><br />
|
53
|
+
<a href="classes/Prelude/List.html#M000086">findIndices (Prelude::List)</a><br />
|
54
|
+
<a href="classes/Prelude/List.html#M000083">find_index (Prelude::List)</a><br />
|
55
|
+
<a href="classes/Prelude/List.html#M000085">find_indices (Prelude::List)</a><br />
|
56
|
+
<a href="classes/Prelude/List.html#M000026">foldl (Prelude::List)</a><br />
|
57
|
+
<a href="classes/Prelude/List.html#M000028">foldl1 (Prelude::List)</a><br />
|
58
|
+
<a href="classes/Prelude/List.html#M000029">foldl1_ (Prelude::List)</a><br />
|
59
|
+
<a href="classes/Prelude/List.html#M000027">foldl_ (Prelude::List)</a><br />
|
60
|
+
<a href="classes/Prelude/List.html#M000030">foldr (Prelude::List)</a><br />
|
61
|
+
<a href="classes/Prelude/List.html#M000031">foldr1 (Prelude::List)</a><br />
|
62
|
+
<a href="classes/Prelude/Tuple.html#M000110">fst (Prelude::Tuple)</a><br />
|
63
|
+
<a href="classes/Prelude.html#M000009">get_proc (Prelude)</a><br />
|
64
|
+
<a href="classes/Prelude/List.html#M000065">group (Prelude::List)</a><br />
|
65
|
+
<a href="classes/Prelude/List.html#M000016">head (Prelude::List)</a><br />
|
66
|
+
<a href="classes/Prelude/List.html#M000019">init (Prelude::List)</a><br />
|
67
|
+
<a href="classes/Prelude/List.html#M000066">inits (Prelude::List)</a><br />
|
68
|
+
<a href="classes/Prelude/List.html#M000108">insert (Prelude::List)</a><br />
|
69
|
+
<a href="classes/Prelude/List.html#M000106">intersect (Prelude::List)</a><br />
|
70
|
+
<a href="classes/Prelude/List.html#M000024">intersperse (Prelude::List)</a><br />
|
71
|
+
<a href="classes/Prelude/List.html#M000069">isPrefixOf (Prelude::List)</a><br />
|
72
|
+
<a href="classes/Prelude/List.html#M000071">isSuffixOf (Prelude::List)</a><br />
|
73
|
+
<a href="classes/Prelude/List.html#M000068">is_prefix_of (Prelude::List)</a><br />
|
74
|
+
<a href="classes/Prelude/List.html#M000070">is_suffix_of (Prelude::List)</a><br />
|
75
|
+
<a href="classes/Prelude/List.html#M000051">iterate (Prelude::List)</a><br />
|
76
|
+
<a href="classes/Prelude/Monad.html#M000013">join (Prelude::Monad)</a><br />
|
77
|
+
<a href="classes/Prelude/List.html#M000018">last (Prelude::List)</a><br />
|
78
|
+
<a href="classes/Prelude/List.html#M000021">length (Prelude::List)</a><br />
|
79
|
+
<a href="classes/Prelude/List.html#M000099">lines (Prelude::List)</a><br />
|
80
|
+
<a href="classes/Prelude/List.html#M000075">lookup (Prelude::List)</a><br />
|
81
|
+
<a href="classes/Prelude/List.html#M000022">map (Prelude::List)</a><br />
|
82
|
+
<a href="classes/Prelude/List.html#M000048">mapAccumL (Prelude::List)</a><br />
|
83
|
+
<a href="classes/Prelude/List.html#M000050">mapAccumR (Prelude::List)</a><br />
|
84
|
+
<a href="classes/Prelude/List.html#M000047">map_accum_l (Prelude::List)</a><br />
|
85
|
+
<a href="classes/Prelude/List.html#M000049">map_accum_r (Prelude::List)</a><br />
|
86
|
+
<a href="classes/Prelude/List.html#M000041">maximum (Prelude::List)</a><br />
|
87
|
+
<a href="classes/Prelude/List.html#M000042">minimum (Prelude::List)</a><br />
|
88
|
+
<a href="classes/Prelude.html#M000008">missing_function_error (Prelude)</a><br />
|
89
|
+
<a href="classes/Prelude/Tuple.html#M000109">new (Prelude::Tuple)</a><br />
|
90
|
+
<a href="classes/Prelude/List.html#M000074">notElem (Prelude::List)</a><br />
|
91
|
+
<a href="classes/Prelude/List.html#M000073">not_elem (Prelude::List)</a><br />
|
92
|
+
<a href="classes/Prelude/List.html#M000103">nub (Prelude::List)</a><br />
|
93
|
+
<a href="classes/Prelude/List.html#M000020">null (Prelude::List)</a><br />
|
94
|
+
<a href="classes/Prelude/List.html#M000036">or_ (Prelude::List)</a><br />
|
95
|
+
<a href="classes/Prelude/List.html#M000078">partition (Prelude::List)</a><br />
|
96
|
+
<a href="classes/Prelude/List.html#M000040">product (Prelude::List)</a><br />
|
97
|
+
<a href="classes/Prelude/List.html#M000052">repeat (Prelude::List)</a><br />
|
98
|
+
<a href="classes/Prelude/List.html#M000053">replicate (Prelude::List)</a><br />
|
99
|
+
<a href="classes/Prelude/List.html#M000023">reverse (Prelude::List)</a><br />
|
100
|
+
<a href="classes/Prelude/List.html#M000043">scanl (Prelude::List)</a><br />
|
101
|
+
<a href="classes/Prelude/List.html#M000044">scanl1 (Prelude::List)</a><br />
|
102
|
+
<a href="classes/Prelude/List.html#M000045">scanr (Prelude::List)</a><br />
|
103
|
+
<a href="classes/Prelude/List.html#M000046">scanr1 (Prelude::List)</a><br />
|
104
|
+
<a href="classes/Kernel.html#M000114">silence_warnings (Kernel)</a><br />
|
105
|
+
<a href="classes/Prelude/Tuple.html#M000111">snd (Prelude::Tuple)</a><br />
|
106
|
+
<a href="classes/Prelude/List.html#M000107">sort (Prelude::List)</a><br />
|
107
|
+
<a href="classes/Prelude/List.html#M000063">span (Prelude::List)</a><br />
|
108
|
+
<a href="classes/Prelude/List.html#M000058">split_at (Prelude::List)</a><br />
|
109
|
+
<a href="classes/Prelude/List.html#M000039">sum (Prelude::List)</a><br />
|
110
|
+
<a href="classes/Prelude/List.html#M000017">tail (Prelude::List)</a><br />
|
111
|
+
<a href="classes/Prelude/List.html#M000067">tails (Prelude::List)</a><br />
|
112
|
+
<a href="classes/Prelude/List.html#M000056">take (Prelude::List)</a><br />
|
113
|
+
<a href="classes/Prelude/List.html#M000060">takeWhile (Prelude::List)</a><br />
|
114
|
+
<a href="classes/Prelude/List.html#M000059">take_while (Prelude::List)</a><br />
|
115
|
+
<a href="classes/Kernel.html#M000112">this_method (Kernel)</a><br />
|
103
116
|
<a href="classes/Symbol.html#M000001">to_proc (Symbol)</a><br />
|
104
|
-
<a href="classes/Prelude/List.html#
|
105
|
-
<a href="classes/Prelude/List.html#
|
106
|
-
<a href="classes/Prelude/List.html#
|
107
|
-
<a href="classes/Prelude/List.html#
|
108
|
-
<a href="classes/Prelude/List.html#
|
109
|
-
<a href="classes/Prelude/
|
110
|
-
<a href="classes/Prelude/List.html#
|
111
|
-
<a href="classes/Prelude/List.html#
|
112
|
-
<a href="classes/Prelude/
|
113
|
-
<a href="classes/Prelude/List.html#
|
114
|
-
<a href="classes/Prelude/
|
115
|
-
<a href="classes/Prelude/List.html#
|
116
|
-
<a href="classes/Prelude/List.html#
|
117
|
-
<a href="classes/Prelude/List.html#
|
118
|
-
<a href="classes/Prelude/List.html#
|
119
|
-
<a href="classes/Prelude/List.html#
|
120
|
-
<a href="classes/Prelude/List.html#
|
117
|
+
<a href="classes/Prelude/List.html#M000025">transpose (Prelude::List)</a><br />
|
118
|
+
<a href="classes/Prelude/List.html#M000055">unfoldr (Prelude::List)</a><br />
|
119
|
+
<a href="classes/Prelude/List.html#M000105">union (Prelude::List)</a><br />
|
120
|
+
<a href="classes/Prelude/List.html#M000101">unlines (Prelude::List)</a><br />
|
121
|
+
<a href="classes/Prelude/List.html#M000102">unwords (Prelude::List)</a><br />
|
122
|
+
<a href="classes/Prelude/Monad.html#M000011">unwrap (Prelude::Monad)</a><br />
|
123
|
+
<a href="classes/Prelude/List.html#M000096">unzip (Prelude::List)</a><br />
|
124
|
+
<a href="classes/Prelude/List.html#M000097">unzip3 (Prelude::List)</a><br />
|
125
|
+
<a href="classes/Prelude/List.html#M000098">unzip4 (Prelude::List)</a><br />
|
126
|
+
<a href="classes/Prelude/List.html#M000100">words (Prelude::List)</a><br />
|
127
|
+
<a href="classes/Prelude/Monad.html#M000010">wrap (Prelude::Monad)</a><br />
|
128
|
+
<a href="classes/Prelude/List.html#M000087">zip (Prelude::List)</a><br />
|
129
|
+
<a href="classes/Prelude/List.html#M000088">zip3 (Prelude::List)</a><br />
|
130
|
+
<a href="classes/Prelude/List.html#M000089">zip4 (Prelude::List)</a><br />
|
131
|
+
<a href="classes/Prelude/List.html#M000091">zipWith (Prelude::List)</a><br />
|
132
|
+
<a href="classes/Prelude/List.html#M000093">zipWith3 (Prelude::List)</a><br />
|
133
|
+
<a href="classes/Prelude/List.html#M000095">zipWith4 (Prelude::List)</a><br />
|
134
|
+
<a href="classes/Prelude/List.html#M000090">zip_with (Prelude::List)</a><br />
|
135
|
+
<a href="classes/Prelude/List.html#M000092">zip_with3 (Prelude::List)</a><br />
|
136
|
+
<a href="classes/Prelude/List.html#M000094">zip_with4 (Prelude::List)</a><br />
|
121
137
|
</div>
|
122
138
|
</div>
|
123
139
|
</body>
|