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