1 | <?php |
||||
2 | declare(strict_types = 1); |
||||
3 | |||||
4 | namespace Tests\Innmind\Immutable; |
||||
5 | |||||
6 | use Innmind\Immutable\{ |
||||
7 | Sequence, |
||||
8 | Str, |
||||
9 | Set, |
||||
10 | Map, |
||||
11 | Monoid\Concat, |
||||
12 | }; |
||||
13 | use PHPUnit\Framework\TestCase; |
||||
14 | |||||
15 | class SequenceTest extends TestCase |
||||
16 | { |
||||
17 | public function testInterface() |
||||
18 | { |
||||
19 | $sequence = Sequence::of(); |
||||
20 | |||||
21 | $this->assertInstanceOf(\Countable::class, $sequence); |
||||
22 | $this->assertSame([], $sequence->toList()); |
||||
23 | } |
||||
24 | |||||
25 | public function testOf() |
||||
26 | { |
||||
27 | $this->assertTrue( |
||||
28 | Sequence::of(1, 2, 3)->equals( |
||||
0 ignored issues
–
show
Bug
introduced
by
![]() |
|||||
29 | Sequence::of() |
||||
30 | ->add(1) |
||||
31 | ->add(2) |
||||
32 | ->add(3), |
||||
33 | ), |
||||
34 | ); |
||||
35 | } |
||||
36 | |||||
37 | public function testDefer() |
||||
38 | { |
||||
39 | $loaded = false; |
||||
40 | $sequence = Sequence::defer((static function() use (&$loaded) { |
||||
41 | yield 1; |
||||
42 | yield 2; |
||||
43 | yield 3; |
||||
44 | $loaded = true; |
||||
45 | })()); |
||||
46 | |||||
47 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
48 | $this->assertFalse($loaded); |
||||
49 | $this->assertSame([1, 2, 3], $sequence->toList()); |
||||
50 | $this->assertTrue($loaded); |
||||
51 | } |
||||
52 | |||||
53 | public function testLazy() |
||||
54 | { |
||||
55 | $loaded = false; |
||||
56 | $sequence = Sequence::lazy(static function() use (&$loaded) { |
||||
57 | yield 1; |
||||
58 | yield 2; |
||||
59 | yield 3; |
||||
60 | $loaded = true; |
||||
61 | }); |
||||
62 | |||||
63 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
64 | $this->assertFalse($loaded); |
||||
65 | $this->assertSame([1, 2, 3], $sequence->toList()); |
||||
66 | $this->assertTrue($loaded); |
||||
67 | } |
||||
68 | |||||
69 | public function testMixed() |
||||
70 | { |
||||
71 | $sequence = Sequence::mixed(1, '2', 3); |
||||
72 | |||||
73 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
74 | $this->assertSame([1, '2', 3], $sequence->toList()); |
||||
75 | } |
||||
76 | |||||
77 | public function testInts() |
||||
78 | { |
||||
79 | $sequence = Sequence::ints(1, 2, 3); |
||||
80 | |||||
81 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
82 | $this->assertSame([1, 2, 3], $sequence->toList()); |
||||
83 | } |
||||
84 | |||||
85 | public function testFloats() |
||||
86 | { |
||||
87 | $sequence = Sequence::floats(1, 2, 3.2); |
||||
88 | |||||
89 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
90 | $this->assertSame([1.0, 2.0, 3.2], $sequence->toList()); |
||||
91 | } |
||||
92 | |||||
93 | public function testStrings() |
||||
94 | { |
||||
95 | $sequence = Sequence::strings('1', '2', '3'); |
||||
96 | |||||
97 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
98 | $this->assertSame(['1', '2', '3'], $sequence->toList()); |
||||
99 | } |
||||
100 | |||||
101 | public function testObjects() |
||||
102 | { |
||||
103 | $a = new \stdClass; |
||||
104 | $b = new \stdClass; |
||||
105 | $c = new \stdClass; |
||||
106 | $sequence = Sequence::objects($a, $b, $c); |
||||
107 | |||||
108 | $this->assertInstanceOf(Sequence::class, $sequence); |
||||
109 | $this->assertSame([$a, $b, $c], $sequence->toList()); |
||||
110 | } |
||||
111 | |||||
112 | public function testSize() |
||||
113 | { |
||||
114 | $this->assertSame( |
||||
115 | 2, |
||||
116 | Sequence::of() |
||||
117 | ->add(1) |
||||
118 | ->add(2) |
||||
119 | ->size(), |
||||
120 | ); |
||||
121 | } |
||||
122 | |||||
123 | public function testCount() |
||||
124 | { |
||||
125 | $this->assertCount( |
||||
126 | 2, |
||||
127 | Sequence::of() |
||||
128 | ->add(1) |
||||
129 | ->add(2), |
||||
130 | ); |
||||
131 | } |
||||
132 | |||||
133 | public function testGet() |
||||
134 | { |
||||
135 | $this->assertSame( |
||||
136 | 1, |
||||
137 | $this->get(Sequence::of()->add(1), 0), |
||||
138 | ); |
||||
139 | } |
||||
140 | |||||
141 | public function testReturnNothingWhenGettingUnknownIndex() |
||||
142 | { |
||||
143 | $this->assertNull($this->get(Sequence::of(), 0)); |
||||
144 | } |
||||
145 | |||||
146 | public function testDiff() |
||||
147 | { |
||||
148 | $a = Sequence::of() |
||||
149 | ->add(1) |
||||
150 | ->add(2) |
||||
151 | ->add(3); |
||||
152 | $b = Sequence::of() |
||||
153 | ->add(3) |
||||
154 | ->add(4) |
||||
155 | ->add(5); |
||||
156 | $c = $a->diff($b); |
||||
157 | |||||
158 | $this->assertInstanceOf(Sequence::class, $c); |
||||
159 | $this->assertNotSame($c, $a); |
||||
160 | $this->assertNotSame($c, $b); |
||||
161 | $this->assertSame([1, 2, 3], $a->toList()); |
||||
162 | $this->assertSame([3, 4, 5], $b->toList()); |
||||
163 | $this->assertSame([1, 2], $c->toList()); |
||||
164 | } |
||||
165 | |||||
166 | public function testDistinct() |
||||
167 | { |
||||
168 | $a = Sequence::of() |
||||
169 | ->add(1) |
||||
170 | ->add(1) |
||||
171 | ->add(1); |
||||
172 | $b = $a->distinct(); |
||||
173 | |||||
174 | $this->assertInstanceOf(Sequence::class, $b); |
||||
175 | $this->assertNotSame($a, $b); |
||||
176 | $this->assertSame([1, 1, 1], $a->toList()); |
||||
177 | $this->assertSame([1], $b->toList()); |
||||
178 | } |
||||
179 | |||||
180 | public function testDrop() |
||||
181 | { |
||||
182 | $a = Sequence::of() |
||||
183 | ->add(1) |
||||
184 | ->add(3) |
||||
185 | ->add(5); |
||||
186 | $b = $a->drop(2); |
||||
187 | |||||
188 | $this->assertInstanceOf(Sequence::class, $b); |
||||
189 | $this->assertNotSame($a, $b); |
||||
190 | $this->assertSame([1, 3, 5], $a->toList()); |
||||
191 | $this->assertSame([5], $b->toList()); |
||||
192 | } |
||||
193 | |||||
194 | public function testDropEnd() |
||||
195 | { |
||||
196 | $a = Sequence::of() |
||||
197 | ->add(1) |
||||
198 | ->add(3) |
||||
199 | ->add(5); |
||||
200 | $b = $a->dropEnd(2); |
||||
201 | |||||
202 | $this->assertInstanceOf(Sequence::class, $b); |
||||
203 | $this->assertNotSame($a, $b); |
||||
204 | $this->assertSame([1, 3, 5], $a->toList()); |
||||
205 | $this->assertSame([1], $b->toList()); |
||||
206 | } |
||||
207 | |||||
208 | public function testEquals() |
||||
209 | { |
||||
210 | $a = Sequence::of() |
||||
211 | ->add(1) |
||||
212 | ->add(3) |
||||
213 | ->add(5); |
||||
214 | $b = Sequence::of() |
||||
215 | ->add(1) |
||||
216 | ->add(5); |
||||
217 | $c = Sequence::of() |
||||
218 | ->add(1) |
||||
219 | ->add(3) |
||||
220 | ->add(5); |
||||
221 | |||||
222 | $this->assertTrue($a->equals($c)); |
||||
223 | $this->assertTrue($a->equals($a)); |
||||
224 | $this->assertFalse($a->equals($b)); |
||||
225 | } |
||||
226 | |||||
227 | public function testFilter() |
||||
228 | { |
||||
229 | $a = Sequence::of() |
||||
230 | ->add(1) |
||||
231 | ->add(2) |
||||
232 | ->add(3) |
||||
233 | ->add(4); |
||||
234 | $b = $a->filter(static function(int $value): bool { |
||||
235 | return $value % 2 === 0; |
||||
236 | }); |
||||
237 | |||||
238 | $this->assertInstanceOf(Sequence::class, $b); |
||||
239 | $this->assertNotSame($a, $b); |
||||
240 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
241 | $this->assertSame([2, 4], $b->toList()); |
||||
242 | } |
||||
243 | |||||
244 | public function testForeach() |
||||
245 | { |
||||
246 | $sum = 0; |
||||
247 | $sequence = Sequence::of() |
||||
0 ignored issues
–
show
|
|||||
248 | ->add(1) |
||||
249 | ->add(2) |
||||
250 | ->add(3) |
||||
251 | ->add(4) |
||||
252 | ->foreach(static function(int $value) use (&$sum) { |
||||
253 | $sum += $value; |
||||
254 | }); |
||||
255 | |||||
256 | $this->assertSame(10, $sum); |
||||
257 | } |
||||
258 | |||||
259 | public function testGroupBy() |
||||
260 | { |
||||
261 | $sequence = Sequence::of() |
||||
262 | ->add(1) |
||||
263 | ->add(2) |
||||
264 | ->add(3) |
||||
265 | ->add(4); |
||||
266 | $map = $sequence->groupBy(static function(int $value): int { |
||||
267 | return $value % 3; |
||||
268 | }); |
||||
269 | |||||
270 | $this->assertInstanceOf(Map::class, $map); |
||||
271 | $this->assertCount(3, $map); |
||||
272 | $this->assertSame([3], $this->get($map, 0)->toList()); |
||||
273 | $this->assertSame([1, 4], $this->get($map, 1)->toList()); |
||||
274 | $this->assertSame([2], $this->get($map, 2)->toList()); |
||||
275 | } |
||||
276 | |||||
277 | public function testGroupEmptySequence() |
||||
278 | { |
||||
279 | $this->assertTrue( |
||||
280 | Sequence::of() |
||||
281 | ->groupBy(static function() {}) |
||||
282 | ->equals(Map::of()), |
||||
283 | ); |
||||
284 | } |
||||
285 | |||||
286 | public function testFirst() |
||||
287 | { |
||||
288 | $sequence = Sequence::of() |
||||
289 | ->add(1) |
||||
290 | ->add(2) |
||||
291 | ->add(3) |
||||
292 | ->add(4); |
||||
293 | |||||
294 | $this->assertSame( |
||||
295 | 1, |
||||
296 | $sequence->first()->match( |
||||
297 | static fn($value) => $value, |
||||
298 | static fn() => null, |
||||
299 | ), |
||||
300 | ); |
||||
301 | } |
||||
302 | |||||
303 | public function testLast() |
||||
304 | { |
||||
305 | $sequence = Sequence::of() |
||||
306 | ->add(1) |
||||
307 | ->add(2) |
||||
308 | ->add(3) |
||||
309 | ->add(4); |
||||
310 | |||||
311 | $this->assertSame( |
||||
312 | 4, |
||||
313 | $sequence->last()->match( |
||||
314 | static fn($value) => $value, |
||||
315 | static fn() => null, |
||||
316 | ), |
||||
317 | ); |
||||
318 | } |
||||
319 | |||||
320 | public function testContains() |
||||
321 | { |
||||
322 | $sequence = Sequence::of() |
||||
323 | ->add(1) |
||||
324 | ->add(2) |
||||
325 | ->add(3) |
||||
326 | ->add(4); |
||||
327 | |||||
328 | $this->assertTrue($sequence->contains(2)); |
||||
329 | $this->assertFalse($sequence->contains(5)); |
||||
330 | } |
||||
331 | |||||
332 | public function testIndexOf() |
||||
333 | { |
||||
334 | $sequence = Sequence::of() |
||||
335 | ->add(1) |
||||
336 | ->add(2) |
||||
337 | ->add(3) |
||||
338 | ->add(4); |
||||
339 | |||||
340 | $this->assertSame( |
||||
341 | 0, |
||||
342 | $sequence->indexOf(1)->match( |
||||
343 | static fn($value) => $value, |
||||
344 | static fn() => null, |
||||
345 | ), |
||||
346 | ); |
||||
347 | $this->assertSame( |
||||
348 | 3, |
||||
349 | $sequence->indexOf(4)->match( |
||||
350 | static fn($value) => $value, |
||||
351 | static fn() => null, |
||||
352 | ), |
||||
353 | ); |
||||
354 | } |
||||
355 | |||||
356 | public function testIndices() |
||||
357 | { |
||||
358 | $sequence = Sequence::of() |
||||
359 | ->add(1) |
||||
360 | ->add(2) |
||||
361 | ->add(3) |
||||
362 | ->add(4); |
||||
363 | $indices = $sequence->indices(); |
||||
364 | |||||
365 | $this->assertInstanceOf(Sequence::class, $indices); |
||||
366 | $this->assertSame([0, 1, 2, 3], $indices->toList()); |
||||
367 | } |
||||
368 | |||||
369 | public function testEmptyIndices() |
||||
370 | { |
||||
371 | $sequence = Sequence::of(); |
||||
372 | $indices = $sequence->indices(); |
||||
373 | |||||
374 | $this->assertInstanceOf(Sequence::class, $indices); |
||||
375 | $this->assertSame([], $indices->toList()); |
||||
376 | } |
||||
377 | |||||
378 | public function testMap() |
||||
379 | { |
||||
380 | $a = Sequence::of() |
||||
381 | ->add(1) |
||||
382 | ->add(2) |
||||
383 | ->add(3) |
||||
384 | ->add(4); |
||||
385 | $b = $a->map(static function(int $value): int { |
||||
386 | return $value**2; |
||||
387 | }); |
||||
388 | |||||
389 | $this->assertInstanceOf(Sequence::class, $b); |
||||
390 | $this->assertNotSame($a, $b); |
||||
391 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
392 | $this->assertSame([1, 4, 9, 16], $b->toList()); |
||||
393 | } |
||||
394 | |||||
395 | public function testFlatMap() |
||||
396 | { |
||||
397 | $sequence = Sequence::of(1, 2, 3, 4); |
||||
0 ignored issues
–
show
1 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
398 | $sequence2 = $sequence->flatMap(static fn($i) => Sequence::of($i, $i)); |
||||
399 | |||||
400 | $this->assertNotSame($sequence, $sequence2); |
||||
401 | $this->assertSame([1, 2, 3, 4], $sequence->toList()); |
||||
402 | $this->assertSame([1, 1, 2, 2, 3, 3, 4, 4], $sequence2->toList()); |
||||
403 | } |
||||
404 | |||||
405 | public function testLazyFlatMap() |
||||
406 | { |
||||
407 | $loaded = false; |
||||
408 | $a = Sequence::lazy(static function() use (&$loaded) { |
||||
409 | yield 1; |
||||
410 | yield 2; |
||||
411 | yield 3; |
||||
412 | yield 4; |
||||
413 | $loaded = true; |
||||
414 | }); |
||||
415 | $b = $a->flatMap(static fn($i) => Sequence::of($i, $i*2)); |
||||
0 ignored issues
–
show
$i * 2 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
416 | |||||
417 | $this->assertFalse($loaded); |
||||
418 | $this->assertSame([1, 2, 2, 4, 3, 6, 4, 8], $b->toList()); |
||||
419 | $this->assertTrue($loaded); |
||||
420 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
421 | } |
||||
422 | |||||
423 | public function testDeferFlatMap() |
||||
424 | { |
||||
425 | $loaded = false; |
||||
426 | $a = Sequence::defer((static function() use (&$loaded) { |
||||
427 | yield 1; |
||||
428 | yield 2; |
||||
429 | yield 3; |
||||
430 | yield 4; |
||||
431 | $loaded = true; |
||||
432 | })()); |
||||
433 | $b = $a->flatMap(static fn($i) => Sequence::of($i, $i*2)); |
||||
0 ignored issues
–
show
$i * 2 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
434 | |||||
435 | $this->assertFalse($loaded); |
||||
436 | $this->assertSame([1, 2, 2, 4, 3, 6, 4, 8], $b->toList()); |
||||
437 | $this->assertTrue($loaded); |
||||
438 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
439 | } |
||||
440 | |||||
441 | public function testPad() |
||||
442 | { |
||||
443 | $a = Sequence::of() |
||||
444 | ->add(1) |
||||
445 | ->add(2); |
||||
446 | $b = $a->pad(4, 0); |
||||
447 | |||||
448 | $this->assertInstanceOf(Sequence::class, $b); |
||||
449 | $this->assertNotSame($a, $b); |
||||
450 | $this->assertSame([1, 2], $a->toList()); |
||||
451 | $this->assertSame([1, 2, 0, 0], $b->toList()); |
||||
452 | } |
||||
453 | |||||
454 | public function testPartition() |
||||
455 | { |
||||
456 | $map = Sequence::of() |
||||
457 | ->add(1) |
||||
458 | ->add(2) |
||||
459 | ->add(3) |
||||
460 | ->add(4) |
||||
461 | ->partition(static function(int $value): bool { |
||||
462 | return $value % 2 === 0; |
||||
463 | }); |
||||
464 | |||||
465 | $this->assertInstanceOf(Map::class, $map); |
||||
466 | $this->assertSame([2, 4], $this->get($map, true)->toList()); |
||||
467 | $this->assertSame([1, 3], $this->get($map, false)->toList()); |
||||
468 | } |
||||
469 | |||||
470 | public function testSlice() |
||||
471 | { |
||||
472 | $a = Sequence::of() |
||||
473 | ->add(1) |
||||
474 | ->add(2) |
||||
475 | ->add(3) |
||||
476 | ->add(4); |
||||
477 | $b = $a->slice(1, 3); |
||||
478 | |||||
479 | $this->assertInstanceOf(Sequence::class, $b); |
||||
480 | $this->assertNotSame($a, $b); |
||||
481 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
482 | $this->assertSame([2, 3], $b->toList()); |
||||
483 | } |
||||
484 | |||||
485 | public function testTake() |
||||
486 | { |
||||
487 | $a = Sequence::of() |
||||
488 | ->add(1) |
||||
489 | ->add(2) |
||||
490 | ->add(3) |
||||
491 | ->add(4); |
||||
492 | $b = $a->take(2); |
||||
493 | |||||
494 | $this->assertInstanceOf(Sequence::class, $b); |
||||
495 | $this->assertNotSame($a, $b); |
||||
496 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
497 | $this->assertSame([1, 2], $b->toList()); |
||||
498 | } |
||||
499 | |||||
500 | public function testTakeEnd() |
||||
501 | { |
||||
502 | $a = Sequence::of() |
||||
503 | ->add(1) |
||||
504 | ->add(2) |
||||
505 | ->add(3) |
||||
506 | ->add(4); |
||||
507 | $b = $a->takeEnd(2); |
||||
508 | |||||
509 | $this->assertInstanceOf(Sequence::class, $b); |
||||
510 | $this->assertNotSame($a, $b); |
||||
511 | $this->assertSame([1, 2, 3, 4], $a->toList()); |
||||
512 | $this->assertSame([3, 4], $b->toList()); |
||||
513 | } |
||||
514 | |||||
515 | public function testAppend() |
||||
516 | { |
||||
517 | $a = Sequence::of() |
||||
518 | ->add(1) |
||||
519 | ->add(2); |
||||
520 | $b = Sequence::of() |
||||
521 | ->add(3) |
||||
522 | ->add(4); |
||||
523 | $c = $b->append($a); |
||||
524 | |||||
525 | $this->assertInstanceOf(Sequence::class, $c); |
||||
526 | $this->assertNotSame($c, $a); |
||||
527 | $this->assertNotSame($c, $b); |
||||
528 | $this->assertSame([1, 2], $a->toList()); |
||||
529 | $this->assertSame([3, 4], $b->toList()); |
||||
530 | $this->assertSame([3, 4, 1, 2], $c->toList()); |
||||
531 | } |
||||
532 | |||||
533 | public function testIntersect() |
||||
534 | { |
||||
535 | $a = Sequence::of() |
||||
536 | ->add(1) |
||||
537 | ->add(2); |
||||
538 | $b = Sequence::of() |
||||
539 | ->add(2) |
||||
540 | ->add(3); |
||||
541 | $c = $b->intersect($a); |
||||
542 | |||||
543 | $this->assertInstanceOf(Sequence::class, $c); |
||||
544 | $this->assertNotSame($c, $a); |
||||
545 | $this->assertNotSame($c, $b); |
||||
546 | $this->assertSame([1, 2], $a->toList()); |
||||
547 | $this->assertSame([2, 3], $b->toList()); |
||||
548 | $this->assertSame([2], $c->toList()); |
||||
549 | } |
||||
550 | |||||
551 | public function testAdd() |
||||
552 | { |
||||
553 | $a = Sequence::of(); |
||||
554 | $b = $a->add(1); |
||||
555 | |||||
556 | $this->assertInstanceOf(Sequence::class, $b); |
||||
557 | $this->assertNotSame($a, $b); |
||||
558 | $this->assertSame([], $a->toList()); |
||||
559 | $this->assertSame([1], $b->toList()); |
||||
560 | |||||
561 | $this->assertSame( |
||||
562 | [1, 2, 3], |
||||
563 | Sequence::ints(1)(2)(3)->toList(), |
||||
564 | ); |
||||
565 | } |
||||
566 | |||||
567 | public function testSort() |
||||
568 | { |
||||
569 | $a = Sequence::of() |
||||
570 | ->add(1) |
||||
571 | ->add(2) |
||||
572 | ->add(3) |
||||
573 | ->add(3) |
||||
574 | ->add(4); |
||||
575 | $b = $a->sort(static function(int $a, int $b): int { |
||||
576 | return ($b > $a) ? 1 : -1; |
||||
577 | }); |
||||
578 | |||||
579 | $this->assertInstanceOf(Sequence::class, $b); |
||||
580 | $this->assertNotSame($a, $b); |
||||
581 | $this->assertSame([1, 2, 3, 3, 4], $a->toList()); |
||||
582 | $this->assertSame([4, 3, 3, 2, 1], $b->toList()); |
||||
583 | } |
||||
584 | |||||
585 | public function testReduce() |
||||
586 | { |
||||
587 | $value = Sequence::of() |
||||
588 | ->add(1) |
||||
589 | ->add(2) |
||||
590 | ->add(3) |
||||
591 | ->add(4) |
||||
592 | ->reduce( |
||||
593 | 0, |
||||
0 ignored issues
–
show
0 of type integer is incompatible with the type Innmind\Immutable\R expected by parameter $carry of Innmind\Immutable\Sequence::reduce() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
594 | static function(int $carry, int $value): int { |
||||
595 | return $carry + $value; |
||||
596 | }, |
||||
597 | ); |
||||
598 | |||||
599 | $this->assertSame(10, $value); |
||||
600 | } |
||||
601 | |||||
602 | public function testClear() |
||||
603 | { |
||||
604 | $sequence = Sequence::of() |
||||
605 | ->add(1) |
||||
606 | ->add(2) |
||||
607 | ->add(3); |
||||
608 | $sequence2 = $sequence->clear(); |
||||
609 | |||||
610 | $this->assertNotSame($sequence, $sequence2); |
||||
611 | $this->assertSame([1, 2, 3], $sequence->toList()); |
||||
612 | $this->assertSame([], $sequence2->toList()); |
||||
613 | } |
||||
614 | |||||
615 | public function testReverse() |
||||
616 | { |
||||
617 | $sequence = Sequence::of() |
||||
618 | ->add(1) |
||||
619 | ->add(3) |
||||
620 | ->add(4) |
||||
621 | ->add(2); |
||||
622 | $reverse = $sequence->reverse(); |
||||
623 | |||||
624 | $this->assertInstanceOf(Sequence::class, $reverse); |
||||
625 | $this->assertNotSame($sequence, $reverse); |
||||
626 | $this->assertSame([1, 3, 4, 2], $sequence->toList()); |
||||
627 | $this->assertSame([2, 4, 3, 1], $reverse->toList()); |
||||
628 | } |
||||
629 | |||||
630 | public function testEmpty() |
||||
631 | { |
||||
632 | $this->assertTrue(Sequence::of()->empty()); |
||||
633 | $this->assertFalse(Sequence::of(1)->empty()); |
||||
0 ignored issues
–
show
1 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
634 | } |
||||
635 | |||||
636 | public function testToList() |
||||
637 | { |
||||
638 | $this->assertSame( |
||||
639 | [1, 2, 3], |
||||
640 | Sequence::ints(1, 2, 3)->toList(), |
||||
641 | ); |
||||
642 | } |
||||
643 | |||||
644 | public function testFind() |
||||
645 | { |
||||
646 | $sequence = Sequence::ints(1, 2, 3); |
||||
647 | |||||
648 | $this->assertSame( |
||||
649 | 1, |
||||
650 | $sequence->find(static fn($i) => $i === 1)->match( |
||||
651 | static fn($i) => $i, |
||||
652 | static fn() => null, |
||||
653 | ), |
||||
654 | ); |
||||
655 | $this->assertSame( |
||||
656 | 2, |
||||
657 | $sequence->find(static fn($i) => $i === 2)->match( |
||||
658 | static fn($i) => $i, |
||||
659 | static fn() => null, |
||||
660 | ), |
||||
661 | ); |
||||
662 | $this->assertSame( |
||||
663 | 3, |
||||
664 | $sequence->find(static fn($i) => $i === 3)->match( |
||||
665 | static fn($i) => $i, |
||||
666 | static fn() => null, |
||||
667 | ), |
||||
668 | ); |
||||
669 | |||||
670 | $this->assertNull( |
||||
671 | $sequence->find(static fn($i) => $i === 0)->match( |
||||
672 | static fn($i) => $i, |
||||
673 | static fn() => null, |
||||
674 | ), |
||||
675 | ); |
||||
676 | } |
||||
677 | |||||
678 | public function testMatches() |
||||
679 | { |
||||
680 | $sequence = Sequence::ints(1, 2, 3); |
||||
681 | |||||
682 | $this->assertTrue($sequence->matches(static fn($i) => $i % 1 === 0)); |
||||
683 | $this->assertFalse($sequence->matches(static fn($i) => $i % 2 === 0)); |
||||
684 | } |
||||
685 | |||||
686 | public function testAny() |
||||
687 | { |
||||
688 | $sequence = Sequence::ints(1, 2, 3); |
||||
689 | |||||
690 | $this->assertTrue($sequence->any(static fn($i) => $i === 2)); |
||||
691 | $this->assertFalse($sequence->any(static fn($i) => $i === 0)); |
||||
692 | } |
||||
693 | |||||
694 | public function testPossibilityToCleanupResourcesWhenGeneratorStoppedBeforeEnd() |
||||
695 | { |
||||
696 | $cleanupCalled = false; |
||||
697 | $endReached = false; |
||||
698 | $started = 0; |
||||
699 | $sequence = Sequence::lazy(static function($registerCleanup) use (&$cleanupCalled, &$endReached, &$started) { |
||||
700 | ++$started; |
||||
701 | $file = \fopen(__FILE__, 'r'); |
||||
702 | $registerCleanup(static function() use ($file, &$cleanupCalled) { |
||||
703 | \fclose($file); |
||||
704 | $cleanupCalled = true; |
||||
705 | }); |
||||
706 | |||||
707 | while (!\feof($file)) { |
||||
708 | $line = \fgets($file); |
||||
709 | |||||
710 | yield $line; |
||||
711 | } |
||||
712 | |||||
713 | $endReached = true; |
||||
714 | \fclose($file); |
||||
715 | }); |
||||
716 | |||||
717 | $line = $sequence |
||||
718 | ->map(static fn($line) => \trim($line)) |
||||
719 | ->filter(static fn($line) => $line !== '') |
||||
720 | ->find(static fn($line) => \substr($line, -2) === '()') |
||||
721 | ->match( |
||||
722 | static fn($line) => $line, |
||||
723 | static fn() => null, |
||||
724 | ); |
||||
725 | |||||
726 | $this->assertSame('public function testInterface()', $line); |
||||
727 | $this->assertSame(1, $started); |
||||
728 | $this->assertTrue($cleanupCalled); |
||||
729 | $this->assertFalse($endReached); |
||||
730 | } |
||||
731 | |||||
732 | public function testCleanupIsNotCalledWhenReachingTheEndOfTheGenerator() |
||||
733 | { |
||||
734 | $cleanupCalled = false; |
||||
735 | $endReached = false; |
||||
736 | $started = 0; |
||||
737 | $sequence = Sequence::lazy(static function($registerCleanup) use (&$cleanupCalled, &$endReached, &$started) { |
||||
738 | ++$started; |
||||
739 | $file = \fopen(__FILE__, 'r'); |
||||
740 | $registerCleanup(static function() use ($file, &$cleanupCalled) { |
||||
741 | \fclose($file); |
||||
742 | $cleanupCalled = true; |
||||
743 | }); |
||||
744 | |||||
745 | while (!\feof($file)) { |
||||
746 | $line = \fgets($file); |
||||
747 | |||||
748 | yield $line; |
||||
749 | } |
||||
750 | |||||
751 | $endReached = true; |
||||
752 | \fclose($file); |
||||
753 | }); |
||||
754 | |||||
755 | $line = $sequence |
||||
756 | ->filter(static fn($line) => \is_string($line)) |
||||
757 | ->map(static fn($line) => \trim($line)) |
||||
758 | ->filter(static fn($line) => $line !== '') |
||||
759 | ->find(static fn($line) => $line === 'unknown') |
||||
760 | ->match( |
||||
761 | static fn($line) => $line, |
||||
762 | static fn() => null, |
||||
763 | ); |
||||
764 | |||||
765 | $this->assertNull($line); |
||||
766 | $this->assertSame(1, $started); |
||||
767 | $this->assertFalse($cleanupCalled); |
||||
768 | $this->assertTrue($endReached); |
||||
769 | } |
||||
770 | |||||
771 | public function testMatch() |
||||
772 | { |
||||
773 | $sequence = Sequence::of(1, 2, 3, 4); |
||||
0 ignored issues
–
show
1 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
774 | [$head, $tail] = $sequence->match( |
||||
775 | static fn($head, $tail) => [$head, $tail], |
||||
776 | static fn() => [null, null], |
||||
777 | ); |
||||
778 | |||||
779 | $this->assertSame(1, $head); |
||||
780 | $this->assertTrue($tail->equals(Sequence::of(2, 3, 4))); |
||||
781 | $this->assertSame([1, 2, 3, 4], $sequence->toList()); |
||||
782 | } |
||||
783 | |||||
784 | public function testDeferredMatch() |
||||
785 | { |
||||
786 | $sequence = Sequence::defer((static function() { |
||||
787 | yield 1; |
||||
788 | yield 2; |
||||
789 | yield 3; |
||||
790 | yield 4; |
||||
791 | })()); |
||||
792 | [$head, $tail] = $sequence->match( |
||||
793 | static fn($head, $tail) => [$head, $tail], |
||||
794 | static fn() => [null, null], |
||||
795 | ); |
||||
796 | |||||
797 | $this->assertSame(1, $head); |
||||
798 | $this->assertTrue($tail->equals(Sequence::of(2, 3, 4))); |
||||
0 ignored issues
–
show
2 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
799 | $this->assertSame([1, 2, 3, 4], $sequence->toList()); |
||||
800 | } |
||||
801 | |||||
802 | public function testLazyMatch() |
||||
803 | { |
||||
804 | $started = 0; |
||||
805 | $sequence = Sequence::lazy(static function() use (&$started) { |
||||
806 | ++$started; |
||||
807 | yield 1; |
||||
808 | yield 2; |
||||
809 | yield 3; |
||||
810 | yield 4; |
||||
811 | }); |
||||
812 | [$head, $tail] = $sequence->match( |
||||
813 | static fn($head, $tail) => [$head, $tail], |
||||
814 | static fn() => [null, null], |
||||
815 | ); |
||||
816 | |||||
817 | $this->assertSame(1, $head); |
||||
818 | $this->assertTrue($tail->equals(Sequence::of(2, 3, 4))); |
||||
0 ignored issues
–
show
2 of type integer is incompatible with the type Innmind\Immutable\V expected by parameter $values of Innmind\Immutable\Sequence::of() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
819 | $this->assertSame(1, $started); |
||||
820 | $this->assertSame([1, 2, 3, 4], $sequence->toList()); |
||||
821 | } |
||||
822 | |||||
823 | public function testFold() |
||||
824 | { |
||||
825 | $str = Sequence::of(Str::of('foo'), Str::of('bar'), Str::of('baz'))->fold(new Concat); |
||||
826 | |||||
827 | $this->assertInstanceOf(Str::class, $str); |
||||
828 | $this->assertSame('foobarbaz', $str->toString()); |
||||
829 | |||||
830 | $str = Sequence::of(Str::of('baz'), Str::of('foo'), Str::of('bar'))->fold(new Concat); |
||||
831 | |||||
832 | $this->assertInstanceOf(Str::class, $str); |
||||
833 | $this->assertSame('bazfoobar', $str->toString()); |
||||
834 | } |
||||
835 | |||||
836 | public function get($map, $index) |
||||
837 | { |
||||
838 | return $map->get($index)->match( |
||||
839 | static fn($value) => $value, |
||||
840 | static fn() => null, |
||||
841 | ); |
||||
842 | } |
||||
843 | } |
||||
844 |