1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283 |
- <?php
- declare(strict_types=1);
- class ListOps {
- public function append(array $list1, array $list2): array {
- $list = $list1;
- foreach ($list2 as $item) {
- $list[] = $item;
- }
- return $list;
- }
- public function concat(array $list1, array ...$listn): array {
- $res = $list1;
- foreach ($listn as $list) {
- foreach ($list as $item) {
- $res[] = $item;
- }
- }
- return $res;
- }
-
- public function filter(callable $predicate, array $list): array {
- return array_values(array_filter($list, $predicate));
- }
- public function length(array $list): int {
- return count($list);
- }
-
- public function map(callable $function, array $list): array {
- return array_map($function, $list);
- }
-
- public function foldl(callable $function, array $list, $accumulator) {
- return array_reduce($list, $function, $accumulator);
- }
-
- public function foldr(callable $function, array $list, $accumulator) {
- return array_reduce(array_reverse($list), $function, $accumulator);
- }
- public function reverse(array $list): array {
- return array_reverse($list);
- }
- }
|