prelude 0.0.3 → 0.0.5

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.
Files changed (43) hide show
  1. data/CHANGELOG +25 -1
  2. data/README +11 -12
  3. data/Rakefile +6 -10
  4. data/lib/prelude.rb +36 -91
  5. data/lib/prelude/{tuple.rb → array_list.rb} +30 -27
  6. data/lib/prelude/functions.rb +414 -0
  7. data/lib/prelude/functors.rb +72 -0
  8. data/lib/prelude/lambda.rb +89 -0
  9. data/lib/prelude/minimal_array_list.rb +61 -0
  10. data/lib/prelude/monad.rb +11 -15
  11. data/lib/prelude/proper_list.rb +47 -0
  12. data/lib/prelude/proper_ruby_list.rb +48 -0
  13. data/lib/prelude/util.rb +33 -0
  14. data/test/tc_functions.rb +801 -0
  15. data/test/tc_monad.rb +21 -41
  16. data/test/ts_prelude.rb +2 -8
  17. metadata +13 -36
  18. data/doc/classes/Kernel.html +0 -198
  19. data/doc/classes/Prelude.html +0 -241
  20. data/doc/classes/Prelude/EmptyListError.html +0 -113
  21. data/doc/classes/Prelude/List.html +0 -2692
  22. data/doc/classes/Prelude/MissingFunctionError.html +0 -113
  23. data/doc/classes/Prelude/Monad.html +0 -283
  24. data/doc/classes/Prelude/Tuple.html +0 -217
  25. data/doc/classes/Proc.html +0 -198
  26. data/doc/classes/Symbol.html +0 -219
  27. data/doc/created.rid +0 -1
  28. data/doc/files/CHANGELOG.html +0 -122
  29. data/doc/files/README.html +0 -328
  30. data/doc/files/TODO.html +0 -95
  31. data/doc/files/lib/prelude/list_rb.html +0 -83
  32. data/doc/files/lib/prelude/monad_rb.html +0 -83
  33. data/doc/files/lib/prelude/tuple_rb.html +0 -83
  34. data/doc/files/lib/prelude_rb.html +0 -98
  35. data/doc/fr_class_index.html +0 -35
  36. data/doc/fr_file_index.html +0 -33
  37. data/doc/fr_method_index.html +0 -140
  38. data/doc/index.html +0 -27
  39. data/doc/rdoc-style.css +0 -208
  40. data/lib/prelude/list.rb +0 -588
  41. data/test/tc_higher.rb +0 -89
  42. data/test/tc_list.rb +0 -777
  43. data/test/tc_tuple.rb +0 -82
