prelude 0.0.2 → 0.0.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/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>
|