/
List.pod
282 lines (176 loc) · 7.8 KB
/
List.pod
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
=begin pod
=TITLE class List
my class List is Iterable does Positional { .. }
C<List> stores items sequentially and potentially lazily.
Indexes into lists and arrays start at 0 by default.
You can assign to list elements if they are containers. Use
Arrays to have every value of the list stored in a container.
=head1 Items, Flattening and Sigils
In Perl 6, assigning a C<List> to a scalar variable does not lose
information. The difference is that iteration generally treats a
list (or any other list-like object, like a C<Parcel> or an C<Array>)
inside a scalar as a single element.
my @a = 1, 2, 3;
for @a { } # three iterations
my $s = @a;
for $s { } # one iteration
for @a.item { } # one iteration
for $s.list { } # three iterations
Lists generally interpolate (flatten) unless they are accessed via
an item (scalar) container.
my @a = 1, 2, 3;
my @flat = @a, @a; # six elements
my @nested = @a.item, @a.item; # two elements
C<.item> can often be written as C<$( ... )>, and on an array variable
even as C<$@a>.
=head1 Methods
=head2 elems
multi sub elems($list) returns Int:D
multi method elems(List:D:) returns Int:D
Returns the number of elements in the list.
=head2 end
multi sub end($list) returns Int:D
multi method end(List:D:) returns Int:D
Returns the index of the last element.
=head2 keys
multi sub keys($list) returns List:D
multi method keys(List:D:) returns List:D
Returns a list of indexes into the list (i.e., 0..(@list.elems-1)).
=head2 values
multi sub values($list) returns List:D
multi method values(List:D:) returns List:D
Returns a copy of the list.
=head2 kv
multi sub kv($list) returns List:D
multi method kv(List:D:) returns List:D
Returns an interleaved list of indexes and values. For example
<a b c>.kv
Returns
0, 'a', 1, 'b', 2, 'c'
=head2 pairs
multi sub pairs($list) returns List:D
multi method pairs(List:D:) returns List:D
Returns a list of pairs, with the indexes as keys and the list values as
values.
<a b c>.pairs # 0 => 'a', 1 => 'b', 2 => 'c'
=head2 join
multi sub join($separator, *@list) returns Str:D
multi method join(List:D: $separator) returns Str:D
Treats the elements of the list as strings, interleaves them with
C<$separator> and concatenates everything into a single string.
Example:
join ', ', <a b c>; # 'a, b, c'
=head2 map
multi sub map(&code, *@elems) returns List:D
multi method map(List:D: &code) returns List:D
Invokes C<&code> for each element and gathers the return values in another
list and returns it. This happens lazily, ie C<&code> is only invoked when
the return values are accessed.
=head2 grep
multi sub grep(Mu $matcher, *@elems) returns List:D
multi method grep(List:D: Mu $matcher) returns List:D
Returns a lazy list of elements against which C<$matcher> smart-matches.
The elements are returned in the order in which they appear in the original
list.
=head2 first
multi sub first(Mu $matcher, *@elems)
multi method first(List:D: Mu $matcher)
Returns the first item of the list which smart-matches against C<$matcher>.
=head2 classify
multi sub classify(&mapper, *@values) returns Hash:D
multi method classify(List:D: &mapper) returns Hash:D
C<classify> transforms a list or array of values into a hash
representing the classification of those values according to a mapper;
each hash key represents the classification for one or more of the
incoming list values, and the corresponding hash value contains
an array of those list values classified by the mapper into the category
of the associated key. For example:
my @list = (1, 7, 6, 3, 2);
my %h = classify { $_ %% 2 ?? 'even' !! 'odd' }, @list;
Creates the hash C<< { even => [6, 2], odd => [1, 7, 3] } >> in C<%h>.
=head2 Bool
multi method Bool(List:D:) returns Bool:D
Returns C<True> if the list has at least one element, and C<False>
for the empty list.
=head2 Str
multi method Str(List:D:) returns Str:D
Stringifies the elements of the list and joins them with spaces
(same as C<.join(' ')>).
=head2 Int
multi method Int(List:D:) return Int:D
Returns the number of elements in the list (same as C<.elems>).
=head2 pick
multi method pick(List:D: $count = 1)
Returns C<$count> elements chosen at random and without repetition
from the invocant. If C<*> is passed as C<$count>, all elements
from the invocant list are returned in a random sequence.
=head2 roll
multi method roll(List:D: $count = 1)
Returns a lazy list of C<$count> elements, each randomly selected from the
list. Each random choice is made indepently, like a separate die roll
where each die face is a list element.
If C<*> is passed to C<$count>, returns a lazy, infinite list of randomly chosen
elements from the original list.
=head2 eager
multi method eager(List:D:) returns List:D
Evaluates all elements in the list eagerly, and returns the invocant.
If a List signals that it is "known infinite", eager evaluation may
stop at the point where the infinity is detected.
=head2 reverse
multi sub reverse(*@list ) returns List:D
multi method reverse(List:D:) returns List:D
Returns a list with the same elements in reverse order.
Note that C<reverse> always refers to reversing elements of a list;
to reverse the characters in a string, use L<flip>.
=head2 rotate
multi sub rotate(@list, Int:D $n = 1) returns List:D
multi method rotate(List:D: Int:D $n = 1) returns List:D
Returns the list rotated by C<$n> elements.
<a b c d e>.rotate(2); # <c d e a b>
<a b c d e>.rotate(-1); # <e a b c d>
=head2 sort
multi sub sort(*@elems) returns List:D
multi sub sort(&by, *@elems) returns List:D
multi method sort(List:D:) returns List:D
multi method sort(List:D:, &by) returns List:D
Sorts the list, smallest element first. By default C<< infix:<cmp> >>
is used for comparing list elements.
If C<&by> is provided, and it accepts two arguments,
it is invoked for pairs of list elements, and should return
C<Order::Increase>, C<Order::Same> or C<Order::Decrease>.
If C<&by> accepts only one argument, the list elements are sorted
according to C<< by($a) cmp by($b) >>. The return values of C<&by> are
cached, so that C<&by> is only called once per list element.
=head2 reduce
multi sub reduce(&with, *@elems)
multi method reduce(List:D: &with)
Applies C<&with> to the first and the second value of the list, then to the
result of that calculation and the third value and so on. Returns a single item
generated that way.
Note that C<reduce> is an implicit loop, and thus responds to C<next>, C<last>
and C<redo> statements.
=head2 splice
multi sub splice(@list, $start, $elems?, *@replacement) returns List:D
multi method splice(List:D: $start, $elems?, *@replacement) returns List:D
Deletes C<$elems> elements starting from index C<$start> from the list,
returns them and replaces them by C<@replacement>. If C<$elems> is omitted,
all the elements starting from index C<$start> are deleted.
=head2 pop
multi sub pop(List:D )
multi method pop(List:D:)
Removes and returns the last item from the list, fails for an empty list.
=head2 push
multi sub push(List:D, *@values) returns List:D
multi method push(List:D: *@values) returns List:D
Adds the C<@values> to the end of the list, and returns the modified list.
Fails for infinite lists.
=head2 shift
multi sub shift(List:D )
multi method shift(List:D:)
Removes and returns the first item from the list. Fails for an empty list.
=head2 unshift
multi sub unshift(List:D, *@values) returns List:D
multi method unshift(List:D: *@values) returns List:D
Adds the C<@values> to the start of the list, and returns the modified list.
Fails if C<@values> is infinite.
=end pod