1 | <?php |
||||
2 | declare(strict_types = 1); |
||||
3 | |||||
4 | namespace Tests\Innmind\Immutable\Sequence; |
||||
5 | |||||
6 | use Innmind\Immutable\{ |
||||
7 | Sequence\Primitive, |
||||
8 | Sequence\Implementation, |
||||
9 | Map, |
||||
10 | Sequence, |
||||
11 | Str, |
||||
12 | Set, |
||||
13 | SideEffect, |
||||
14 | }; |
||||
15 | use PHPUnit\Framework\TestCase; |
||||
16 | |||||
17 | class PrimitiveTest extends TestCase |
||||
18 | { |
||||
19 | public function testInterface() |
||||
20 | { |
||||
21 | $this->assertInstanceOf( |
||||
22 | Implementation::class, |
||||
23 | new Primitive, |
||||
24 | ); |
||||
25 | } |
||||
26 | |||||
27 | public function testSize() |
||||
28 | { |
||||
29 | $this->assertSame(2, (new Primitive([1, 1]))->size()); |
||||
30 | $this->assertSame(2, (new Primitive([1, 1]))->count()); |
||||
31 | } |
||||
32 | |||||
33 | public function testIterator() |
||||
34 | { |
||||
35 | $this->assertSame( |
||||
36 | [1, 2, 3], |
||||
37 | \iterator_to_array((new Primitive([1, 2, 3]))->iterator()), |
||||
38 | ); |
||||
39 | } |
||||
40 | |||||
41 | public function testGet() |
||||
42 | { |
||||
43 | $this->assertSame(42, $this->get(new Primitive([1, 42, 3]), 1)); |
||||
44 | } |
||||
45 | |||||
46 | public function testReturnNothingWhenIndexNotFound() |
||||
47 | { |
||||
48 | $this->assertNull($this->get(new Primitive, 0)); |
||||
49 | } |
||||
50 | |||||
51 | public function testDiff() |
||||
52 | { |
||||
53 | $a = new Primitive([1, 2]); |
||||
54 | $b = new Primitive([2, 3]); |
||||
55 | $c = $a->diff($b); |
||||
56 | |||||
57 | $this->assertSame([1, 2], \iterator_to_array($a->iterator())); |
||||
58 | $this->assertSame([2, 3], \iterator_to_array($b->iterator())); |
||||
59 | $this->assertInstanceOf(Primitive::class, $c); |
||||
60 | $this->assertSame([1], \iterator_to_array($c->iterator())); |
||||
61 | } |
||||
62 | |||||
63 | public function testDistinct() |
||||
64 | { |
||||
65 | $a = new Primitive([1, 2, 1]); |
||||
66 | $b = $a->distinct(); |
||||
67 | |||||
68 | $this->assertSame([1, 2, 1], \iterator_to_array($a->iterator())); |
||||
69 | $this->assertInstanceOf(Primitive::class, $b); |
||||
70 | $this->assertSame([1, 2], \iterator_to_array($b->iterator())); |
||||
71 | } |
||||
72 | |||||
73 | public function testDrop() |
||||
74 | { |
||||
75 | $a = new Primitive([1, 2, 3, 4]); |
||||
76 | $b = $a->drop(2); |
||||
77 | |||||
78 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator())); |
||||
79 | $this->assertInstanceOf(Primitive::class, $b); |
||||
80 | $this->assertSame([3, 4], \iterator_to_array($b->iterator())); |
||||
81 | } |
||||
82 | |||||
83 | public function testDropEnd() |
||||
84 | { |
||||
85 | $a = new Primitive([1, 2, 3, 4]); |
||||
86 | $b = $a->dropEnd(2); |
||||
87 | |||||
88 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator())); |
||||
89 | $this->assertInstanceOf(Primitive::class, $b); |
||||
90 | $this->assertSame([1, 2], \iterator_to_array($b->iterator())); |
||||
91 | } |
||||
92 | |||||
93 | public function testEquals() |
||||
94 | { |
||||
95 | $this->assertTrue((new Primitive([1, 2]))->equals(new Primitive([1, 2]))); |
||||
96 | $this->assertFalse((new Primitive([1, 2]))->equals(new Primitive([2]))); |
||||
97 | } |
||||
98 | |||||
99 | public function testFilter() |
||||
100 | { |
||||
101 | $a = new Primitive([1, 2, 3, 4]); |
||||
102 | $b = $a->filter(static fn($i) => $i % 2 === 0); |
||||
103 | |||||
104 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator())); |
||||
105 | $this->assertInstanceOf(Primitive::class, $b); |
||||
106 | $this->assertSame([2, 4], \iterator_to_array($b->iterator())); |
||||
107 | } |
||||
108 | |||||
109 | public function testForeach() |
||||
110 | { |
||||
111 | $sequence = new Primitive([1, 2, 3, 4]); |
||||
112 | $calls = 0; |
||||
113 | $sum = 0; |
||||
114 | |||||
115 | $this->assertInstanceOf( |
||||
116 | SideEffect::class, |
||||
117 | $sequence->foreach(static function($i) use (&$calls, &$sum) { |
||||
118 | ++$calls; |
||||
119 | $sum += $i; |
||||
120 | }), |
||||
121 | ); |
||||
122 | $this->assertSame(4, $calls); |
||||
123 | $this->assertSame(10, $sum); |
||||
124 | } |
||||
125 | |||||
126 | public function testGroupEmptySequence() |
||||
127 | { |
||||
128 | $this->assertTrue( |
||||
129 | (new Primitive) |
||||
130 | ->groupBy(static fn($i) => $i) |
||||
131 | ->equals(Map::of()), |
||||
132 | ); |
||||
133 | } |
||||
134 | |||||
135 | public function testGroupBy() |
||||
136 | { |
||||
137 | $sequence = new Primitive([1, 2, 3, 4]); |
||||
138 | $groups = $sequence->groupBy(static fn($i) => $i % 2); |
||||
139 | |||||
140 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($sequence->iterator())); |
||||
141 | $this->assertInstanceOf(Map::class, $groups); |
||||
142 | $this->assertCount(2, $groups); |
||||
143 | $this->assertSame([2, 4], $this->get($groups, 0)->toList()); |
||||
144 | $this->assertSame([1, 3], $this->get($groups, 1)->toList()); |
||||
145 | } |
||||
146 | |||||
147 | public function testReturnNothingWhenTryingToAccessFirstElementOnEmptySequence() |
||||
148 | { |
||||
149 | $this->assertNull( |
||||
150 | (new Primitive)->first()->match( |
||||
151 | static fn($value) => $value, |
||||
152 | static fn() => null, |
||||
153 | ), |
||||
154 | ); |
||||
155 | } |
||||
156 | |||||
157 | public function testReturnNothingWhenTryingToAccessLastElementOnEmptySequence() |
||||
158 | { |
||||
159 | $this->assertNull( |
||||
160 | (new Primitive)->last()->match( |
||||
161 | static fn($value) => $value, |
||||
162 | static fn() => null, |
||||
163 | ), |
||||
164 | ); |
||||
165 | } |
||||
166 | |||||
167 | public function testFirst() |
||||
168 | { |
||||
169 | $this->assertSame( |
||||
170 | 2, |
||||
171 | (new Primitive([2, 3, 4]))->first()->match( |
||||
172 | static fn($value) => $value, |
||||
173 | static fn() => null, |
||||
174 | ), |
||||
175 | ); |
||||
176 | } |
||||
177 | |||||
178 | public function testLast() |
||||
179 | { |
||||
180 | $this->assertSame( |
||||
181 | 4, |
||||
182 | (new Primitive([2, 3, 4]))->last()->match( |
||||
183 | static fn($value) => $value, |
||||
184 | static fn() => null, |
||||
185 | ), |
||||
186 | ); |
||||
187 | } |
||||
188 | |||||
189 | public function testContains() |
||||
190 | { |
||||
191 | $sequence = new Primitive([1, 2, 3]); |
||||
192 | |||||
193 | $this->assertTrue($sequence->contains(2)); |
||||
0 ignored issues
–
show
Bug
introduced
by
![]() |
|||||
194 | $this->assertFalse($sequence->contains(4)); |
||||
195 | } |
||||
196 | |||||
197 | public function testIndexOf() |
||||
198 | { |
||||
199 | $sequence = new Primitive([1, 2, 4]); |
||||
200 | |||||
201 | $this->assertSame( |
||||
202 | 1, |
||||
203 | $sequence->indexOf(2)->match( |
||||
0 ignored issues
–
show
2 of type integer is incompatible with the type Innmind\Immutable\Sequence\T expected by parameter $element of Innmind\Immutable\Sequence\Primitive::indexOf() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
204 | static fn($value) => $value, |
||||
205 | static fn() => null, |
||||
206 | ), |
||||
207 | ); |
||||
208 | $this->assertSame( |
||||
209 | 2, |
||||
210 | $sequence->indexOf(4)->match( |
||||
211 | static fn($value) => $value, |
||||
212 | static fn() => null, |
||||
213 | ), |
||||
214 | ); |
||||
215 | } |
||||
216 | |||||
217 | public function testReturnNothingWhenTryingToAccessIndexOfUnknownValue() |
||||
218 | { |
||||
219 | $this->assertNull( |
||||
220 | (new Primitive)->indexOf(1)->match( |
||||
0 ignored issues
–
show
1 of type integer is incompatible with the type Innmind\Immutable\Sequence\T expected by parameter $element of Innmind\Immutable\Sequence\Primitive::indexOf() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
221 | static fn($value) => $value, |
||||
222 | static fn() => null, |
||||
223 | ), |
||||
224 | ); |
||||
225 | } |
||||
226 | |||||
227 | public function testIndices() |
||||
228 | { |
||||
229 | $a = new Primitive(['1', '2']); |
||||
230 | $b = $a->indices(); |
||||
231 | |||||
232 | $this->assertSame(['1', '2'], \iterator_to_array($a->iterator())); |
||||
233 | $this->assertInstanceOf(Primitive::class, $b); |
||||
234 | $this->assertSame([0, 1], \iterator_to_array($b->iterator())); |
||||
235 | } |
||||
236 | |||||
237 | public function testIndicesOnEmptySequence() |
||||
238 | { |
||||
239 | $a = new Primitive; |
||||
240 | $b = $a->indices(); |
||||
241 | |||||
242 | $this->assertSame([], \iterator_to_array($a->iterator())); |
||||
243 | $this->assertInstanceOf(Primitive::class, $b); |
||||
244 | $this->assertSame([], \iterator_to_array($b->iterator())); |
||||
245 | } |
||||
246 | |||||
247 | public function testMap() |
||||
248 | { |
||||
249 | $a = new Primitive([1, 2, 3]); |
||||
250 | $b = $a->map(static fn($i) => $i * 2); |
||||
251 | |||||
252 | $this->assertSame([1, 2, 3], \iterator_to_array($a->iterator())); |
||||
253 | $this->assertInstanceOf(Primitive::class, $b); |
||||
254 | $this->assertSame([2, 4, 6], \iterator_to_array($b->iterator())); |
||||
255 | } |
||||
256 | |||||
257 | public function testPad() |
||||
258 | { |
||||
259 | $a = new Primitive([1, 2]); |
||||
260 | $b = $a->pad(4, 0); |
||||
0 ignored issues
–
show
0 of type integer is incompatible with the type Innmind\Immutable\Sequence\T expected by parameter $element of Innmind\Immutable\Sequence\Primitive::pad() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
261 | $c = $a->pad(1, 0); |
||||
262 | |||||
263 | $this->assertSame([1, 2], \iterator_to_array($a->iterator())); |
||||
264 | $this->assertInstanceOf(Primitive::class, $b); |
||||
265 | $this->assertInstanceOf(Primitive::class, $c); |
||||
266 | $this->assertSame([1, 2, 0, 0], \iterator_to_array($b->iterator())); |
||||
267 | $this->assertSame([1, 2], \iterator_to_array($c->iterator())); |
||||
268 | } |
||||
269 | |||||
270 | public function testPartition() |
||||
271 | { |
||||
272 | $sequence = new Primitive([1, 2, 3, 4]); |
||||
273 | $partition = $sequence->partition(static fn($i) => $i % 2 === 0); |
||||
274 | |||||
275 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($sequence->iterator())); |
||||
276 | $this->assertInstanceOf(Map::class, $partition); |
||||
277 | $this->assertCount(2, $partition); |
||||
278 | $this->assertSame([2, 4], $this->get($partition, true)->toList()); |
||||
279 | $this->assertSame([1, 3], $this->get($partition, false)->toList()); |
||||
280 | } |
||||
281 | |||||
282 | public function testSlice() |
||||
283 | { |
||||
284 | $a = new Primitive([2, 3, 4, 5]); |
||||
285 | $b = $a->slice(1, 3); |
||||
286 | |||||
287 | $this->assertSame([2, 3, 4, 5], \iterator_to_array($a->iterator())); |
||||
288 | $this->assertInstanceOf(Primitive::class, $b); |
||||
289 | $this->assertSame([3, 4], \iterator_to_array($b->iterator())); |
||||
290 | } |
||||
291 | |||||
292 | public function testTake() |
||||
293 | { |
||||
294 | $a = new Primitive([2, 3, 4]); |
||||
295 | $b = $a->take(2); |
||||
296 | |||||
297 | $this->assertSame([2, 3, 4], \iterator_to_array($a->iterator())); |
||||
298 | $this->assertInstanceOf(Primitive::class, $b); |
||||
299 | $this->assertSame([2, 3], \iterator_to_array($b->iterator())); |
||||
300 | } |
||||
301 | |||||
302 | public function testTakeEnd() |
||||
303 | { |
||||
304 | $a = new Primitive([2, 3, 4]); |
||||
305 | $b = $a->takeEnd(2); |
||||
306 | |||||
307 | $this->assertSame([2, 3, 4], \iterator_to_array($a->iterator())); |
||||
308 | $this->assertInstanceOf(Primitive::class, $b); |
||||
309 | $this->assertSame([3, 4], \iterator_to_array($b->iterator())); |
||||
310 | } |
||||
311 | |||||
312 | public function testAppend() |
||||
313 | { |
||||
314 | $a = new Primitive([1, 2]); |
||||
315 | $b = new Primitive([3, 4]); |
||||
316 | $c = $a->append($b); |
||||
317 | |||||
318 | $this->assertSame([1, 2], \iterator_to_array($a->iterator())); |
||||
319 | $this->assertSame([3, 4], \iterator_to_array($b->iterator())); |
||||
320 | $this->assertInstanceOf(Primitive::class, $c); |
||||
321 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($c->iterator())); |
||||
322 | } |
||||
323 | |||||
324 | public function testIntersect() |
||||
325 | { |
||||
326 | $a = new Primitive([1, 2]); |
||||
327 | $b = new Primitive([2, 3]); |
||||
328 | $c = $a->intersect($b); |
||||
329 | |||||
330 | $this->assertSame([1, 2], \iterator_to_array($a->iterator())); |
||||
331 | $this->assertSame([2, 3], \iterator_to_array($b->iterator())); |
||||
332 | $this->assertInstanceOf(Primitive::class, $c); |
||||
333 | $this->assertSame([2], \iterator_to_array($c->iterator())); |
||||
334 | } |
||||
335 | |||||
336 | public function testAdd() |
||||
337 | { |
||||
338 | $a = new Primitive([1]); |
||||
339 | $b = ($a)(2); |
||||
340 | |||||
341 | $this->assertSame([1], \iterator_to_array($a->iterator())); |
||||
342 | $this->assertInstanceOf(Primitive::class, $b); |
||||
343 | $this->assertSame([1, 2], \iterator_to_array($b->iterator())); |
||||
344 | } |
||||
345 | |||||
346 | public function testSort() |
||||
347 | { |
||||
348 | $a = new Primitive([1, 4, 3, 2]); |
||||
349 | $b = $a->sort(static fn($a, $b) => $a > $b ? 1 : -1); |
||||
350 | |||||
351 | $this->assertSame([1, 4, 3, 2], \iterator_to_array($a->iterator())); |
||||
352 | $this->assertInstanceOf(Primitive::class, $b); |
||||
353 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($b->iterator())); |
||||
354 | } |
||||
355 | |||||
356 | public function testReduce() |
||||
357 | { |
||||
358 | $sequence = new Primitive([1, 2, 3, 4]); |
||||
359 | |||||
360 | $this->assertSame(10, $sequence->reduce(0, static fn($sum, $i) => $sum + $i)); |
||||
0 ignored issues
–
show
0 of type integer is incompatible with the type Innmind\Immutable\Sequence\R expected by parameter $carry of Innmind\Immutable\Sequence\Primitive::reduce() .
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
![]() |
|||||
361 | } |
||||
362 | |||||
363 | public function testClear() |
||||
364 | { |
||||
365 | $a = new Primitive([1, 2]); |
||||
366 | $b = $a->clear(); |
||||
367 | |||||
368 | $this->assertSame([1, 2], \iterator_to_array($a->iterator())); |
||||
369 | $this->assertInstanceOf(Primitive::class, $b); |
||||
370 | $this->assertSame([], \iterator_to_array($b->iterator())); |
||||
371 | } |
||||
372 | |||||
373 | public function testReverse() |
||||
374 | { |
||||
375 | $a = new Primitive([1, 2, 3, 4]); |
||||
376 | $b = $a->reverse(); |
||||
377 | |||||
378 | $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator())); |
||||
379 | $this->assertInstanceOf(Primitive::class, $b); |
||||
380 | $this->assertSame([4, 3, 2, 1], \iterator_to_array($b->iterator())); |
||||
381 | } |
||||
382 | |||||
383 | public function testEmpty() |
||||
384 | { |
||||
385 | $this->assertTrue((new Primitive)->empty()); |
||||
386 | $this->assertFalse((new Primitive([1]))->empty()); |
||||
387 | } |
||||
388 | |||||
389 | public function testFind() |
||||
390 | { |
||||
391 | $sequence = new Primitive([1, 2, 3]); |
||||
392 | |||||
393 | $this->assertSame( |
||||
394 | 1, |
||||
395 | $sequence->find(static fn($i) => $i === 1)->match( |
||||
396 | static fn($i) => $i, |
||||
397 | static fn() => null, |
||||
398 | ), |
||||
399 | ); |
||||
400 | $this->assertSame( |
||||
401 | 2, |
||||
402 | $sequence->find(static fn($i) => $i === 2)->match( |
||||
403 | static fn($i) => $i, |
||||
404 | static fn() => null, |
||||
405 | ), |
||||
406 | ); |
||||
407 | $this->assertSame( |
||||
408 | 3, |
||||
409 | $sequence->find(static fn($i) => $i === 3)->match( |
||||
410 | static fn($i) => $i, |
||||
411 | static fn() => null, |
||||
412 | ), |
||||
413 | ); |
||||
414 | |||||
415 | $this->assertNull( |
||||
416 | $sequence->find(static fn($i) => $i === 0)->match( |
||||
417 | static fn($i) => $i, |
||||
418 | static fn() => null, |
||||
419 | ), |
||||
420 | ); |
||||
421 | } |
||||
422 | |||||
423 | public function get($map, $index) |
||||
424 | { |
||||
425 | return $map->get($index)->match( |
||||
426 | static fn($value) => $value, |
||||
427 | static fn() => null, |
||||
428 | ); |
||||
429 | } |
||||
430 | } |
||||
431 |