data/doc/classes/Prelude/EmptyListError.html DELETED
@@ -1,113 +0,0 @@
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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
- <head>
8
- <title>Class: Prelude::EmptyListError</title>
9
- <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
- <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
- <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
- <script type="text/javascript">
13
- // <![CDATA[
14
-
15
- function popupCode( url ) {
16
- window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
- }
18
-
19
- function toggleCode( id ) {
20
- if ( document.getElementById )
21
- elem = document.getElementById( id );
22
- else if ( document.all )
23
- elem = eval( "document.all." + id );
24
- else
25
- return false;
26
-
27
- elemStyle = elem.style;
28
-
29
- if ( elemStyle.display != "block" ) {
30
- elemStyle.display = "block"
31
- } else {
32
- elemStyle.display = "none"
33
- }
34
-
35
- return true;
36
- }
37
-
38
- // Make codeblocks hidden by default
39
- document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
-
41
- // ]]>
42
- </script>
43
-
44
- </head>
45
- <body>
46
-
47
-
48
-
49
- <div id="classHeader">
50
- <table class="header-table">
51
- <tr class="top-aligned-row">
52
- <td><strong>Class</strong></td>
53
- <td class="class-name-in-header">Prelude::EmptyListError</td>
54
- </tr>
55
- <tr class="top-aligned-row">
56
- <td><strong>In:</strong></td>
57
- <td>
58
- <a href="../../files/lib/prelude_rb.html">
59
- lib/prelude.rb
60
- </a>
61
- <br />
62
- </td>
63
- </tr>
64
-
65
- <tr class="top-aligned-row">
66
- <td><strong>Parent:</strong></td>
67
- <td>
68
- RuntimeError
69
- </td>
70
- </tr>
71
- </table>
72
- </div>
73
- <!-- banner header -->
74
-
75
- <div id="bodyContent">
76
-
77
-
78
-
79
- <div id="contextContent">
80
-
81
- <div id="description">
82
- <p>
83
- Thrown if an illegal operation is performed on an empty list.
84
- </p>
85
-
86
- </div>
87
-
88
-
89
- </div>
90
-
91
-
92
- </div>
93
-
94
-
95
- <!-- if includes -->
96
-
97
- <div id="section">
98
-
99
-
100
-
101
-
102
-
103
-
104
-
105
-
106
- <!-- if method_list -->
107
-
108
-
109
- </div>
110
-
111
-
112
- </body>
113
- </html>
data/doc/classes/Prelude/List.html DELETED
@@ -1,2692 +0,0 @@
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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
- <head>
8
- <title>Module: Prelude::List</title>
9
- <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
- <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
- <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
- <script type="text/javascript">
13
- // <![CDATA[
14
-
15
- function popupCode( url ) {
16
- window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
- }
18
-
19
- function toggleCode( id ) {
20
- if ( document.getElementById )
21
- elem = document.getElementById( id );
22
- else if ( document.all )
23
- elem = eval( "document.all." + id );
24
- else
25
- return false;
26
-
27
- elemStyle = elem.style;
28
-
29
- if ( elemStyle.display != "block" ) {
30
- elemStyle.display = "block"
31
- } else {
32
- elemStyle.display = "none"
33
- }
34
-
35
- return true;
36
- }
37
-
38
- // Make codeblocks hidden by default
39
- document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
-
41
- // ]]>
42
- </script>
43
-
44
- </head>
45
- <body>
46
-
47
-
48
-
49
- <div id="classHeader">
50
- <table class="header-table">
51
- <tr class="top-aligned-row">
52
- <td><strong>Module</strong></td>
53
- <td class="class-name-in-header">Prelude::List</td>
54
- </tr>
55
- <tr class="top-aligned-row">
56
- <td><strong>In:</strong></td>
57
- <td>
58
- <a href="../../files/lib/prelude/list_rb.html">
59
- lib/prelude/list.rb
60
- </a>
61
- <br />
62
- </td>
63
- </tr>
64
-
65
- </table>
66
- </div>
67
- <!-- banner header -->
68
-
69
- <div id="bodyContent">
70
-
71
-
72
-
73
- <div id="contextContent">
74
-
75
- <div id="description">
76
- <p>
77
- $Id: list.rb 17 2006-09-17 18:03:15Z prelude $
78
- </p>
79
- <p>
80
- This eventually needs to be implemented with lazy lists, see <a
81
- href="http://lazylist.rubyforge.org">lazylist.rubyforge.org</a> for details
82
- </p>
83
- <p>
84
- I used the signatures of Haskell&#8217;s List.hs file in order not to
85
- forget to implement the functions defined there and to remind of what was
86
- intended.
87
- </p>
88
-
89
- </div>
90
-
91
-
92
- </div>
93
-
94
- <div id="method-list">
95
- <h3 class="section-bar">Methods</h3>
96
-
97
- <div class="name-list">
98
- <a href="#M000038">all</a>&nbsp;&nbsp;
99
- <a href="#M000035">and_</a>&nbsp;&nbsp;
100
- <a href="#M000037">any</a>&nbsp;&nbsp;
101
- <a href="#M000064">break_</a>&nbsp;&nbsp;
102
- <a href="#M000032">concat</a>&nbsp;&nbsp;
103
- <a href="#M000034">concatMap</a>&nbsp;&nbsp;
104
- <a href="#M000033">concat_map</a>&nbsp;&nbsp;
105
- <a href="#M000054">cycle</a>&nbsp;&nbsp;
106
- <a href="#M000104">delete</a>&nbsp;&nbsp;
107
- <a href="#M000057">drop</a>&nbsp;&nbsp;
108
- <a href="#M000062">dropWhile</a>&nbsp;&nbsp;
109
- <a href="#M000061">drop_while</a>&nbsp;&nbsp;
110
- <a href="#M000072">elem</a>&nbsp;&nbsp;
111
- <a href="#M000080">elemIndex</a>&nbsp;&nbsp;
112
- <a href="#M000082">elemIndices</a>&nbsp;&nbsp;
113
- <a href="#M000079">elem_index</a>&nbsp;&nbsp;
114
- <a href="#M000081">elem_indices</a>&nbsp;&nbsp;
115
- <a href="#M000077">filter</a>&nbsp;&nbsp;
116
- <a href="#M000076">find</a>&nbsp;&nbsp;
117
- <a href="#M000084">findIndex</a>&nbsp;&nbsp;
118
- <a href="#M000086">findIndices</a>&nbsp;&nbsp;
119
- <a href="#M000083">find_index</a>&nbsp;&nbsp;
120
- <a href="#M000085">find_indices</a>&nbsp;&nbsp;
121
- <a href="#M000026">foldl</a>&nbsp;&nbsp;
122
- <a href="#M000028">foldl1</a>&nbsp;&nbsp;
123
- <a href="#M000029">foldl1_</a>&nbsp;&nbsp;
124
- <a href="#M000027">foldl_</a>&nbsp;&nbsp;
125
- <a href="#M000030">foldr</a>&nbsp;&nbsp;
126
- <a href="#M000031">foldr1</a>&nbsp;&nbsp;
127
- <a href="#M000065">group</a>&nbsp;&nbsp;
128
- <a href="#M000016">head</a>&nbsp;&nbsp;
129
- <a href="#M000019">init</a>&nbsp;&nbsp;
130
- <a href="#M000066">inits</a>&nbsp;&nbsp;
131
- <a href="#M000108">insert</a>&nbsp;&nbsp;
132
- <a href="#M000106">intersect</a>&nbsp;&nbsp;
133
- <a href="#M000024">intersperse</a>&nbsp;&nbsp;
134
- <a href="#M000069">isPrefixOf</a>&nbsp;&nbsp;
135
- <a href="#M000071">isSuffixOf</a>&nbsp;&nbsp;
136
- <a href="#M000068">is_prefix_of</a>&nbsp;&nbsp;
137
- <a href="#M000070">is_suffix_of</a>&nbsp;&nbsp;
138
- <a href="#M000051">iterate</a>&nbsp;&nbsp;
139
- <a href="#M000018">last</a>&nbsp;&nbsp;
140
- <a href="#M000021">length</a>&nbsp;&nbsp;
141
- <a href="#M000099">lines</a>&nbsp;&nbsp;
142
- <a href="#M000075">lookup</a>&nbsp;&nbsp;
143
- <a href="#M000022">map</a>&nbsp;&nbsp;
144
- <a href="#M000048">mapAccumL</a>&nbsp;&nbsp;
145
- <a href="#M000050">mapAccumR</a>&nbsp;&nbsp;
146
- <a href="#M000047">map_accum_l</a>&nbsp;&nbsp;
147
- <a href="#M000049">map_accum_r</a>&nbsp;&nbsp;
148
- <a href="#M000041">maximum</a>&nbsp;&nbsp;
149
- <a href="#M000042">minimum</a>&nbsp;&nbsp;
150
- <a href="#M000074">notElem</a>&nbsp;&nbsp;
151
- <a href="#M000073">not_elem</a>&nbsp;&nbsp;
152
- <a href="#M000103">nub</a>&nbsp;&nbsp;
153
- <a href="#M000020">null</a>&nbsp;&nbsp;
154
- <a href="#M000036">or_</a>&nbsp;&nbsp;
155
- <a href="#M000078">partition</a>&nbsp;&nbsp;
156
- <a href="#M000040">product</a>&nbsp;&nbsp;
157
- <a href="#M000052">repeat</a>&nbsp;&nbsp;
158
- <a href="#M000053">replicate</a>&nbsp;&nbsp;
159
- <a href="#M000023">reverse</a>&nbsp;&nbsp;
160
- <a href="#M000043">scanl</a>&nbsp;&nbsp;
161
- <a href="#M000044">scanl1</a>&nbsp;&nbsp;
162
- <a href="#M000045">scanr</a>&nbsp;&nbsp;
163
- <a href="#M000046">scanr1</a>&nbsp;&nbsp;
164
- <a href="#M000107">sort</a>&nbsp;&nbsp;
165
- <a href="#M000063">span</a>&nbsp;&nbsp;
166
- <a href="#M000058">split_at</a>&nbsp;&nbsp;
167
- <a href="#M000039">sum</a>&nbsp;&nbsp;
168
- <a href="#M000017">tail</a>&nbsp;&nbsp;
169
- <a href="#M000067">tails</a>&nbsp;&nbsp;
170
- <a href="#M000056">take</a>&nbsp;&nbsp;
171
- <a href="#M000060">takeWhile</a>&nbsp;&nbsp;
172
- <a href="#M000059">take_while</a>&nbsp;&nbsp;
173
- <a href="#M000025">transpose</a>&nbsp;&nbsp;
174
- <a href="#M000055">unfoldr</a>&nbsp;&nbsp;
175
- <a href="#M000105">union</a>&nbsp;&nbsp;
176
- <a href="#M000101">unlines</a>&nbsp;&nbsp;
177
- <a href="#M000102">unwords</a>&nbsp;&nbsp;
178
- <a href="#M000096">unzip</a>&nbsp;&nbsp;
179
- <a href="#M000097">unzip3</a>&nbsp;&nbsp;
180
- <a href="#M000098">unzip4</a>&nbsp;&nbsp;
181
- <a href="#M000100">words</a>&nbsp;&nbsp;
182
- <a href="#M000087">zip</a>&nbsp;&nbsp;
183
- <a href="#M000088">zip3</a>&nbsp;&nbsp;
184
- <a href="#M000089">zip4</a>&nbsp;&nbsp;
185
- <a href="#M000091">zipWith</a>&nbsp;&nbsp;
186
- <a href="#M000093">zipWith3</a>&nbsp;&nbsp;
187
- <a href="#M000095">zipWith4</a>&nbsp;&nbsp;
188
- <a href="#M000090">zip_with</a>&nbsp;&nbsp;
189
- <a href="#M000092">zip_with3</a>&nbsp;&nbsp;
190
- <a href="#M000094">zip_with4</a>&nbsp;&nbsp;
191
- </div>
192
- </div>
193
-
194
- </div>
195
-
196
-
197
- <!-- if includes -->
198
-
199
- <div id="section">
200
-
201
-
202
-
203
-
204
-
205
-
206
-
207
-
208
- <!-- if method_list -->
209
- <div id="methods">
210
- <h3 class="section-bar">Public Instance methods</h3>
211
-
212
- <div id="method-M000038" class="method-detail">
213
- <a name="M000038"></a>
214
-
215
- <div class="method-heading">
216
- <a href="#M000038" class="method-signature">
217
- <span class="method-name">all</span><span class="method-args">(f, list)</span>
218
- </a>
219
- </div>
220
-
221
- <div class="method-description">
222
- <table>
223
- <tr><td valign="top">all &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; Bool
224
-
225
- </td></tr>
226
- </table>
227
- <p><a class="source-toggle" href="#"
228
- onclick="toggleCode('M000038-source');return false;">[Source]</a></p>
229
- <div class="method-source-code" id="M000038-source">
230
- <pre>
231
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 180</span>
232
- 180: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">all</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
233
- 181: <span class="ruby-identifier">and_</span>(<span class="ruby-operator">~</span><span class="ruby-identifier">map</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>))
234
- 182: <span class="ruby-keyword kw">end</span>
235
- </pre>
236
- </div>
237
- </div>
238
- </div>
239
-
240
- <div id="method-M000035" class="method-detail">
241
- <a name="M000035"></a>
242
-
243
- <div class="method-heading">
244
- <a href="#M000035" class="method-signature">
245
- <span class="method-name">and_</span><span class="method-args">(list)</span>
246
- </a>
247
- </div>
248
-
249
- <div class="method-description">
250
- <table>
251
- <tr><td valign="top">and &#8212; :</td><td>[Bool] -&gt; Bool
252
-
253
- </td></tr>
254
- </table>
255
- <p><a class="source-toggle" href="#"
256
- onclick="toggleCode('M000035-source');return false;">[Source]</a></p>
257
- <div class="method-source-code" id="M000035-source">
258
- <pre>
259
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 165</span>
260
- 165: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">and_</span>(<span class="ruby-identifier">list</span>)
261
- 166: <span class="ruby-identifier">foldr</span>(<span class="ruby-identifier">lambda</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span>,<span class="ruby-identifier">y</span><span class="ruby-operator">|</span> <span class="ruby-identifier">x</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">y</span>}, <span class="ruby-keyword kw">true</span>, <span class="ruby-identifier">list</span>)
262
- 167: <span class="ruby-keyword kw">end</span>
263
- </pre>
264
- </div>
265
- </div>
266
- </div>
267
-
268
- <div id="method-M000037" class="method-detail">
269
- <a name="M000037"></a>
270
-
271
- <div class="method-heading">
272
- <a href="#M000037" class="method-signature">
273
- <span class="method-name">any</span><span class="method-args">(f, list)</span>
274
- </a>
275
- </div>
276
-
277
- <div class="method-description">
278
- <table>
279
- <tr><td valign="top">any &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; Bool
280
-
281
- </td></tr>
282
- </table>
283
- <p><a class="source-toggle" href="#"
284
- onclick="toggleCode('M000037-source');return false;">[Source]</a></p>
285
- <div class="method-source-code" id="M000037-source">
286
- <pre>
287
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 175</span>
288
- 175: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">any</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
289
- 176: <span class="ruby-identifier">or_</span>(<span class="ruby-operator">~</span><span class="ruby-identifier">map</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>))
290
- 177: <span class="ruby-keyword kw">end</span>
291
- </pre>
292
- </div>
293
- </div>
294
- </div>
295
-
296
- <div id="method-M000064" class="method-detail">
297
- <a name="M000064"></a>
298
-
299
- <div class="method-heading">
300
- <a href="#M000064" class="method-signature">
301
- <span class="method-name">break_</span><span class="method-args">(list)</span>
302
- </a>
303
- </div>
304
-
305
- <div class="method-description">
306
- <table>
307
- <tr><td valign="top">break &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])
308
-
309
- </td></tr>
310
- </table>
311
- <p><a class="source-toggle" href="#"
312
- onclick="toggleCode('M000064-source');return false;">[Source]</a></p>
313
- <div class="method-source-code" id="M000064-source">
314
- <pre>
315
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 333</span>
316
- 333: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">break_</span>(<span class="ruby-identifier">list</span>)
317
- 334: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'break' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
318
- 335: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
319
- 336: <span class="ruby-keyword kw">end</span>
320
- </pre>
321
- </div>
322
- </div>
323
- </div>
324
-
325
- <div id="method-M000032" class="method-detail">
326
- <a name="M000032"></a>
327
-
328
- <div class="method-heading">
329
- <a href="#M000032" class="method-signature">
330
- <span class="method-name">concat</span><span class="method-args">(list)</span>
331
- </a>
332
- </div>
333
-
334
- <div class="method-description">
335
- <table>
336
- <tr><td valign="top">concat &#8212; :</td><td>[[a]] -&gt; [a]
337
-
338
- </td></tr>
339
- </table>
340
- <p><a class="source-toggle" href="#"
341
- onclick="toggleCode('M000032-source');return false;">[Source]</a></p>
342
- <div class="method-source-code" id="M000032-source">
343
- <pre>
344
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 153</span>
345
- 153: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">concat</span>(<span class="ruby-identifier">list</span>)
346
- 154: <span class="ruby-identifier">foldr</span>(<span class="ruby-operator">-</span><span class="ruby-identifier">:+</span>, [], <span class="ruby-identifier">list</span>)
347
- 155: <span class="ruby-keyword kw">end</span>
348
- </pre>
349
- </div>
350
- </div>
351
- </div>
352
-
353
- <div id="method-M000034" class="method-detail">
354
- <a name="M000034"></a>
355
-
356
- <div class="method-heading">
357
- <span class="method-name">concatMap</span><span class="method-args">(list)</span>
358
- </div>
359
-
360
- <div class="method-description">
361
- <p>
362
- Alias for <a href="List.html#M000033">concat_map</a>
363
- </p>
364
- </div>
365
- </div>
366
-
367
- <div id="method-M000033" class="method-detail">
368
- <a name="M000033"></a>
369
-
370
- <div class="method-heading">
371
- <a href="#M000033" class="method-signature">
372
- <span class="method-name">concat_map</span><span class="method-args">(list)</span>
373
- </a>
374
- </div>
375
-
376
- <div class="method-description">
377
- <table>
378
- <tr><td valign="top">concatMap &#8212; :</td><td>(a -&gt; [b]) -&gt; [a] -&gt; [b]
379
-
380
- </td></tr>
381
- </table>
382
- <p><a class="source-toggle" href="#"
383
- onclick="toggleCode('M000033-source');return false;">[Source]</a></p>
384
- <div class="method-source-code" id="M000033-source">
385
- <pre>
386
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 158</span>
387
- 158: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">concat_map</span>(<span class="ruby-identifier">list</span>)
388
- 159: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'concatMap' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
389
- 160: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
390
- 161: <span class="ruby-keyword kw">end</span>
391
- </pre>
392
- </div>
393
- </div>
394
- </div>
395
-
396
- <div id="method-M000054" class="method-detail">
397
- <a name="M000054"></a>
398
-
399
- <div class="method-heading">
400
- <a href="#M000054" class="method-signature">
401
- <span class="method-name">cycle</span><span class="method-args">(list)</span>
402
- </a>
403
- </div>
404
-
405
- <div class="method-description">
406
- <table>
407
- <tr><td valign="top">cycle &#8212; :</td><td>[a] -&gt; [a]
408
-
409
- </td></tr>
410
- </table>
411
- <p><a class="source-toggle" href="#"
412
- onclick="toggleCode('M000054-source');return false;">[Source]</a></p>
413
- <div class="method-source-code" id="M000054-source">
414
- <pre>
415
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 275</span>
416
- 275: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">cycle</span>(<span class="ruby-identifier">list</span>)
417
- 276: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'cycle' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
418
- 277: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
419
- 278: <span class="ruby-keyword kw">end</span>
420
- </pre>
421
- </div>
422
- </div>
423
- </div>
424
-
425
- <div id="method-M000104" class="method-detail">
426
- <a name="M000104"></a>
427
-
428
- <div class="method-heading">
429
- <a href="#M000104" class="method-signature">
430
- <span class="method-name">delete</span><span class="method-args">(o, list)</span>
431
- </a>
432
- </div>
433
-
434
- <div class="method-description">
435
- <table>
436
- <tr><td valign="top">delete &#8212; :</td><td>(Eq a) =&gt; a -&gt; [a] -&gt; [a]
437
-
438
- </td></tr>
439
- </table>
440
- <p><a class="source-toggle" href="#"
441
- onclick="toggleCode('M000104-source');return false;">[Source]</a></p>
442
- <div class="method-source-code" id="M000104-source">
443
- <pre>
444
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 555</span>
445
- 555: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">delete</span>(<span class="ruby-identifier">o</span>, <span class="ruby-identifier">list</span>)
446
- 556: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'delete' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
447
- 557: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
448
- 558: <span class="ruby-keyword kw">end</span>
449
- </pre>
450
- </div>
451
- </div>
452
- </div>
453
-
454
- <div id="method-M000057" class="method-detail">
455
- <a name="M000057"></a>
456
-
457
- <div class="method-heading">
458
- <a href="#M000057" class="method-signature">
459
- <span class="method-name">drop</span><span class="method-args">(n, list)</span>
460
- </a>
461
- </div>
462
-
463
- <div class="method-description">
464
- <table>
465
- <tr><td valign="top">drop &#8212; :</td><td>Int -&gt; [a] -&gt; [a]
466
-
467
- </td></tr>
468
- </table>
469
- <p><a class="source-toggle" href="#"
470
- onclick="toggleCode('M000057-source');return false;">[Source]</a></p>
471
- <div class="method-source-code" id="M000057-source">
472
- <pre>
473
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 298</span>
474
- 298: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">drop</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">list</span>)
475
- 299: <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>[<span class="ruby-identifier">n</span><span class="ruby-operator">..</span><span class="ruby-value">-1</span>] }
476
- 300: <span class="ruby-keyword kw">end</span>
477
- </pre>
478
- </div>
479
- </div>
480
- </div>
481
-
482
- <div id="method-M000062" class="method-detail">
483
- <a name="M000062"></a>
484
-
485
- <div class="method-heading">
486
- <span class="method-name">dropWhile</span><span class="method-args">(p, list)</span>
487
- </div>
488
-
489
- <div class="method-description">
490
- <p>
491
- Alias for <a href="List.html#M000061">drop_while</a>
492
- </p>
493
- </div>
494
- </div>
495
-
496
- <div id="method-M000061" class="method-detail">
497
- <a name="M000061"></a>
498
-
499
- <div class="method-heading">
500
- <a href="#M000061" class="method-signature">
501
- <span class="method-name">drop_while</span><span class="method-args">(p, list)</span>
502
- </a>
503
- </div>
504
-
505
- <div class="method-description">
506
- <table>
507
- <tr><td valign="top">dropWhile &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; [a]
508
-
509
- </td></tr>
510
- </table>
511
- <p><a class="source-toggle" href="#"
512
- onclick="toggleCode('M000061-source');return false;">[Source]</a></p>
513
- <div class="method-source-code" id="M000061-source">
514
- <pre>
515
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 318</span>
516
- 318: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">drop_while</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>)
517
- 319: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
518
- 320: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { [] }
519
- 321: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">p</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)] <span class="ruby-operator">?</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-operator">~</span><span class="ruby-identifier">drop_while</span>(<span class="ruby-identifier">p</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)) } <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span> }
520
- 322: <span class="ruby-keyword kw">end</span>
521
- 323: <span class="ruby-keyword kw">end</span>
522
- </pre>
523
- </div>
524
- </div>
525
- </div>
526
-
527
- <div id="method-M000072" class="method-detail">
528
- <a name="M000072"></a>
529
-
530
- <div class="method-heading">
531
- <a href="#M000072" class="method-signature">
532
- <span class="method-name">elem</span><span class="method-args">(list)</span>
533
- </a>
534
- </div>
535
-
536
- <div class="method-description">
537
- <table>
538
- <tr><td valign="top">elem &#8212; :</td><td>a -&gt; [a] -&gt; Bool
539
-
540
- </td></tr>
541
- </table>
542
- <p><a class="source-toggle" href="#"
543
- onclick="toggleCode('M000072-source');return false;">[Source]</a></p>
544
- <div class="method-source-code" id="M000072-source">
545
- <pre>
546
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 379</span>
547
- 379: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">elem</span>(<span class="ruby-identifier">list</span>)
548
- 380: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'elem' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
549
- 381: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
550
- 382: <span class="ruby-keyword kw">end</span>
551
- </pre>
552
- </div>
553
- </div>
554
- </div>
555
-
556
- <div id="method-M000080" class="method-detail">
557
- <a name="M000080"></a>
558
-
559
- <div class="method-heading">
560
- <span class="method-name">elemIndex</span><span class="method-args">(list)</span>
561
- </div>
562
-
563
- <div class="method-description">
564
- <p>
565
- Alias for <a href="List.html#M000079">elem_index</a>
566
- </p>
567
- </div>
568
- </div>
569
-
570
- <div id="method-M000082" class="method-detail">
571
- <a name="M000082"></a>
572
-
573
- <div class="method-heading">
574
- <span class="method-name">elemIndices</span><span class="method-args">(list)</span>
575
- </div>
576
-
577
- <div class="method-description">
578
- <p>
579
- Alias for <a href="List.html#M000081">elem_indices</a>
580
- </p>
581
- </div>
582
- </div>
583
-
584
- <div id="method-M000079" class="method-detail">
585
- <a name="M000079"></a>
586
-
587
- <div class="method-heading">
588
- <a href="#M000079" class="method-signature">
589
- <span class="method-name">elem_index</span><span class="method-args">(list)</span>
590
- </a>
591
- </div>
592
-
593
- <div class="method-description">
594
- <table>
595
- <tr><td valign="top">elemIndex &#8212; :</td><td>(Eq a) =&gt; a -&gt; [a] -&gt; Maybe Int
596
-
597
- </td></tr>
598
- </table>
599
- <p><a class="source-toggle" href="#"
600
- onclick="toggleCode('M000079-source');return false;">[Source]</a></p>
601
- <div class="method-source-code" id="M000079-source">
602
- <pre>
603
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 425</span>
604
- 425: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">elem_index</span>(<span class="ruby-identifier">list</span>)
605
- 426: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'elem_index' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
606
- 427: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
607
- 428: <span class="ruby-keyword kw">end</span>
608
- </pre>
609
- </div>
610
- </div>
611
- </div>
612
-
613
- <div id="method-M000081" class="method-detail">
614
- <a name="M000081"></a>
615
-
616
- <div class="method-heading">
617
- <a href="#M000081" class="method-signature">
618
- <span class="method-name">elem_indices</span><span class="method-args">(list)</span>
619
- </a>
620
- </div>
621
-
622
- <div class="method-description">
623
- <table>
624
- <tr><td valign="top">elemIndices &#8212; :</td><td>(Eq a) =&gt; a -&gt; [a] -&gt; [Int]
625
-
626
- </td></tr>
627
- </table>
628
- <p><a class="source-toggle" href="#"
629
- onclick="toggleCode('M000081-source');return false;">[Source]</a></p>
630
- <div class="method-source-code" id="M000081-source">
631
- <pre>
632
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 433</span>
633
- 433: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">elem_indices</span>(<span class="ruby-identifier">list</span>)
634
- 434: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'elem_indices' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
635
- 435: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
636
- 436: <span class="ruby-keyword kw">end</span>
637
- </pre>
638
- </div>
639
- </div>
640
- </div>
641
-
642
- <div id="method-M000077" class="method-detail">
643
- <a name="M000077"></a>
644
-
645
- <div class="method-heading">
646
- <a href="#M000077" class="method-signature">
647
- <span class="method-name">filter</span><span class="method-args">(list)</span>
648
- </a>
649
- </div>
650
-
651
- <div class="method-description">
652
- <table>
653
- <tr><td valign="top">filter &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; [a]
654
-
655
- </td></tr>
656
- </table>
657
- <p><a class="source-toggle" href="#"
658
- onclick="toggleCode('M000077-source');return false;">[Source]</a></p>
659
- <div class="method-source-code" id="M000077-source">
660
- <pre>
661
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 407</span>
662
- 407: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">filter</span>(<span class="ruby-identifier">list</span>)
663
- 408: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'filter' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
664
- 409: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
665
- 410: <span class="ruby-keyword kw">end</span>
666
- </pre>
667
- </div>
668
- </div>
669
- </div>
670
-
671
- <div id="method-M000076" class="method-detail">
672
- <a name="M000076"></a>
673
-
674
- <div class="method-heading">
675
- <a href="#M000076" class="method-signature">
676
- <span class="method-name">find</span><span class="method-args">(p, list)</span>
677
- </a>
678
- </div>
679
-
680
- <div class="method-description">
681
- <table>
682
- <tr><td valign="top">find &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; Maybe a
683
-
684
- </td></tr>
685
- </table>
686
- <p><a class="source-toggle" href="#"
687
- onclick="toggleCode('M000076-source');return false;">[Source]</a></p>
688
- <div class="method-source-code" id="M000076-source">
689
- <pre>
690
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 401</span>
691
- 401: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">find</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>)
692
- 402: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'find' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
693
- 403: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
694
- 404: <span class="ruby-keyword kw">end</span>
695
- </pre>
696
- </div>
697
- </div>
698
- </div>
699
-
700
- <div id="method-M000084" class="method-detail">
701
- <a name="M000084"></a>
702
-
703
- <div class="method-heading">
704
- <span class="method-name">findIndex</span><span class="method-args">(list)</span>
705
- </div>
706
-
707
- <div class="method-description">
708
- <p>
709
- Alias for <a href="List.html#M000083">find_index</a>
710
- </p>
711
- </div>
712
- </div>
713
-
714
- <div id="method-M000086" class="method-detail">
715
- <a name="M000086"></a>
716
-
717
- <div class="method-heading">
718
- <span class="method-name">findIndices</span><span class="method-args">(list)</span>
719
- </div>
720
-
721
- <div class="method-description">
722
- <p>
723
- Alias for <a href="List.html#M000085">find_indices</a>
724
- </p>
725
- </div>
726
- </div>
727
-
728
- <div id="method-M000083" class="method-detail">
729
- <a name="M000083"></a>
730
-
731
- <div class="method-heading">
732
- <a href="#M000083" class="method-signature">
733
- <span class="method-name">find_index</span><span class="method-args">(list)</span>
734
- </a>
735
- </div>
736
-
737
- <div class="method-description">
738
- <table>
739
- <tr><td valign="top">findIndex &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; Maybe Int
740
-
741
- </td></tr>
742
- </table>
743
- <p><a class="source-toggle" href="#"
744
- onclick="toggleCode('M000083-source');return false;">[Source]</a></p>
745
- <div class="method-source-code" id="M000083-source">
746
- <pre>
747
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 441</span>
748
- 441: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">find_index</span>(<span class="ruby-identifier">list</span>)
749
- 442: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'find_index' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
750
- 443: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
751
- 444: <span class="ruby-keyword kw">end</span>
752
- </pre>
753
- </div>
754
- </div>
755
- </div>
756
-
757
- <div id="method-M000085" class="method-detail">
758
- <a name="M000085"></a>
759
-
760
- <div class="method-heading">
761
- <a href="#M000085" class="method-signature">
762
- <span class="method-name">find_indices</span><span class="method-args">(list)</span>
763
- </a>
764
- </div>
765
-
766
- <div class="method-description">
767
- <table>
768
- <tr><td valign="top">findIndices &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; [Int]
769
-
770
- </td></tr>
771
- </table>
772
- <p><a class="source-toggle" href="#"
773
- onclick="toggleCode('M000085-source');return false;">[Source]</a></p>
774
- <div class="method-source-code" id="M000085-source">
775
- <pre>
776
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 449</span>
777
- 449: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">find_indices</span>(<span class="ruby-identifier">list</span>)
778
- 450: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'find_indices' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
779
- 451: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
780
- 452: <span class="ruby-keyword kw">end</span>
781
- </pre>
782
- </div>
783
- </div>
784
- </div>
785
-
786
- <div id="method-M000026" class="method-detail">
787
- <a name="M000026"></a>
788
-
789
- <div class="method-heading">
790
- <a href="#M000026" class="method-signature">
791
- <span class="method-name">foldl</span><span class="method-args">(f, a, list)</span>
792
- </a>
793
- </div>
794
-
795
- <div class="method-description">
796
- <table>
797
- <tr><td valign="top">foldl &#8212; :</td><td>(a -&gt; b -&gt; a) -&gt; a -&gt; [b] -&gt; a
798
-
799
- </td></tr>
800
- </table>
801
- <p><a class="source-toggle" href="#"
802
- onclick="toggleCode('M000026-source');return false;">[Source]</a></p>
803
- <div class="method-source-code" id="M000026-source">
804
- <pre>
805
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 113</span>
806
- 113: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldl</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">a</span>, <span class="ruby-identifier">list</span>)
807
- 114: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
808
- 115: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">a</span> }
809
- 116: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">f</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">foldl</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">a</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)), <span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)] }
810
- 117: <span class="ruby-keyword kw">end</span>
811
- 118: <span class="ruby-keyword kw">end</span>
812
- </pre>
813
- </div>
814
- </div>
815
- </div>
816
-
817
- <div id="method-M000028" class="method-detail">
818
- <a name="M000028"></a>
819
-
820
- <div class="method-heading">
821
- <a href="#M000028" class="method-signature">
822
- <span class="method-name">foldl1</span><span class="method-args">(f, list)</span>
823
- </a>
824
- </div>
825
-
826
- <div class="method-description">
827
- <table>
828
- <tr><td valign="top">foldl1 &#8212; :</td><td>(a -&gt; a -&gt; a) -&gt; [a] -&gt; a
829
-
830
- </td></tr>
831
- </table>
832
- <p><a class="source-toggle" href="#"
833
- onclick="toggleCode('M000028-source');return false;">[Source]</a></p>
834
- <div class="method-source-code" id="M000028-source">
835
- <pre>
836
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 127</span>
837
- 127: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldl1</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
838
- 128: <span class="ruby-identifier">foldl</span>(<span class="ruby-identifier">f</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>), <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>))
839
- 129: <span class="ruby-keyword kw">end</span>
840
- </pre>
841
- </div>
842
- </div>
843
- </div>
844
-
845
- <div id="method-M000029" class="method-detail">
846
- <a name="M000029"></a>
847
-
848
- <div class="method-heading">
849
- <a href="#M000029" class="method-signature">
850
- <span class="method-name">foldl1_</span><span class="method-args">(list)</span>
851
- </a>
852
- </div>
853
-
854
- <div class="method-description">
855
- <table>
856
- <tr><td valign="top">foldl1&#8217; &#8212; :</td><td>(a -&gt; a -&gt; a) -&gt; [a] -&gt; a
857
-
858
- </td></tr>
859
- </table>
860
- <p><a class="source-toggle" href="#"
861
- onclick="toggleCode('M000029-source');return false;">[Source]</a></p>
862
- <div class="method-source-code" id="M000029-source">
863
- <pre>
864
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 132</span>
865
- 132: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldl1_</span>(<span class="ruby-identifier">list</span>)
866
- 133: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'foldl1_' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
867
- 134: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
868
- 135: <span class="ruby-keyword kw">end</span>
869
- </pre>
870
- </div>
871
- </div>
872
- </div>
873
-
874
- <div id="method-M000027" class="method-detail">
875
- <a name="M000027"></a>
876
-
877
- <div class="method-heading">
878
- <a href="#M000027" class="method-signature">
879
- <span class="method-name">foldl_</span><span class="method-args">(list)</span>
880
- </a>
881
- </div>
882
-
883
- <div class="method-description">
884
- <table>
885
- <tr><td valign="top">foldl&#8217; &#8212; :</td><td>(a -&gt; b -&gt; a) -&gt; a -&gt; [b] -&gt; a
886
-
887
- </td></tr>
888
- </table>
889
- <p><a class="source-toggle" href="#"
890
- onclick="toggleCode('M000027-source');return false;">[Source]</a></p>
891
- <div class="method-source-code" id="M000027-source">
892
- <pre>
893
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 121</span>
894
- 121: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldl_</span>(<span class="ruby-identifier">list</span>)
895
- 122: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'foldl_' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
896
- 123: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
897
- 124: <span class="ruby-keyword kw">end</span>
898
- </pre>
899
- </div>
900
- </div>
901
- </div>
902
-
903
- <div id="method-M000030" class="method-detail">
904
- <a name="M000030"></a>
905
-
906
- <div class="method-heading">
907
- <a href="#M000030" class="method-signature">
908
- <span class="method-name">foldr</span><span class="method-args">(f, s, list)</span>
909
- </a>
910
- </div>
911
-
912
- <div class="method-description">
913
- <table>
914
- <tr><td valign="top">foldr &#8212; :</td><td>(a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; b
915
-
916
- </td></tr>
917
- </table>
918
- <p><a class="source-toggle" href="#"
919
- onclick="toggleCode('M000030-source');return false;">[Source]</a></p>
920
- <div class="method-source-code" id="M000030-source">
921
- <pre>
922
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 138</span>
923
- 138: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldr</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">s</span>, <span class="ruby-identifier">list</span>)
924
- 139: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
925
- 140: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">s</span> }
926
- 141: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">f</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>), <span class="ruby-operator">~</span><span class="ruby-identifier">foldr</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">s</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>))] }
927
- 142: <span class="ruby-keyword kw">end</span>
928
- 143: <span class="ruby-keyword kw">end</span>
929
- </pre>
930
- </div>
931
- </div>
932
- </div>
933
-
934
- <div id="method-M000031" class="method-detail">
935
- <a name="M000031"></a>
936
-
937
- <div class="method-heading">
938
- <a href="#M000031" class="method-signature">
939
- <span class="method-name">foldr1</span><span class="method-args">(f, list)</span>
940
- </a>
941
- </div>
942
-
943
- <div class="method-description">
944
- <table>
945
- <tr><td valign="top">foldr1 &#8212; :</td><td>(a -&gt; a -&gt; a) -&gt; [a] -&gt; a
946
-
947
- </td></tr>
948
- </table>
949
- <p><a class="source-toggle" href="#"
950
- onclick="toggleCode('M000031-source');return false;">[Source]</a></p>
951
- <div class="method-source-code" id="M000031-source">
952
- <pre>
953
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 146</span>
954
- 146: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">foldr1</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
955
- 147: <span class="ruby-identifier">foldr</span>(<span class="ruby-identifier">f</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>), <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>))
956
- 148: <span class="ruby-keyword kw">end</span>
957
- </pre>
958
- </div>
959
- </div>
960
- </div>
961
-
962
- <div id="method-M000065" class="method-detail">
963
- <a name="M000065"></a>
964
-
965
- <div class="method-heading">
966
- <a href="#M000065" class="method-signature">
967
- <span class="method-name">group</span><span class="method-args">(list)</span>
968
- </a>
969
- </div>
970
-
971
- <div class="method-description">
972
- <table>
973
- <tr><td valign="top">group &#8212; :</td><td>Eq a =&gt; [a] -&gt; [[a]]
974
-
975
- </td></tr>
976
- </table>
977
- <p><a class="source-toggle" href="#"
978
- onclick="toggleCode('M000065-source');return false;">[Source]</a></p>
979
- <div class="method-source-code" id="M000065-source">
980
- <pre>
981
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 339</span>
982
- 339: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">group</span>(<span class="ruby-identifier">list</span>)
983
- 340: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'group' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
984
- 341: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
985
- 342: <span class="ruby-keyword kw">end</span>
986
- </pre>
987
- </div>
988
- </div>
989
- </div>
990
-
991
- <div id="method-M000016" class="method-detail">
992
- <a name="M000016"></a>
993
-
994
- <div class="method-heading">
995
- <a href="#M000016" class="method-signature">
996
- <span class="method-name">head</span><span class="method-args">(list)</span>
997
- </a>
998
- </div>
999
-
1000
- <div class="method-description">
1001
- <table>
1002
- <tr><td valign="top">head &#8212; :</td><td>[a] -&gt; a
1003
-
1004
- </td></tr>
1005
- </table>
1006
- <p><a class="source-toggle" href="#"
1007
- onclick="toggleCode('M000016-source');return false;">[Source]</a></p>
1008
- <div class="method-source-code" id="M000016-source">
1009
- <pre>
1010
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 36</span>
1011
- 36: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)
1012
- 37: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
1013
- 38: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">empty_list_error</span>
1014
- 39: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>[<span class="ruby-value">0</span>] }
1015
- 40: <span class="ruby-keyword kw">end</span>
1016
- 41: <span class="ruby-keyword kw">end</span>
1017
- </pre>
1018
- </div>
1019
- </div>
1020
- </div>
1021
-
1022
- <div id="method-M000019" class="method-detail">
1023
- <a name="M000019"></a>
1024
-
1025
- <div class="method-heading">
1026
- <a href="#M000019" class="method-signature">
1027
- <span class="method-name">init</span><span class="method-args">(list)</span>
1028
- </a>
1029
- </div>
1030
-
1031
- <div class="method-description">
1032
- <table>
1033
- <tr><td valign="top">init &#8212; :</td><td>[a] -&gt; [a]
1034
-
1035
- </td></tr>
1036
- </table>
1037
- <p><a class="source-toggle" href="#"
1038
- onclick="toggleCode('M000019-source');return false;">[Source]</a></p>
1039
- <div class="method-source-code" id="M000019-source">
1040
- <pre>
1041
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 61</span>
1042
- 61: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">init</span>(<span class="ruby-identifier">list</span>)
1043
- 62: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
1044
- 63: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">empty_list_error</span>
1045
- 64: <span class="ruby-keyword kw">when</span> [<span class="ruby-identifier">list</span>[<span class="ruby-value">0</span>]] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { [] }
1046
- 65: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { [<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)]<span class="ruby-operator">+</span><span class="ruby-operator">~</span><span class="ruby-identifier">init</span>(<span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)) }
1047
- 66: <span class="ruby-keyword kw">end</span>
1048
- 67: <span class="ruby-keyword kw">end</span>
1049
- </pre>
1050
- </div>
1051
- </div>
1052
- </div>
1053
-
1054
- <div id="method-M000066" class="method-detail">
1055
- <a name="M000066"></a>
1056
-
1057
- <div class="method-heading">
1058
- <a href="#M000066" class="method-signature">
1059
- <span class="method-name">inits</span><span class="method-args">(list)</span>
1060
- </a>
1061
- </div>
1062
-
1063
- <div class="method-description">
1064
- <table>
1065
- <tr><td valign="top">inits &#8212; :</td><td>[a] -&gt; [[a]]
1066
-
1067
- </td></tr>
1068
- </table>
1069
- <p><a class="source-toggle" href="#"
1070
- onclick="toggleCode('M000066-source');return false;">[Source]</a></p>
1071
- <div class="method-source-code" id="M000066-source">
1072
- <pre>
1073
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 345</span>
1074
- 345: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">inits</span>(<span class="ruby-identifier">list</span>)
1075
- 346: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'inits' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1076
- 347: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1077
- 348: <span class="ruby-keyword kw">end</span>
1078
- </pre>
1079
- </div>
1080
- </div>
1081
- </div>
1082
-
1083
- <div id="method-M000108" class="method-detail">
1084
- <a name="M000108"></a>
1085
-
1086
- <div class="method-heading">
1087
- <a href="#M000108" class="method-signature">
1088
- <span class="method-name">insert</span><span class="method-args">(o, list)</span>
1089
- </a>
1090
- </div>
1091
-
1092
- <div class="method-description">
1093
- <table>
1094
- <tr><td valign="top">insert &#8212; :</td><td>(Ord a) =&gt; a -&gt; [a] -&gt; [a]
1095
-
1096
- </td></tr>
1097
- </table>
1098
- <p><a class="source-toggle" href="#"
1099
- onclick="toggleCode('M000108-source');return false;">[Source]</a></p>
1100
- <div class="method-source-code" id="M000108-source">
1101
- <pre>
1102
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 581</span>
1103
- 581: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">insert</span>(<span class="ruby-identifier">o</span>, <span class="ruby-identifier">list</span>)
1104
- 582: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'insert' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1105
- 583: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1106
- 584: <span class="ruby-keyword kw">end</span>
1107
- </pre>
1108
- </div>
1109
- </div>
1110
- </div>
1111
-
1112
- <div id="method-M000106" class="method-detail">
1113
- <a name="M000106"></a>
1114
-
1115
- <div class="method-heading">
1116
- <a href="#M000106" class="method-signature">
1117
- <span class="method-name">intersect</span><span class="method-args">(list)</span>
1118
- </a>
1119
- </div>
1120
-
1121
- <div class="method-description">
1122
- <table>
1123
- <tr><td valign="top">intersect &#8212; :</td><td>(Eq a) =&gt; [a] -&gt; [a] -&gt; [a]
1124
-
1125
- </td></tr>
1126
- </table>
1127
- <p><a class="source-toggle" href="#"
1128
- onclick="toggleCode('M000106-source');return false;">[Source]</a></p>
1129
- <div class="method-source-code" id="M000106-source">
1130
- <pre>
1131
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 567</span>
1132
- 567: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">intersect</span>(<span class="ruby-identifier">list</span>)
1133
- 568: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'intersect' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1134
- 569: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1135
- 570: <span class="ruby-keyword kw">end</span>
1136
- </pre>
1137
- </div>
1138
- </div>
1139
- </div>
1140
-
1141
- <div id="method-M000024" class="method-detail">
1142
- <a name="M000024"></a>
1143
-
1144
- <div class="method-heading">
1145
- <a href="#M000024" class="method-signature">
1146
- <span class="method-name">intersperse</span><span class="method-args">(list)</span>
1147
- </a>
1148
- </div>
1149
-
1150
- <div class="method-description">
1151
- <table>
1152
- <tr><td valign="top">intersperse &#8212; :</td><td>a -&gt; [a] -&gt; [a]
1153
-
1154
- </td></tr>
1155
- </table>
1156
- <p><a class="source-toggle" href="#"
1157
- onclick="toggleCode('M000024-source');return false;">[Source]</a></p>
1158
- <div class="method-source-code" id="M000024-source">
1159
- <pre>
1160
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 99</span>
1161
- 99: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">intersperse</span>(<span class="ruby-identifier">list</span>)
1162
- 100: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'intersperse' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1163
- 101: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1164
- 102: <span class="ruby-keyword kw">end</span>
1165
- </pre>
1166
- </div>
1167
- </div>
1168
- </div>
1169
-
1170
- <div id="method-M000069" class="method-detail">
1171
- <a name="M000069"></a>
1172
-
1173
- <div class="method-heading">
1174
- <span class="method-name">isPrefixOf</span><span class="method-args">(list)</span>
1175
- </div>
1176
-
1177
- <div class="method-description">
1178
- <p>
1179
- Alias for <a href="List.html#M000068">is_prefix_of</a>
1180
- </p>
1181
- </div>
1182
- </div>
1183
-
1184
- <div id="method-M000071" class="method-detail">
1185
- <a name="M000071"></a>
1186
-
1187
- <div class="method-heading">
1188
- <span class="method-name">isSuffixOf</span><span class="method-args">(list)</span>
1189
- </div>
1190
-
1191
- <div class="method-description">
1192
- <p>
1193
- Alias for <a href="List.html#M000070">is_suffix_of</a>
1194
- </p>
1195
- </div>
1196
- </div>
1197
-
1198
- <div id="method-M000068" class="method-detail">
1199
- <a name="M000068"></a>
1200
-
1201
- <div class="method-heading">
1202
- <a href="#M000068" class="method-signature">
1203
- <span class="method-name">is_prefix_of</span><span class="method-args">(list)</span>
1204
- </a>
1205
- </div>
1206
-
1207
- <div class="method-description">
1208
- <table>
1209
- <tr><td valign="top">isPrefixOf &#8212; :</td><td>(Eq a) =&gt; [a] -&gt; [a] -&gt; Bool
1210
-
1211
- </td></tr>
1212
- </table>
1213
- <p><a class="source-toggle" href="#"
1214
- onclick="toggleCode('M000068-source');return false;">[Source]</a></p>
1215
- <div class="method-source-code" id="M000068-source">
1216
- <pre>
1217
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 359</span>
1218
- 359: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">is_prefix_of</span>(<span class="ruby-identifier">list</span>)
1219
- 360: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'is_prefix_of' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1220
- 361: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1221
- 362: <span class="ruby-keyword kw">end</span>
1222
- </pre>
1223
- </div>
1224
- </div>
1225
- </div>
1226
-
1227
- <div id="method-M000070" class="method-detail">
1228
- <a name="M000070"></a>
1229
-
1230
- <div class="method-heading">
1231
- <a href="#M000070" class="method-signature">
1232
- <span class="method-name">is_suffix_of</span><span class="method-args">(list)</span>
1233
- </a>
1234
- </div>
1235
-
1236
- <div class="method-description">
1237
- <table>
1238
- <tr><td valign="top">isSuffixOf &#8212; :</td><td>(Eq a) =&gt; [a] -&gt; [a] -&gt; Bool
1239
-
1240
- </td></tr>
1241
- </table>
1242
- <p><a class="source-toggle" href="#"
1243
- onclick="toggleCode('M000070-source');return false;">[Source]</a></p>
1244
- <div class="method-source-code" id="M000070-source">
1245
- <pre>
1246
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 367</span>
1247
- 367: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">is_suffix_of</span>(<span class="ruby-identifier">list</span>)
1248
- 368: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'is_suffix_of' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1249
- 369: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1250
- 370: <span class="ruby-keyword kw">end</span>
1251
- </pre>
1252
- </div>
1253
- </div>
1254
- </div>
1255
-
1256
- <div id="method-M000051" class="method-detail">
1257
- <a name="M000051"></a>
1258
-
1259
- <div class="method-heading">
1260
- <a href="#M000051" class="method-signature">
1261
- <span class="method-name">iterate</span><span class="method-args">(list)</span>
1262
- </a>
1263
- </div>
1264
-
1265
- <div class="method-description">
1266
- <table>
1267
- <tr><td valign="top">iterate &#8212; :</td><td>(a -&gt; a) -&gt; a -&gt; [a]
1268
-
1269
- </td></tr>
1270
- </table>
1271
- <p><a class="source-toggle" href="#"
1272
- onclick="toggleCode('M000051-source');return false;">[Source]</a></p>
1273
- <div class="method-source-code" id="M000051-source">
1274
- <pre>
1275
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 257</span>
1276
- 257: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">iterate</span>(<span class="ruby-identifier">list</span>)
1277
- 258: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'iterate' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1278
- 259: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1279
- 260: <span class="ruby-keyword kw">end</span>
1280
- </pre>
1281
- </div>
1282
- </div>
1283
- </div>
1284
-
1285
- <div id="method-M000018" class="method-detail">
1286
- <a name="M000018"></a>
1287
-
1288
- <div class="method-heading">
1289
- <a href="#M000018" class="method-signature">
1290
- <span class="method-name">last</span><span class="method-args">(list)</span>
1291
- </a>
1292
- </div>
1293
-
1294
- <div class="method-description">
1295
- <table>
1296
- <tr><td valign="top">last &#8212; :</td><td>[a] -&gt; a
1297
-
1298
- </td></tr>
1299
- </table>
1300
- <p><a class="source-toggle" href="#"
1301
- onclick="toggleCode('M000018-source');return false;">[Source]</a></p>
1302
- <div class="method-source-code" id="M000018-source">
1303
- <pre>
1304
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 52</span>
1305
- 52: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">last</span>(<span class="ruby-identifier">list</span>)
1306
- 53: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
1307
- 54: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">empty_list_error</span>
1308
- 55: <span class="ruby-keyword kw">when</span> [<span class="ruby-identifier">list</span>[<span class="ruby-value">0</span>]] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>[<span class="ruby-value">0</span>] }
1309
- 56: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">last</span>(<span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>))
1310
- 57: <span class="ruby-keyword kw">end</span>
1311
- 58: <span class="ruby-keyword kw">end</span>
1312
- </pre>
1313
- </div>
1314
- </div>
1315
- </div>
1316
-
1317
- <div id="method-M000021" class="method-detail">
1318
- <a name="M000021"></a>
1319
-
1320
- <div class="method-heading">
1321
- <a href="#M000021" class="method-signature">
1322
- <span class="method-name">length</span><span class="method-args">(list)</span>
1323
- </a>
1324
- </div>
1325
-
1326
- <div class="method-description">
1327
- <table>
1328
- <tr><td valign="top">length &#8212; :</td><td>[a] -&gt; Int
1329
-
1330
- </td></tr>
1331
- </table>
1332
- <p><a class="source-toggle" href="#"
1333
- onclick="toggleCode('M000021-source');return false;">[Source]</a></p>
1334
- <div class="method-source-code" id="M000021-source">
1335
- <pre>
1336
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 75</span>
1337
- 75: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">length</span>(<span class="ruby-identifier">list</span>)
1338
- 76: <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>.<span class="ruby-identifier">length</span> }
1339
- 77: <span class="ruby-keyword kw">end</span>
1340
- </pre>
1341
- </div>
1342
- </div>
1343
- </div>
1344
-
1345
- <div id="method-M000099" class="method-detail">
1346
- <a name="M000099"></a>
1347
-
1348
- <div class="method-heading">
1349
- <a href="#M000099" class="method-signature">
1350
- <span class="method-name">lines</span><span class="method-args">(list)</span>
1351
- </a>
1352
- </div>
1353
-
1354
- <div class="method-description">
1355
- <table>
1356
- <tr><td valign="top">lines &#8212; :</td><td>String -&gt; [String]
1357
-
1358
- </td></tr>
1359
- </table>
1360
- <p><a class="source-toggle" href="#"
1361
- onclick="toggleCode('M000099-source');return false;">[Source]</a></p>
1362
- <div class="method-source-code" id="M000099-source">
1363
- <pre>
1364
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 523</span>
1365
- 523: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">lines</span>(<span class="ruby-identifier">list</span>)
1366
- 524: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'lines' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1367
- 525: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1368
- 526: <span class="ruby-keyword kw">end</span>
1369
- </pre>
1370
- </div>
1371
- </div>
1372
- </div>
1373
-
1374
- <div id="method-M000075" class="method-detail">
1375
- <a name="M000075"></a>
1376
-
1377
- <div class="method-heading">
1378
- <a href="#M000075" class="method-signature">
1379
- <span class="method-name">lookup</span><span class="method-args">(list)</span>
1380
- </a>
1381
- </div>
1382
-
1383
- <div class="method-description">
1384
- <table>
1385
- <tr><td valign="top">lookup &#8212; :</td><td>(Eq a) =&gt; a -&gt; [(a,b)] -&gt; Maybe b
1386
-
1387
- </td></tr>
1388
- </table>
1389
- <p><a class="source-toggle" href="#"
1390
- onclick="toggleCode('M000075-source');return false;">[Source]</a></p>
1391
- <div class="method-source-code" id="M000075-source">
1392
- <pre>
1393
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 393</span>
1394
- 393: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">lookup</span>(<span class="ruby-identifier">list</span>)
1395
- 394: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'lookup' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1396
- 395: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1397
- 396: <span class="ruby-keyword kw">end</span>
1398
- </pre>
1399
- </div>
1400
- </div>
1401
- </div>
1402
-
1403
- <div id="method-M000022" class="method-detail">
1404
- <a name="M000022"></a>
1405
-
1406
- <div class="method-heading">
1407
- <a href="#M000022" class="method-signature">
1408
- <span class="method-name">map</span><span class="method-args">(f, list)</span>
1409
- </a>
1410
- </div>
1411
-
1412
- <div class="method-description">
1413
- <table>
1414
- <tr><td valign="top">map &#8212; :</td><td>(a -&gt; b) -&gt; [a] -&gt; [b]
1415
-
1416
- </td></tr>
1417
- </table>
1418
- <p><a class="source-toggle" href="#"
1419
- onclick="toggleCode('M000022-source');return false;">[Source]</a></p>
1420
- <div class="method-source-code" id="M000022-source">
1421
- <pre>
1422
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 80</span>
1423
- 80: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">map</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
1424
- 81: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
1425
- 82: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span>{ [] }
1426
- 83: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span>{ [ <span class="ruby-identifier">f</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)] ] <span class="ruby-operator">+</span> <span class="ruby-operator">~</span><span class="ruby-identifier">map</span>(<span class="ruby-identifier">f</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)) }
1427
- 84: <span class="ruby-keyword kw">end</span>
1428
- 85: <span class="ruby-keyword kw">end</span>
1429
- </pre>
1430
- </div>
1431
- </div>
1432
- </div>
1433
-
1434
- <div id="method-M000048" class="method-detail">
1435
- <a name="M000048"></a>
1436
-
1437
- <div class="method-heading">
1438
- <span class="method-name">mapAccumL</span><span class="method-args">(list)</span>
1439
- </div>
1440
-
1441
- <div class="method-description">
1442
- <p>
1443
- Alias for <a href="List.html#M000047">map_accum_l</a>
1444
- </p>
1445
- </div>
1446
- </div>
1447
-
1448
- <div id="method-M000050" class="method-detail">
1449
- <a name="M000050"></a>
1450
-
1451
- <div class="method-heading">
1452
- <span class="method-name">mapAccumR</span><span class="method-args">(list)</span>
1453
- </div>
1454
-
1455
- <div class="method-description">
1456
- <p>
1457
- Alias for <a href="List.html#M000049">map_accum_r</a>
1458
- </p>
1459
- </div>
1460
- </div>
1461
-
1462
- <div id="method-M000047" class="method-detail">
1463
- <a name="M000047"></a>
1464
-
1465
- <div class="method-heading">
1466
- <a href="#M000047" class="method-signature">
1467
- <span class="method-name">map_accum_l</span><span class="method-args">(list)</span>
1468
- </a>
1469
- </div>
1470
-
1471
- <div class="method-description">
1472
- <table>
1473
- <tr><td valign="top">mapAccumL &#8212; :</td><td>(a -&gt; b -&gt; (a,c)) -&gt; a -&gt; [b] -&gt; (a,[c])
1474
-
1475
- </td></tr>
1476
- </table>
1477
- <p><a class="source-toggle" href="#"
1478
- onclick="toggleCode('M000047-source');return false;">[Source]</a></p>
1479
- <div class="method-source-code" id="M000047-source">
1480
- <pre>
1481
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 239</span>
1482
- 239: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">map_accum_l</span>(<span class="ruby-identifier">list</span>)
1483
- 240: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'map_accum_l' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1484
- 241: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1485
- 242: <span class="ruby-keyword kw">end</span>
1486
- </pre>
1487
- </div>
1488
- </div>
1489
- </div>
1490
-
1491
- <div id="method-M000049" class="method-detail">
1492
- <a name="M000049"></a>
1493
-
1494
- <div class="method-heading">
1495
- <a href="#M000049" class="method-signature">
1496
- <span class="method-name">map_accum_r</span><span class="method-args">(list)</span>
1497
- </a>
1498
- </div>
1499
-
1500
- <div class="method-description">
1501
- <table>
1502
- <tr><td valign="top">mapAccumR &#8212; :</td><td>(a -&gt; b -&gt; (a,c)) -&gt; a -&gt; [b] -&gt; (a,[c])
1503
-
1504
- </td></tr>
1505
- </table>
1506
- <p><a class="source-toggle" href="#"
1507
- onclick="toggleCode('M000049-source');return false;">[Source]</a></p>
1508
- <div class="method-source-code" id="M000049-source">
1509
- <pre>
1510
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 247</span>
1511
- 247: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">map_accum_r</span>(<span class="ruby-identifier">list</span>)
1512
- 248: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'map_accum_r' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1513
- 249: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1514
- 250: <span class="ruby-keyword kw">end</span>
1515
- </pre>
1516
- </div>
1517
- </div>
1518
- </div>
1519
-
1520
- <div id="method-M000041" class="method-detail">
1521
- <a name="M000041"></a>
1522
-
1523
- <div class="method-heading">
1524
- <a href="#M000041" class="method-signature">
1525
- <span class="method-name">maximum</span><span class="method-args">(list)</span>
1526
- </a>
1527
- </div>
1528
-
1529
- <div class="method-description">
1530
- <table>
1531
- <tr><td valign="top">maximum &#8212; :</td><td>(Ord a) =&gt; [a] -&gt; a
1532
-
1533
- </td></tr>
1534
- </table>
1535
- <p><a class="source-toggle" href="#"
1536
- onclick="toggleCode('M000041-source');return false;">[Source]</a></p>
1537
- <div class="method-source-code" id="M000041-source">
1538
- <pre>
1539
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 197</span>
1540
- 197: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">maximum</span>(<span class="ruby-identifier">list</span>)
1541
- 198: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'maximum' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1542
- 199: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1543
- 200: <span class="ruby-keyword kw">end</span>
1544
- </pre>
1545
- </div>
1546
- </div>
1547
- </div>
1548
-
1549
- <div id="method-M000042" class="method-detail">
1550
- <a name="M000042"></a>
1551
-
1552
- <div class="method-heading">
1553
- <a href="#M000042" class="method-signature">
1554
- <span class="method-name">minimum</span><span class="method-args">(list)</span>
1555
- </a>
1556
- </div>
1557
-
1558
- <div class="method-description">
1559
- <table>
1560
- <tr><td valign="top">minimum &#8212; :</td><td>(Ord a) =&gt; [a] -&gt; a
1561
-
1562
- </td></tr>
1563
- </table>
1564
- <p><a class="source-toggle" href="#"
1565
- onclick="toggleCode('M000042-source');return false;">[Source]</a></p>
1566
- <div class="method-source-code" id="M000042-source">
1567
- <pre>
1568
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 203</span>
1569
- 203: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">minimum</span>(<span class="ruby-identifier">list</span>)
1570
- 204: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'minimum' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1571
- 205: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1572
- 206: <span class="ruby-keyword kw">end</span>
1573
- </pre>
1574
- </div>
1575
- </div>
1576
- </div>
1577
-
1578
- <div id="method-M000074" class="method-detail">
1579
- <a name="M000074"></a>
1580
-
1581
- <div class="method-heading">
1582
- <span class="method-name">notElem</span><span class="method-args">(list)</span>
1583
- </div>
1584
-
1585
- <div class="method-description">
1586
- <p>
1587
- Alias for <a href="List.html#M000073">not_elem</a>
1588
- </p>
1589
- </div>
1590
- </div>
1591
-
1592
- <div id="method-M000073" class="method-detail">
1593
- <a name="M000073"></a>
1594
-
1595
- <div class="method-heading">
1596
- <a href="#M000073" class="method-signature">
1597
- <span class="method-name">not_elem</span><span class="method-args">(list)</span>
1598
- </a>
1599
- </div>
1600
-
1601
- <div class="method-description">
1602
- <table>
1603
- <tr><td valign="top">notElem &#8212; :</td><td>a -&gt; [a] -&gt; Bool
1604
-
1605
- </td></tr>
1606
- </table>
1607
- <p><a class="source-toggle" href="#"
1608
- onclick="toggleCode('M000073-source');return false;">[Source]</a></p>
1609
- <div class="method-source-code" id="M000073-source">
1610
- <pre>
1611
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 385</span>
1612
- 385: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">not_elem</span>(<span class="ruby-identifier">list</span>)
1613
- 386: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'not_elem' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1614
- 387: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1615
- 388: <span class="ruby-keyword kw">end</span>
1616
- </pre>
1617
- </div>
1618
- </div>
1619
- </div>
1620
-
1621
- <div id="method-M000103" class="method-detail">
1622
- <a name="M000103"></a>
1623
-
1624
- <div class="method-heading">
1625
- <a href="#M000103" class="method-signature">
1626
- <span class="method-name">nub</span><span class="method-args">(list)</span>
1627
- </a>
1628
- </div>
1629
-
1630
- <div class="method-description">
1631
- <table>
1632
- <tr><td valign="top">nub &#8212; :</td><td>(Eq a) =&gt; [a] -&gt; [a]
1633
-
1634
- </td></tr>
1635
- </table>
1636
- <p><a class="source-toggle" href="#"
1637
- onclick="toggleCode('M000103-source');return false;">[Source]</a></p>
1638
- <div class="method-source-code" id="M000103-source">
1639
- <pre>
1640
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 549</span>
1641
- 549: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">nub</span>(<span class="ruby-identifier">list</span>)
1642
- 550: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'nub' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1643
- 551: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1644
- 552: <span class="ruby-keyword kw">end</span>
1645
- </pre>
1646
- </div>
1647
- </div>
1648
- </div>
1649
-
1650
- <div id="method-M000020" class="method-detail">
1651
- <a name="M000020"></a>
1652
-
1653
- <div class="method-heading">
1654
- <a href="#M000020" class="method-signature">
1655
- <span class="method-name">null</span><span class="method-args">(list)</span>
1656
- </a>
1657
- </div>
1658
-
1659
- <div class="method-description">
1660
- <table>
1661
- <tr><td valign="top">null &#8212; :</td><td>[a] -&gt; Bool
1662
-
1663
- </td></tr>
1664
- </table>
1665
- <p><a class="source-toggle" href="#"
1666
- onclick="toggleCode('M000020-source');return false;">[Source]</a></p>
1667
- <div class="method-source-code" id="M000020-source">
1668
- <pre>
1669
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 70</span>
1670
- 70: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">null</span>(<span class="ruby-identifier">list</span>)
1671
- 71: <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>.<span class="ruby-identifier">size</span> <span class="ruby-operator">==</span> <span class="ruby-value">0</span> }
1672
- 72: <span class="ruby-keyword kw">end</span>
1673
- </pre>
1674
- </div>
1675
- </div>
1676
- </div>
1677
-
1678
- <div id="method-M000036" class="method-detail">
1679
- <a name="M000036"></a>
1680
-
1681
- <div class="method-heading">
1682
- <a href="#M000036" class="method-signature">
1683
- <span class="method-name">or_</span><span class="method-args">(list)</span>
1684
- </a>
1685
- </div>
1686
-
1687
- <div class="method-description">
1688
- <table>
1689
- <tr><td valign="top">or &#8212; :</td><td>[Bool] -&gt; Bool
1690
-
1691
- </td></tr>
1692
- </table>
1693
- <p><a class="source-toggle" href="#"
1694
- onclick="toggleCode('M000036-source');return false;">[Source]</a></p>
1695
- <div class="method-source-code" id="M000036-source">
1696
- <pre>
1697
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 170</span>
1698
- 170: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">or_</span>(<span class="ruby-identifier">list</span>)
1699
- 171: <span class="ruby-identifier">foldr</span>(<span class="ruby-identifier">lambda</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span>,<span class="ruby-identifier">y</span><span class="ruby-operator">|</span> (<span class="ruby-identifier">x</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">y</span>)}, <span class="ruby-keyword kw">false</span>, <span class="ruby-identifier">list</span>)
1700
- 172: <span class="ruby-keyword kw">end</span>
1701
- </pre>
1702
- </div>
1703
- </div>
1704
- </div>
1705
-
1706
- <div id="method-M000078" class="method-detail">
1707
- <a name="M000078"></a>
1708
-
1709
- <div class="method-heading">
1710
- <a href="#M000078" class="method-signature">
1711
- <span class="method-name">partition</span><span class="method-args">(p, list)</span>
1712
- </a>
1713
- </div>
1714
-
1715
- <div class="method-description">
1716
- <table>
1717
- <tr><td valign="top">partition &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])
1718
-
1719
- </td></tr>
1720
- </table>
1721
- <p><a class="source-toggle" href="#"
1722
- onclick="toggleCode('M000078-source');return false;">[Source]</a></p>
1723
- <div class="method-source-code" id="M000078-source">
1724
- <pre>
1725
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 413</span>
1726
- 413: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">partition</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>)
1727
- 414: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'partition' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1728
- 415: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1729
- 416: <span class="ruby-keyword kw">end</span>
1730
- </pre>
1731
- </div>
1732
- </div>
1733
- </div>
1734
-
1735
- <div id="method-M000040" class="method-detail">
1736
- <a name="M000040"></a>
1737
-
1738
- <div class="method-heading">
1739
- <a href="#M000040" class="method-signature">
1740
- <span class="method-name">product</span><span class="method-args">(list)</span>
1741
- </a>
1742
- </div>
1743
-
1744
- <div class="method-description">
1745
- <table>
1746
- <tr><td valign="top">product &#8212; :</td><td>(Num a) =&gt; [a] -&gt; a
1747
-
1748
- </td></tr>
1749
- </table>
1750
- <p><a class="source-toggle" href="#"
1751
- onclick="toggleCode('M000040-source');return false;">[Source]</a></p>
1752
- <div class="method-source-code" id="M000040-source">
1753
- <pre>
1754
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 191</span>
1755
- 191: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">product</span>(<span class="ruby-identifier">list</span>)
1756
- 192: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'product' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1757
- 193: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1758
- 194: <span class="ruby-keyword kw">end</span>
1759
- </pre>
1760
- </div>
1761
- </div>
1762
- </div>
1763
-
1764
- <div id="method-M000052" class="method-detail">
1765
- <a name="M000052"></a>
1766
-
1767
- <div class="method-heading">
1768
- <a href="#M000052" class="method-signature">
1769
- <span class="method-name">repeat</span><span class="method-args">(list)</span>
1770
- </a>
1771
- </div>
1772
-
1773
- <div class="method-description">
1774
- <table>
1775
- <tr><td valign="top">repeat &#8212; :</td><td>a -&gt; [a]
1776
-
1777
- </td></tr>
1778
- </table>
1779
- <p><a class="source-toggle" href="#"
1780
- onclick="toggleCode('M000052-source');return false;">[Source]</a></p>
1781
- <div class="method-source-code" id="M000052-source">
1782
- <pre>
1783
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 263</span>
1784
- 263: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">repeat</span>(<span class="ruby-identifier">list</span>)
1785
- 264: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'repeat' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1786
- 265: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1787
- 266: <span class="ruby-keyword kw">end</span>
1788
- </pre>
1789
- </div>
1790
- </div>
1791
- </div>
1792
-
1793
- <div id="method-M000053" class="method-detail">
1794
- <a name="M000053"></a>
1795
-
1796
- <div class="method-heading">
1797
- <a href="#M000053" class="method-signature">
1798
- <span class="method-name">replicate</span><span class="method-args">(list)</span>
1799
- </a>
1800
- </div>
1801
-
1802
- <div class="method-description">
1803
- <table>
1804
- <tr><td valign="top">replicate &#8212; :</td><td>Int -&gt; a -&gt; [a]
1805
-
1806
- </td></tr>
1807
- </table>
1808
- <p><a class="source-toggle" href="#"
1809
- onclick="toggleCode('M000053-source');return false;">[Source]</a></p>
1810
- <div class="method-source-code" id="M000053-source">
1811
- <pre>
1812
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 269</span>
1813
- 269: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">replicate</span>(<span class="ruby-identifier">list</span>)
1814
- 270: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'replicate' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1815
- 271: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1816
- 272: <span class="ruby-keyword kw">end</span>
1817
- </pre>
1818
- </div>
1819
- </div>
1820
- </div>
1821
-
1822
- <div id="method-M000023" class="method-detail">
1823
- <a name="M000023"></a>
1824
-
1825
- <div class="method-heading">
1826
- <a href="#M000023" class="method-signature">
1827
- <span class="method-name">reverse</span><span class="method-args">(list)</span>
1828
- </a>
1829
- </div>
1830
-
1831
- <div class="method-description">
1832
- <table>
1833
- <tr><td valign="top">, reverse &#8212; :</td><td>[a] -&gt; [a]
1834
-
1835
- </td></tr>
1836
- </table>
1837
- <p><a class="source-toggle" href="#"
1838
- onclick="toggleCode('M000023-source');return false;">[Source]</a></p>
1839
- <div class="method-source-code" id="M000023-source">
1840
- <pre>
1841
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 88</span>
1842
- 88: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">reverse</span>(<span class="ruby-identifier">list</span>)
1843
- 89: <span class="ruby-identifier">r</span> = <span class="ruby-identifier">proc</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">l</span>, <span class="ruby-identifier">a</span><span class="ruby-operator">|</span>
1844
- 90: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">l</span>
1845
- 91: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">a</span> }
1846
- 92: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-operator">~</span><span class="ruby-identifier">r</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">l</span>), [<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">l</span>)]<span class="ruby-operator">+</span><span class="ruby-identifier">a</span>] }
1847
- 93: <span class="ruby-keyword kw">end</span>
1848
- 94: }
1849
- 95: <span class="ruby-identifier">r</span>[<span class="ruby-identifier">list</span>, []]
1850
- 96: <span class="ruby-keyword kw">end</span>
1851
- </pre>
1852
- </div>
1853
- </div>
1854
- </div>
1855
-
1856
- <div id="method-M000043" class="method-detail">
1857
- <a name="M000043"></a>
1858
-
1859
- <div class="method-heading">
1860
- <a href="#M000043" class="method-signature">
1861
- <span class="method-name">scanl</span><span class="method-args">(f, s, list)</span>
1862
- </a>
1863
- </div>
1864
-
1865
- <div class="method-description">
1866
- <table>
1867
- <tr><td valign="top">scanl &#8212; :</td><td>(a -&gt; b -&gt; a) -&gt; a -&gt; [b] -&gt; [a]
1868
-
1869
- </td></tr>
1870
- </table>
1871
- <p><a class="source-toggle" href="#"
1872
- onclick="toggleCode('M000043-source');return false;">[Source]</a></p>
1873
- <div class="method-source-code" id="M000043-source">
1874
- <pre>
1875
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 213</span>
1876
- 213: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">scanl</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">s</span>, <span class="ruby-identifier">list</span>)
1877
- 214: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'scanl' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1878
- 215: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1879
- 216: <span class="ruby-keyword kw">end</span>
1880
- </pre>
1881
- </div>
1882
- </div>
1883
- </div>
1884
-
1885
- <div id="method-M000044" class="method-detail">
1886
- <a name="M000044"></a>
1887
-
1888
- <div class="method-heading">
1889
- <a href="#M000044" class="method-signature">
1890
- <span class="method-name">scanl1</span><span class="method-args">(f, list)</span>
1891
- </a>
1892
- </div>
1893
-
1894
- <div class="method-description">
1895
- <table>
1896
- <tr><td valign="top">scanl1 &#8212; :</td><td>(a -&gt; a -&gt; a) -&gt; [a] -&gt; [a]
1897
-
1898
- </td></tr>
1899
- </table>
1900
- <p><a class="source-toggle" href="#"
1901
- onclick="toggleCode('M000044-source');return false;">[Source]</a></p>
1902
- <div class="method-source-code" id="M000044-source">
1903
- <pre>
1904
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 219</span>
1905
- 219: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">scanl1</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
1906
- 220: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'scanl1' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1907
- 221: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1908
- 222: <span class="ruby-keyword kw">end</span>
1909
- </pre>
1910
- </div>
1911
- </div>
1912
- </div>
1913
-
1914
- <div id="method-M000045" class="method-detail">
1915
- <a name="M000045"></a>
1916
-
1917
- <div class="method-heading">
1918
- <a href="#M000045" class="method-signature">
1919
- <span class="method-name">scanr</span><span class="method-args">(f, s, list)</span>
1920
- </a>
1921
- </div>
1922
-
1923
- <div class="method-description">
1924
- <table>
1925
- <tr><td valign="top">scanr &#8212; :</td><td>(a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; [b]
1926
-
1927
- </td></tr>
1928
- </table>
1929
- <p><a class="source-toggle" href="#"
1930
- onclick="toggleCode('M000045-source');return false;">[Source]</a></p>
1931
- <div class="method-source-code" id="M000045-source">
1932
- <pre>
1933
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 225</span>
1934
- 225: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">scanr</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">s</span>, <span class="ruby-identifier">list</span>)
1935
- 226: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'scanr' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1936
- 227: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1937
- 228: <span class="ruby-keyword kw">end</span>
1938
- </pre>
1939
- </div>
1940
- </div>
1941
- </div>
1942
-
1943
- <div id="method-M000046" class="method-detail">
1944
- <a name="M000046"></a>
1945
-
1946
- <div class="method-heading">
1947
- <a href="#M000046" class="method-signature">
1948
- <span class="method-name">scanr1</span><span class="method-args">(f, list)</span>
1949
- </a>
1950
- </div>
1951
-
1952
- <div class="method-description">
1953
- <table>
1954
- <tr><td valign="top">scanr1 &#8212; :</td><td>(a -&gt; a -&gt; a) -&gt; [a] -&gt; [a]
1955
-
1956
- </td></tr>
1957
- </table>
1958
- <p><a class="source-toggle" href="#"
1959
- onclick="toggleCode('M000046-source');return false;">[Source]</a></p>
1960
- <div class="method-source-code" id="M000046-source">
1961
- <pre>
1962
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 231</span>
1963
- 231: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">scanr1</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">list</span>)
1964
- 232: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'scanr1' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1965
- 233: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1966
- 234: <span class="ruby-keyword kw">end</span>
1967
- </pre>
1968
- </div>
1969
- </div>
1970
- </div>
1971
-
1972
- <div id="method-M000107" class="method-detail">
1973
- <a name="M000107"></a>
1974
-
1975
- <div class="method-heading">
1976
- <a href="#M000107" class="method-signature">
1977
- <span class="method-name">sort</span><span class="method-args">(list)</span>
1978
- </a>
1979
- </div>
1980
-
1981
- <div class="method-description">
1982
- <table>
1983
- <tr><td valign="top">sort &#8212; :</td><td>(Ord a) =&gt; [a] -&gt; [a]
1984
-
1985
- </td></tr>
1986
- </table>
1987
- <p><a class="source-toggle" href="#"
1988
- onclick="toggleCode('M000107-source');return false;">[Source]</a></p>
1989
- <div class="method-source-code" id="M000107-source">
1990
- <pre>
1991
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 575</span>
1992
- 575: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">sort</span>(<span class="ruby-identifier">list</span>)
1993
- 576: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'sort' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
1994
- 577: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
1995
- 578: <span class="ruby-keyword kw">end</span>
1996
- </pre>
1997
- </div>
1998
- </div>
1999
- </div>
2000
-
2001
- <div id="method-M000063" class="method-detail">
2002
- <a name="M000063"></a>
2003
-
2004
- <div class="method-heading">
2005
- <a href="#M000063" class="method-signature">
2006
- <span class="method-name">span</span><span class="method-args">(p, list)</span>
2007
- </a>
2008
- </div>
2009
-
2010
- <div class="method-description">
2011
- <table>
2012
- <tr><td valign="top">span &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])
2013
-
2014
- </td></tr>
2015
- </table>
2016
- <p><a class="source-toggle" href="#"
2017
- onclick="toggleCode('M000063-source');return false;">[Source]</a></p>
2018
- <div class="method-source-code" id="M000063-source">
2019
- <pre>
2020
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 328</span>
2021
- 328: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">span</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>)
2022
- 329: <span class="ruby-identifier">lambda</span> { [<span class="ruby-operator">~</span><span class="ruby-identifier">takeWhile</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>), <span class="ruby-operator">~</span><span class="ruby-identifier">dropWhile</span>(<span class="ruby-identifier">p</span>,<span class="ruby-identifier">list</span>)] }
2023
- 330: <span class="ruby-keyword kw">end</span>
2024
- </pre>
2025
- </div>
2026
- </div>
2027
- </div>
2028
-
2029
- <div id="method-M000058" class="method-detail">
2030
- <a name="M000058"></a>
2031
-
2032
- <div class="method-heading">
2033
- <a href="#M000058" class="method-signature">
2034
- <span class="method-name">split_at</span><span class="method-args">(n, list)</span>
2035
- </a>
2036
- </div>
2037
-
2038
- <div class="method-description">
2039
- <table>
2040
- <tr><td valign="top">splitAt &#8212; :</td><td>Int -&gt; [a] -&gt; ([a], [a])
2041
-
2042
- </td></tr>
2043
- </table>
2044
- <p><a class="source-toggle" href="#"
2045
- onclick="toggleCode('M000058-source');return false;">[Source]</a></p>
2046
- <div class="method-source-code" id="M000058-source">
2047
- <pre>
2048
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 303</span>
2049
- 303: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split_at</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">list</span>)
2050
- 304: <span class="ruby-identifier">lambda</span> { [<span class="ruby-operator">~</span><span class="ruby-identifier">take</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">list</span>), <span class="ruby-operator">~</span><span class="ruby-identifier">drop</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">list</span>)] }
2051
- 305: <span class="ruby-keyword kw">end</span>
2052
- </pre>
2053
- </div>
2054
- </div>
2055
- </div>
2056
-
2057
- <div id="method-M000039" class="method-detail">
2058
- <a name="M000039"></a>
2059
-
2060
- <div class="method-heading">
2061
- <a href="#M000039" class="method-signature">
2062
- <span class="method-name">sum</span><span class="method-args">(list)</span>
2063
- </a>
2064
- </div>
2065
-
2066
- <div class="method-description">
2067
- <table>
2068
- <tr><td valign="top">sum &#8212; :</td><td>(Num a) =&gt; [a] -&gt; a
2069
-
2070
- </td></tr>
2071
- </table>
2072
- <p><a class="source-toggle" href="#"
2073
- onclick="toggleCode('M000039-source');return false;">[Source]</a></p>
2074
- <div class="method-source-code" id="M000039-source">
2075
- <pre>
2076
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 185</span>
2077
- 185: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">sum</span>(<span class="ruby-identifier">list</span>)
2078
- 186: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'sum' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2079
- 187: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2080
- 188: <span class="ruby-keyword kw">end</span>
2081
- </pre>
2082
- </div>
2083
- </div>
2084
- </div>
2085
-
2086
- <div id="method-M000017" class="method-detail">
2087
- <a name="M000017"></a>
2088
-
2089
- <div class="method-heading">
2090
- <a href="#M000017" class="method-signature">
2091
- <span class="method-name">tail</span><span class="method-args">(list)</span>
2092
- </a>
2093
- </div>
2094
-
2095
- <div class="method-description">
2096
- <table>
2097
- <tr><td valign="top">tail &#8212; :</td><td>[a] -&gt; [a]
2098
-
2099
- </td></tr>
2100
- </table>
2101
- <p><a class="source-toggle" href="#"
2102
- onclick="toggleCode('M000017-source');return false;">[Source]</a></p>
2103
- <div class="method-source-code" id="M000017-source">
2104
- <pre>
2105
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 44</span>
2106
- 44: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)
2107
- 45: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
2108
- 46: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">empty_list_error</span>
2109
- 47: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>[<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">-1</span>] }
2110
- 48: <span class="ruby-keyword kw">end</span>
2111
- 49: <span class="ruby-keyword kw">end</span>
2112
- </pre>
2113
- </div>
2114
- </div>
2115
- </div>
2116
-
2117
- <div id="method-M000067" class="method-detail">
2118
- <a name="M000067"></a>
2119
-
2120
- <div class="method-heading">
2121
- <a href="#M000067" class="method-signature">
2122
- <span class="method-name">tails</span><span class="method-args">(list)</span>
2123
- </a>
2124
- </div>
2125
-
2126
- <div class="method-description">
2127
- <table>
2128
- <tr><td valign="top">tails &#8212; :</td><td>[a] -&gt; [[a]]
2129
-
2130
- </td></tr>
2131
- </table>
2132
- <p><a class="source-toggle" href="#"
2133
- onclick="toggleCode('M000067-source');return false;">[Source]</a></p>
2134
- <div class="method-source-code" id="M000067-source">
2135
- <pre>
2136
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 351</span>
2137
- 351: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">tails</span>(<span class="ruby-identifier">list</span>)
2138
- 352: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'tails' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2139
- 353: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2140
- 354: <span class="ruby-keyword kw">end</span>
2141
- </pre>
2142
- </div>
2143
- </div>
2144
- </div>
2145
-
2146
- <div id="method-M000056" class="method-detail">
2147
- <a name="M000056"></a>
2148
-
2149
- <div class="method-heading">
2150
- <a href="#M000056" class="method-signature">
2151
- <span class="method-name">take</span><span class="method-args">(n, list)</span>
2152
- </a>
2153
- </div>
2154
-
2155
- <div class="method-description">
2156
- <table>
2157
- <tr><td valign="top">take &#8212; :</td><td>Int -&gt; [a] -&gt; [a]
2158
-
2159
- </td></tr>
2160
- </table>
2161
- <p><a class="source-toggle" href="#"
2162
- onclick="toggleCode('M000056-source');return false;">[Source]</a></p>
2163
- <div class="method-source-code" id="M000056-source">
2164
- <pre>
2165
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 293</span>
2166
- 293: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">take</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">list</span>)
2167
- 294: <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>[<span class="ruby-value">0</span><span class="ruby-operator">..</span>(<span class="ruby-identifier">n</span><span class="ruby-operator">-</span><span class="ruby-value">1</span>)] }
2168
- 295: <span class="ruby-keyword kw">end</span>
2169
- </pre>
2170
- </div>
2171
- </div>
2172
- </div>
2173
-
2174
- <div id="method-M000060" class="method-detail">
2175
- <a name="M000060"></a>
2176
-
2177
- <div class="method-heading">
2178
- <span class="method-name">takeWhile</span><span class="method-args">(p, list)</span>
2179
- </div>
2180
-
2181
- <div class="method-description">
2182
- <p>
2183
- Alias for <a href="List.html#M000059">take_while</a>
2184
- </p>
2185
- </div>
2186
- </div>
2187
-
2188
- <div id="method-M000059" class="method-detail">
2189
- <a name="M000059"></a>
2190
-
2191
- <div class="method-heading">
2192
- <a href="#M000059" class="method-signature">
2193
- <span class="method-name">take_while</span><span class="method-args">(p, list)</span>
2194
- </a>
2195
- </div>
2196
-
2197
- <div class="method-description">
2198
- <table>
2199
- <tr><td valign="top">takeWhile &#8212; :</td><td>(a -&gt; Bool) -&gt; [a] -&gt; [a]
2200
-
2201
- </td></tr>
2202
- </table>
2203
- <p><a class="source-toggle" href="#"
2204
- onclick="toggleCode('M000059-source');return false;">[Source]</a></p>
2205
- <div class="method-source-code" id="M000059-source">
2206
- <pre>
2207
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 308</span>
2208
- 308: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">take_while</span>(<span class="ruby-identifier">p</span>, <span class="ruby-identifier">list</span>)
2209
- 309: <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">list</span>
2210
- 310: <span class="ruby-keyword kw">when</span> [] <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { [] }
2211
- 311: <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">p</span>[<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)] <span class="ruby-operator">?</span> <span class="ruby-identifier">lambda</span> { [<span class="ruby-operator">~</span><span class="ruby-identifier">head</span>(<span class="ruby-identifier">list</span>)]<span class="ruby-operator">+</span> <span class="ruby-operator">~</span><span class="ruby-identifier">take_while</span>(<span class="ruby-identifier">p</span>, <span class="ruby-operator">~</span><span class="ruby-identifier">tail</span>(<span class="ruby-identifier">list</span>)) } <span class="ruby-operator">:</span> <span class="ruby-identifier">lambda</span> { [] }
2212
- 312: <span class="ruby-keyword kw">end</span>
2213
- 313: <span class="ruby-keyword kw">end</span>
2214
- </pre>
2215
- </div>
2216
- </div>
2217
- </div>
2218
-
2219
- <div id="method-M000025" class="method-detail">
2220
- <a name="M000025"></a>
2221
-
2222
- <div class="method-heading">
2223
- <a href="#M000025" class="method-signature">
2224
- <span class="method-name">transpose</span><span class="method-args">(list)</span>
2225
- </a>
2226
- </div>
2227
-
2228
- <div class="method-description">
2229
- <table>
2230
- <tr><td valign="top">transpose &#8212; :</td><td>[[a]] -&gt; [[a]]
2231
-
2232
- </td></tr>
2233
- </table>
2234
- <p><a class="source-toggle" href="#"
2235
- onclick="toggleCode('M000025-source');return false;">[Source]</a></p>
2236
- <div class="method-source-code" id="M000025-source">
2237
- <pre>
2238
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 105</span>
2239
- 105: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">transpose</span>(<span class="ruby-identifier">list</span>)
2240
- 106: <span class="ruby-comment cmt"># FIXIT</span>
2241
- 107: <span class="ruby-identifier">lambda</span> { <span class="ruby-identifier">list</span>.<span class="ruby-identifier">transpose</span> }
2242
- 108: <span class="ruby-keyword kw">end</span>
2243
- </pre>
2244
- </div>
2245
- </div>
2246
- </div>
2247
-
2248
- <div id="method-M000055" class="method-detail">
2249
- <a name="M000055"></a>
2250
-
2251
- <div class="method-heading">
2252
- <a href="#M000055" class="method-signature">
2253
- <span class="method-name">unfoldr</span><span class="method-args">(list)</span>
2254
- </a>
2255
- </div>
2256
-
2257
- <div class="method-description">
2258
- <table>
2259
- <tr><td valign="top">unfoldr &#8212; :</td><td>(b -&gt; Maybe (a, b)) -&gt; b -&gt; [a]
2260
-
2261
- </td></tr>
2262
- </table>
2263
- <p><a class="source-toggle" href="#"
2264
- onclick="toggleCode('M000055-source');return false;">[Source]</a></p>
2265
- <div class="method-source-code" id="M000055-source">
2266
- <pre>
2267
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 283</span>
2268
- 283: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unfoldr</span>(<span class="ruby-identifier">list</span>)
2269
- 284: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unfoldr' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2270
- 285: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2271
- 286: <span class="ruby-keyword kw">end</span>
2272
- </pre>
2273
- </div>
2274
- </div>
2275
- </div>
2276
-
2277
- <div id="method-M000105" class="method-detail">
2278
- <a name="M000105"></a>
2279
-
2280
- <div class="method-heading">
2281
- <a href="#M000105" class="method-signature">
2282
- <span class="method-name">union</span><span class="method-args">(list)</span>
2283
- </a>
2284
- </div>
2285
-
2286
- <div class="method-description">
2287
- <table>
2288
- <tr><td valign="top">union &#8212; :</td><td>(Eq a) =&gt; [a] -&gt; [a] -&gt; [a]
2289
-
2290
- </td></tr>
2291
- </table>
2292
- <p><a class="source-toggle" href="#"
2293
- onclick="toggleCode('M000105-source');return false;">[Source]</a></p>
2294
- <div class="method-source-code" id="M000105-source">
2295
- <pre>
2296
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 561</span>
2297
- 561: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">union</span>(<span class="ruby-identifier">list</span>)
2298
- 562: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'union' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2299
- 563: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2300
- 564: <span class="ruby-keyword kw">end</span>
2301
- </pre>
2302
- </div>
2303
- </div>
2304
- </div>
2305
-
2306
- <div id="method-M000101" class="method-detail">
2307
- <a name="M000101"></a>
2308
-
2309
- <div class="method-heading">
2310
- <a href="#M000101" class="method-signature">
2311
- <span class="method-name">unlines</span><span class="method-args">(list)</span>
2312
- </a>
2313
- </div>
2314
-
2315
- <div class="method-description">
2316
- <table>
2317
- <tr><td valign="top">unlines &#8212; :</td><td>[String] -&gt; String
2318
-
2319
- </td></tr>
2320
- </table>
2321
- <p><a class="source-toggle" href="#"
2322
- onclick="toggleCode('M000101-source');return false;">[Source]</a></p>
2323
- <div class="method-source-code" id="M000101-source">
2324
- <pre>
2325
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 535</span>
2326
- 535: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unlines</span>(<span class="ruby-identifier">list</span>)
2327
- 536: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unlines' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2328
- 537: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2329
- 538: <span class="ruby-keyword kw">end</span>
2330
- </pre>
2331
- </div>
2332
- </div>
2333
- </div>
2334
-
2335
- <div id="method-M000102" class="method-detail">
2336
- <a name="M000102"></a>
2337
-
2338
- <div class="method-heading">
2339
- <a href="#M000102" class="method-signature">
2340
- <span class="method-name">unwords</span><span class="method-args">(list)</span>
2341
- </a>
2342
- </div>
2343
-
2344
- <div class="method-description">
2345
- <table>
2346
- <tr><td valign="top">unwords &#8212; :</td><td>[String] -&gt; String
2347
-
2348
- </td></tr>
2349
- </table>
2350
- <p><a class="source-toggle" href="#"
2351
- onclick="toggleCode('M000102-source');return false;">[Source]</a></p>
2352
- <div class="method-source-code" id="M000102-source">
2353
- <pre>
2354
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 541</span>
2355
- 541: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unwords</span>(<span class="ruby-identifier">list</span>)
2356
- 542: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unwords' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2357
- 543: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2358
- 544: <span class="ruby-keyword kw">end</span>
2359
- </pre>
2360
- </div>
2361
- </div>
2362
- </div>
2363
-
2364
- <div id="method-M000096" class="method-detail">
2365
- <a name="M000096"></a>
2366
-
2367
- <div class="method-heading">
2368
- <a href="#M000096" class="method-signature">
2369
- <span class="method-name">unzip</span><span class="method-args">(list)</span>
2370
- </a>
2371
- </div>
2372
-
2373
- <div class="method-description">
2374
- <table>
2375
- <tr><td valign="top">unzip &#8212; :</td><td>[(a,b)] -&gt; ([a],[b])
2376
-
2377
- </td></tr>
2378
- </table>
2379
- <p><a class="source-toggle" href="#"
2380
- onclick="toggleCode('M000096-source');return false;">[Source]</a></p>
2381
- <div class="method-source-code" id="M000096-source">
2382
- <pre>
2383
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 501</span>
2384
- 501: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unzip</span>(<span class="ruby-identifier">list</span>)
2385
- 502: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unzip' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2386
- 503: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2387
- 504: <span class="ruby-keyword kw">end</span>
2388
- </pre>
2389
- </div>
2390
- </div>
2391
- </div>
2392
-
2393
- <div id="method-M000097" class="method-detail">
2394
- <a name="M000097"></a>
2395
-
2396
- <div class="method-heading">
2397
- <a href="#M000097" class="method-signature">
2398
- <span class="method-name">unzip3</span><span class="method-args">(list)</span>
2399
- </a>
2400
- </div>
2401
-
2402
- <div class="method-description">
2403
- <p>
2404
- unzip3
2405
- </p>
2406
- <p><a class="source-toggle" href="#"
2407
- onclick="toggleCode('M000097-source');return false;">[Source]</a></p>
2408
- <div class="method-source-code" id="M000097-source">
2409
- <pre>
2410
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 507</span>
2411
- 507: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unzip3</span>(<span class="ruby-identifier">list</span>)
2412
- 508: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unzip3' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2413
- 509: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2414
- 510: <span class="ruby-keyword kw">end</span>
2415
- </pre>
2416
- </div>
2417
- </div>
2418
- </div>
2419
-
2420
- <div id="method-M000098" class="method-detail">
2421
- <a name="M000098"></a>
2422
-
2423
- <div class="method-heading">
2424
- <a href="#M000098" class="method-signature">
2425
- <span class="method-name">unzip4</span><span class="method-args">(list)</span>
2426
- </a>
2427
- </div>
2428
-
2429
- <div class="method-description">
2430
- <p>
2431
- unzip4, unzip5, unzip6, unzip7
2432
- </p>
2433
- <p><a class="source-toggle" href="#"
2434
- onclick="toggleCode('M000098-source');return false;">[Source]</a></p>
2435
- <div class="method-source-code" id="M000098-source">
2436
- <pre>
2437
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 513</span>
2438
- 513: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unzip4</span>(<span class="ruby-identifier">list</span>)
2439
- 514: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'unzip4' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2440
- 515: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2441
- 516: <span class="ruby-keyword kw">end</span>
2442
- </pre>
2443
- </div>
2444
- </div>
2445
- </div>
2446
-
2447
- <div id="method-M000100" class="method-detail">
2448
- <a name="M000100"></a>
2449
-
2450
- <div class="method-heading">
2451
- <a href="#M000100" class="method-signature">
2452
- <span class="method-name">words</span><span class="method-args">(list)</span>
2453
- </a>
2454
- </div>
2455
-
2456
- <div class="method-description">
2457
- <table>
2458
- <tr><td valign="top">words &#8212; :</td><td>String -&gt; [String]
2459
-
2460
- </td></tr>
2461
- </table>
2462
- <p><a class="source-toggle" href="#"
2463
- onclick="toggleCode('M000100-source');return false;">[Source]</a></p>
2464
- <div class="method-source-code" id="M000100-source">
2465
- <pre>
2466
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 529</span>
2467
- 529: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">words</span>(<span class="ruby-identifier">list</span>)
2468
- 530: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'words' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2469
- 531: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2470
- 532: <span class="ruby-keyword kw">end</span>
2471
- </pre>
2472
- </div>
2473
- </div>
2474
- </div>
2475
-
2476
- <div id="method-M000087" class="method-detail">
2477
- <a name="M000087"></a>
2478
-
2479
- <div class="method-heading">
2480
- <a href="#M000087" class="method-signature">
2481
- <span class="method-name">zip</span><span class="method-args">(list1, list2)</span>
2482
- </a>
2483
- </div>
2484
-
2485
- <div class="method-description">
2486
- <table>
2487
- <tr><td valign="top">zip &#8212; :</td><td>[a] -&gt; [b] -&gt; [(a,b)]
2488
-
2489
- </td></tr>
2490
- </table>
2491
- <p><a class="source-toggle" href="#"
2492
- onclick="toggleCode('M000087-source');return false;">[Source]</a></p>
2493
- <div class="method-source-code" id="M000087-source">
2494
- <pre>
2495
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 459</span>
2496
- 459: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip</span>(<span class="ruby-identifier">list1</span>, <span class="ruby-identifier">list2</span>)
2497
- 460: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2498
- 461: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2499
- 462: <span class="ruby-keyword kw">end</span>
2500
- </pre>
2501
- </div>
2502
- </div>
2503
- </div>
2504
-
2505
- <div id="method-M000088" class="method-detail">
2506
- <a name="M000088"></a>
2507
-
2508
- <div class="method-heading">
2509
- <a href="#M000088" class="method-signature">
2510
- <span class="method-name">zip3</span><span class="method-args">(list)</span>
2511
- </a>
2512
- </div>
2513
-
2514
- <div class="method-description">
2515
- <p>
2516
- zip3
2517
- </p>
2518
- <p><a class="source-toggle" href="#"
2519
- onclick="toggleCode('M000088-source');return false;">[Source]</a></p>
2520
- <div class="method-source-code" id="M000088-source">
2521
- <pre>
2522
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 465</span>
2523
- 465: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip3</span>(<span class="ruby-identifier">list</span>)
2524
- 466: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip3' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2525
- 467: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2526
- 468: <span class="ruby-keyword kw">end</span>
2527
- </pre>
2528
- </div>
2529
- </div>
2530
- </div>
2531
-
2532
- <div id="method-M000089" class="method-detail">
2533
- <a name="M000089"></a>
2534
-
2535
- <div class="method-heading">
2536
- <a href="#M000089" class="method-signature">
2537
- <span class="method-name">zip4</span><span class="method-args">(list)</span>
2538
- </a>
2539
- </div>
2540
-
2541
- <div class="method-description">
2542
- <p>
2543
- zip4, zip5, zip6, zip7
2544
- </p>
2545
- <p><a class="source-toggle" href="#"
2546
- onclick="toggleCode('M000089-source');return false;">[Source]</a></p>
2547
- <div class="method-source-code" id="M000089-source">
2548
- <pre>
2549
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 471</span>
2550
- 471: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip4</span>(<span class="ruby-identifier">list</span>)
2551
- 472: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip4' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2552
- 473: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2553
- 474: <span class="ruby-keyword kw">end</span>
2554
- </pre>
2555
- </div>
2556
- </div>
2557
- </div>
2558
-
2559
- <div id="method-M000091" class="method-detail">
2560
- <a name="M000091"></a>
2561
-
2562
- <div class="method-heading">
2563
- <span class="method-name">zipWith</span><span class="method-args">(list)</span>
2564
- </div>
2565
-
2566
- <div class="method-description">
2567
- <p>
2568
- Alias for <a href="List.html#M000090">zip_with</a>
2569
- </p>
2570
- </div>
2571
- </div>
2572
-
2573
- <div id="method-M000093" class="method-detail">
2574
- <a name="M000093"></a>
2575
-
2576
- <div class="method-heading">
2577
- <span class="method-name">zipWith3</span><span class="method-args">(list)</span>
2578
- </div>
2579
-
2580
- <div class="method-description">
2581
- <p>
2582
- Alias for <a href="List.html#M000092">zip_with3</a>
2583
- </p>
2584
- </div>
2585
- </div>
2586
-
2587
- <div id="method-M000095" class="method-detail">
2588
- <a name="M000095"></a>
2589
-
2590
- <div class="method-heading">
2591
- <span class="method-name">zipWith4</span><span class="method-args">(list)</span>
2592
- </div>
2593
-
2594
- <div class="method-description">
2595
- <p>
2596
- Alias for <a href="List.html#M000094">zip_with4</a>
2597
- </p>
2598
- </div>
2599
- </div>
2600
-
2601
- <div id="method-M000090" class="method-detail">
2602
- <a name="M000090"></a>
2603
-
2604
- <div class="method-heading">
2605
- <a href="#M000090" class="method-signature">
2606
- <span class="method-name">zip_with</span><span class="method-args">(list)</span>
2607
- </a>
2608
- </div>
2609
-
2610
- <div class="method-description">
2611
- <table>
2612
- <tr><td valign="top">zipWith &#8212; :</td><td>(a -&gt; b -&gt; c) -&gt; [a] -&gt; [b] -&gt; [c]
2613
-
2614
- </td></tr>
2615
- </table>
2616
- <p><a class="source-toggle" href="#"
2617
- onclick="toggleCode('M000090-source');return false;">[Source]</a></p>
2618
- <div class="method-source-code" id="M000090-source">
2619
- <pre>
2620
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 477</span>
2621
- 477: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip_with</span>(<span class="ruby-identifier">list</span>)
2622
- 478: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip_with' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2623
- 479: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2624
- 480: <span class="ruby-keyword kw">end</span>
2625
- </pre>
2626
- </div>
2627
- </div>
2628
- </div>
2629
-
2630
- <div id="method-M000092" class="method-detail">
2631
- <a name="M000092"></a>
2632
-
2633
- <div class="method-heading">
2634
- <a href="#M000092" class="method-signature">
2635
- <span class="method-name">zip_with3</span><span class="method-args">(list)</span>
2636
- </a>
2637
- </div>
2638
-
2639
- <div class="method-description">
2640
- <p>
2641
- zipWith3
2642
- </p>
2643
- <p><a class="source-toggle" href="#"
2644
- onclick="toggleCode('M000092-source');return false;">[Source]</a></p>
2645
- <div class="method-source-code" id="M000092-source">
2646
- <pre>
2647
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 485</span>
2648
- 485: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip_with3</span>(<span class="ruby-identifier">list</span>)
2649
- 486: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip_with3' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2650
- 487: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2651
- 488: <span class="ruby-keyword kw">end</span>
2652
- </pre>
2653
- </div>
2654
- </div>
2655
- </div>
2656
-
2657
- <div id="method-M000094" class="method-detail">
2658
- <a name="M000094"></a>
2659
-
2660
- <div class="method-heading">
2661
- <a href="#M000094" class="method-signature">
2662
- <span class="method-name">zip_with4</span><span class="method-args">(list)</span>
2663
- </a>
2664
- </div>
2665
-
2666
- <div class="method-description">
2667
- <p>
2668
- zipWith4, zipWith5, zipWith6, zipWith7
2669
- </p>
2670
- <p><a class="source-toggle" href="#"
2671
- onclick="toggleCode('M000094-source');return false;">[Source]</a></p>
2672
- <div class="method-source-code" id="M000094-source">
2673
- <pre>
2674
- <span class="ruby-comment cmt"># File lib/prelude/list.rb, line 493</span>
2675
- 493: <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">zip_with4</span>(<span class="ruby-identifier">list</span>)
2676
- 494: <span class="ruby-identifier">warn</span> <span class="ruby-value str">&quot;Method 'zip_with4' is not implemented yet.&quot;</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">$VERBOSE</span>
2677
- 495: <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">lambda</span> { [] }
2678
- 496: <span class="ruby-keyword kw">end</span>
2679
- </pre>
2680
- </div>
2681
- </div>
2682
- </div>
2683
-
2684
-
2685
- </div>
2686
-
2687
-
2688
- </div>
2689
-
2690
-
2691
- </body>
2692
- </html>