-
-
Notifications
You must be signed in to change notification settings - Fork 73
/
Copy pathVector.php
595 lines (555 loc) · 16.7 KB
/
Vector.php
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
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
<?php
declare(strict_types=1);
namespace Psl\Collection;
use Closure;
use Psl\Dict;
use Psl\Iter;
use Psl\Vec;
use function array_key_exists;
use function array_key_last;
use function array_keys;
use function count;
/**
* @template T
*
* @implements VectorInterface<T>
*/
final readonly class Vector implements VectorInterface
{
/**
* @var list<T> $elements
*/
private array $elements;
/**
* @param array<array-key, T> $elements
*
* @psalm-mutation-free
*/
public function __construct(array $elements)
{
$list = [];
foreach ($elements as $element) {
$list[] = $element;
}
$this->elements = $list;
}
/**
* Creates and returns a default instance of {@see Vector}.
*
* @return static A default instance of {@see Vector}.
*
* @pure
*/
#[\Override]
public static function default(): static
{
return new self([]);
}
/**
* Create a vector from the given $elements array.
*
* @template Ts
*
* @param array<array-key, Ts> $elements
*
* @return Vector<Ts>
*
* @pure
*/
public static function fromArray(array $elements): Vector
{
return new self($elements);
}
/**
* Create a vector from the given $items iterable.
*
* @template Ts
*
* @param iterable<array-key, Ts> $items
*
* @return Vector<Ts>
*/
public static function fromItems(iterable $items): Vector
{
/**
* @psalm-suppress InvalidArgument
*
* @var array<array-key, Ts>
*/
$array = iterator_to_array($items);
return self::fromArray($array);
}
/**
* Returns the first value in the current `Vector`.
*
* @return T|null The first value in the current `Vector`, or `null` if the
* current `Vector` is empty.
*
* @psalm-mutation-free
*/
#[\Override]
public function first(): mixed
{
return $this->elements[0] ?? null;
}
/**
* Returns the last value in the current `Vector`.
*
* @return T|null The last value in the current `Vector`, or `null` if the
* current `Vector` is empty.
*
* @psalm-mutation-free
*/
#[\Override]
public function last(): mixed
{
$key = array_key_last($this->elements);
if (null === $key) {
return null;
}
return $this->elements[$key];
}
/**
* Retrieve an external iterator.
*
* @return Iter\Iterator<int<0, max>, T>
*/
#[\Override]
public function getIterator(): Iter\Iterator
{
return Iter\Iterator::create($this->elements);
}
/**
* Is the `Vector` empty?
*
* @psalm-mutation-free
*/
#[\Override]
public function isEmpty(): bool
{
return [] === $this->elements;
}
/**
* Get the number of elements in the current `Vector`.
*
* @psalm-mutation-free
*
* @return int<0, max>
*/
#[\Override]
public function count(): int
{
/** @var int<0, max> */
return count($this->elements);
}
/**
* Get an array copy of the current `Vector`.
*
* @return list<T>
*
* @psalm-mutation-free
*/
#[\Override]
public function toArray(): array
{
return $this->elements;
}
/**
* Get an array copy of the current `Vector`.
*
* @return list<T>
*
* @psalm-mutation-free
*/
#[\Override]
public function jsonSerialize(): array
{
return $this->elements;
}
/**
* Returns the value at the specified key in the current `Vector`.
*
* @param int<0, max> $k
*
* @throws Exception\OutOfBoundsException If $k is out-of-bounds.
*
* @return T
*
* @psalm-mutation-free
*/
#[\Override]
public function at(int|string $k): mixed
{
if (!array_key_exists($k, $this->elements)) {
throw Exception\OutOfBoundsException::for($k);
}
return $this->elements[$k];
}
/**
* Determines if the specified key is in the current `Vector`.
*
* @param int<0, max> $k
*
* @psalm-mutation-free
*/
#[\Override]
public function contains(int|string $k): bool
{
return array_key_exists($k, $this->elements);
}
/**
* Alias of `contains`.
*
* @param int<0, max> $k
*
* @psalm-mutation-free
*/
#[\Override]
public function containsKey(int|string $k): bool
{
return $this->contains($k);
}
/**
* Returns the value at the specified key in the current `Vector`.
*
* @param int<0, max> $k
*
* @return T|null
*
* @psalm-mutation-free
*/
#[\Override]
public function get(int|string $k): mixed
{
return $this->elements[$k] ?? null;
}
/**
* Returns the first key in the current `Vector`.
*
* @return int<0, max>|null The first key in the current `Vector`, or `null` if the
* current `Vector` is empty.
*
* @psalm-mutation-free
*/
#[\Override]
public function firstKey(): null|int
{
return [] === $this->elements ? null : 0;
}
/**
* Returns the last key in the current `Vector`.
*
* @return int<0, max>|null The last key in the current `Vector`, or `null` if the
* current `Vector` is empty.
*
* @psalm-mutation-free
*/
#[\Override]
public function lastKey(): null|int
{
return array_key_last($this->elements);
}
/**
* Returns the index of the first element that matches the search value.
*
* If no element matches the search value, this function returns null.
*
* @param T $search_value The value that will be search for in the current
* collection.
*
* @return int<0, max>|null The key (index) where that value is found; null if it is not found.
*
* @psalm-mutation-free
*/
#[\Override]
public function linearSearch(mixed $search_value): null|int
{
foreach ($this->elements as $key => $element) {
if ($search_value === $element) {
return $key;
}
}
return null;
}
/**
* Returns a `Vector` containing the values of the current
* `Vector`.
*
* @return Vector<T>
*
* @psalm-mutation-free
*/
#[\Override]
public function values(): Vector
{
return self::fromArray($this->elements);
}
/**
* Returns a `Vector` containing the keys of the current `Vector`.
*
* @return Vector<int<0, max>>
*
* @psalm-mutation-free
*/
#[\Override]
public function keys(): Vector
{
return self::fromArray(array_keys($this->elements));
}
/**
* Returns a `Vector` containing the values of the current `Vector`
* that meet a supplied condition.
*
* Only values that meet a certain criteria are affected by a call to
* `filter()`, while all values are affected by a call to `map()`.
*
* The keys associated with the current `Vector` remain unchanged in the
* returned `Vector`.
*
* @param (Closure(T): bool) $fn The callback containing the condition to apply to the current
* `Vector` values.
*
* @return Vector<T> a Vector containing the values after a user-specified condition
* is applied.
*/
#[\Override]
public function filter(Closure $fn): Vector
{
return new Vector(Dict\filter($this->elements, $fn));
}
/**
* Returns a `Vector` containing the values of the current `Vector`
* that meet a supplied condition applied to its keys and values.
*
* Only keys and values that meet a certain criteria are affected by a call
* to `filterWithKey()`, while all values are affected by a call to
* `mapWithKey()`.
*
* The keys associated with the current `Vector` remain unchanged in the
* returned `Vector`; the keys will be used in the filtering process only.
*
* @param (Closure(int<0, max>, T): bool) $fn The callback containing the condition to apply to the current
* `Vector` keys and values.
*
* @return Vector<T> a `Vector` containing the values after a user-specified
* condition is applied to the keys and values of the current `Vector`.
*/
#[\Override]
public function filterWithKey(Closure $fn): Vector
{
return new Vector(Dict\filter_with_key($this->elements, $fn));
}
/**
* Returns a `Vector` after an operation has been applied to each value
* in the current `Vector`.
*
* Every value in the current Map is affected by a call to `map()`, unlike
* `filter()` where only values that meet a certain criteria are affected.
*
* The keys will remain unchanged from the current `Vector` to the
* returned `Vector`.
*
* @template Tu
*
* @param (Closure(T): Tu) $fn The callback containing the operation to apply to the current
* `Vector` values.
*
* @return Vector<Tu> a `Vector` containing key/value pairs after a user-specified
* operation is applied.
*/
#[\Override]
public function map(Closure $fn): Vector
{
return new Vector(Dict\map($this->elements, $fn));
}
/**
* Returns a `Vector` after an operation has been applied to each key and
* value in the current `Vector`.
*
* Every key and value in the current `Vector` is affected by a call to
* `mapWithKey()`, unlike `filterWithKey()` where only values that meet a
* certain criteria are affected.
*
* The keys will remain unchanged from this `Vector` to the returned
* `Vector`. The keys are only used to help in the mapping operation.
*
* @template Tu
*
* @param (Closure(int<0, max>, T): Tu) $fn The callback containing the operation to apply to the current
* `Vector` keys and values.
*
* @return Vector<Tu> a `Vector` containing the values after a user-specified
* operation on the current `Vector`'s keys and values is applied.
*/
#[\Override]
public function mapWithKey(Closure $fn): Vector
{
return new Vector(Dict\map_with_key($this->elements, $fn));
}
/**
* Returns a `Vector` where each element is a `array{0: Tv, 1: Tu}` that combines the
* element of the current `VectorInterface` and the provided elements array.
*
* If the number of elements of the `Vector` are not equal to the
* number of elements in `$elements`, then only the combined elements
* up to and including the final element of the one with the least number of
* elements is included.
*
* @template Tu
*
* @param array<array-key, Tu> $elements The elements to use to combine with the elements of this `VectorInterface`.
*
* @return Vector<array{0: T, 1: Tu}> The `Vector` that combines the values of the current
* `Vector` with the provided elements.
*
* @psalm-mutation-free
*/
#[\Override]
public function zip(array $elements): Vector
{
/** @psalm-suppress ImpureFunctionCall - conditionally pure */
return Vector::fromArray(Vec\zip($this->elements, $elements));
}
/**
* Returns a `Vector` containing the first `n` values of the current
* `Vector`.
*
* The returned `Vector` will always be a proper subset of the current
* `Vector`.
*
* `$n` is 1-based. So the first element is 1, the second 2, etc.
*
* @param int<0, max> $n The last element that will be included in the returned
* `Vector`.
*
* @return Vector<T> A `Vector` that is a proper subset of the current
* `Vector` up to `n` elements.
*
* @psalm-mutation-free
*/
#[\Override]
public function take(int $n): Vector
{
return $this->slice(0, $n);
}
/**
* Returns a `Vector` containing the values of the current `Vector`
* up to but not including the first value that produces `false` when passed
* to the specified callback.
*
* The returned `Vector` will always be a proper subset of the current
* `Vector`.
*
* @param (Closure(T): bool) $fn The callback that is used to determine the stopping
* condition.
*
* @return Vector<T> A `Vector` that is a proper subset of the current
* `Vector` up until the callback returns `false`.
*/
#[\Override]
public function takeWhile(Closure $fn): Vector
{
return new Vector(Dict\take_while($this->elements, $fn));
}
/**
* Returns a `Vector` containing the values after the `n`-th element of
* the current `Vector`.
*
* The returned `Vector` will always be a proper subset of the current
* `VectorInterface`.
*
* `$n` is 1-based. So the first element is 1, the second 2, etc.
*
* @param int<0, max> $n The last element to be skipped; the $n+1 element will be the
* first one in the returned `Vector`.
*
* @return Vector<T> A `Vector` that is a proper subset of the current
* `Vector` containing values after the specified `n`-th element.
*
* @psalm-mutation-free
*/
#[\Override]
public function drop(int $n): Vector
{
return $this->slice($n);
}
/**
* Returns a `Vector` containing the values of the current `Vector`
* starting after and including the first value that produces `true` when
* passed to the specified callback.
*
* The returned `Vector` will always be a proper subset of the current
* `Vector`.
*
* @param (Closure(T): bool) $fn The callback used to determine the starting element for the
* returned `Vector`.
*
* @return Vector<T> A `Vector` that is a proper subset of the current
* `Vector` starting after the callback returns `true`.
*/
#[\Override]
public function dropWhile(Closure $fn): Vector
{
return new Vector(Dict\drop_while($this->elements, $fn));
}
/**
* Returns a subset of the current `Vector` starting from a given key up
* to, but not including, the element at the provided length from the starting
* key.
*
* `$start` is 0-based. $len is 1-based. So `slice(0, 2)` would return the
* elements at key 0 and 1.
*
* The returned `Vector` will always be a proper subset of this
* `Vector`.
*
* @param int<0, max> $start The starting key of this Vector to begin the returned
* `Vector`.
* @param null|int<0, max> $length The length of the returned `Vector`
*
* @return Vector<T> A `Vector` that is a proper subset of the current
* `Vector` starting at `$start` up to but not including the
* element `$start + $length`.
*
* @psalm-mutation-free
*/
#[\Override]
public function slice(int $start, null|int $length = null): Vector
{
/** @psalm-suppress ImpureFunctionCall - conditionally pure */
return self::fromArray(Dict\slice($this->elements, $start, $length));
}
/**
* Returns a `Vector` containing the original `Vector` split into
* chunks of the given size.
*
* If the original `Vector` doesn't divide evenly, the final chunk will be
* smaller.
*
* @param positive-int $size The size of each chunk.
*
* @return Vector<Vector<T>> A `Vector` containing the original `Vector` split
* into chunks of the given size.
*
* @psalm-mutation-free
*
* @psalm-suppress LessSpecificImplementedReturnType - I don't see how this one is less specific than its inherited.
*/
#[\Override]
public function chunk(int $size): Vector
{
/**
* @psalm-suppress MissingThrowsDocblock
* @psalm-suppress ImpureFunctionCall
*/
return static::fromArray(Vec\map(
Vec\chunk($this->toArray(), $size),
/**
* @param list<T> $chunk
*
* @return Vector<T>
*/
static fn(array $chunk): Vector => static::fromArray($chunk),
));
}
}