|  | @@ -0,0 +1,263 @@
 | 
	
		
			
				|  |  | +<?php
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +/*
 | 
	
		
			
				|  |  | + * By adding type hints and enabling strict type checking, code can become
 | 
	
		
			
				|  |  | + * easier to read, self-documenting and reduce the number of potential bugs.
 | 
	
		
			
				|  |  | + * By default, type declarations are non-strict, which means they will attempt
 | 
	
		
			
				|  |  | + * to change the original type to match the type specified by the
 | 
	
		
			
				|  |  | + * type-declaration.
 | 
	
		
			
				|  |  | + *
 | 
	
		
			
				|  |  | + * In other words, if you pass a string to a function requiring a float,
 | 
	
		
			
				|  |  | + * it will attempt to convert the string value to a float.
 | 
	
		
			
				|  |  | + *
 | 
	
		
			
				|  |  | + * To enable strict mode, a single declare directive must be placed at the top
 | 
	
		
			
				|  |  | + * of the file.
 | 
	
		
			
				|  |  | + * This means that the strictness of typing is configured on a per-file basis.
 | 
	
		
			
				|  |  | + * This directive not only affects the type declarations of parameters, but also
 | 
	
		
			
				|  |  | + * a function's return type.
 | 
	
		
			
				|  |  | + *
 | 
	
		
			
				|  |  | + * For more info review the Concept on strict type checking in the PHP track
 | 
	
		
			
				|  |  | + * <link>.
 | 
	
		
			
				|  |  | + *
 | 
	
		
			
				|  |  | + * To disable strict typing, comment out the directive below.
 | 
	
		
			
				|  |  | + */
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +declare(strict_types=1);
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +use PHPUnit\Framework\ExpectationFailedException;
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +class ListOpsTest extends PHPUnit\Framework\TestCase
 | 
	
		
			
				|  |  | +{
 | 
	
		
			
				|  |  | +    public static function setUpBeforeClass(): void
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        require_once 'ListOps.php';
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox append entries to a list and return the new list -> empty lists
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testAppendEmptyLists()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([], $listOps->append([], []));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox append entries to a list and return the new list -> list to empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testAppendNonEmptyListToEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([1, 2, 3, 4], $listOps->append([1, 2, 3, 4], []));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox append entries to a list and return the new list -> empty list to list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testAppendEmptyListToNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([1, 2, 3, 4], $listOps->append([], [1, 2, 3, 4]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox append entries to a list and return the new list -> non-empty lists
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testAppendNonEmptyLists()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([1, 2, 2, 3, 4, 5], $listOps->append([1, 2], [2, 3, 4, 5]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox concatenate a list of lists -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testConcatEmptyLists()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([], $listOps->concat([], []));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox concatenate a list of lists -> list of lists
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testConcatLists()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([1, 2, 3, 4, 5, 6], $listOps->concat([1, 2], [3], [], [4, 5, 6]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox concatenate a list of lists -> list of nested lists
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testConcatNestedLists()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([[1], [2], [3], [], [4, 5, 6]], $listOps->concat([[1], [2]], [[3]], [[]], [[4, 5, 6]]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox filter list returning only values that satisfy the filter function -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFilterEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            [],
 | 
	
		
			
				|  |  | +            $listOps->filter(static fn ($el) => $el % 2 === 1, [])
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox filter list returning only values that satisfy the filter function -> non empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFilterNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            [1, 3, 5],
 | 
	
		
			
				|  |  | +            $listOps->filter(static fn ($el) => $el % 2 === 1, [1, 2, 3, 5])
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox returns the length of a list -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testLengthEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(0, $listOps->length([]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox returns the length of a list -> non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testLengthNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(4, $listOps->length([1, 2, 3, 4]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox returns a list of elements whose values equal the list value transformed by the mapping function -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testMapEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            [],
 | 
	
		
			
				|  |  | +            $listOps->map(static fn ($el) => $el + 1, [])
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox returns a list of elements whose values equal the list value transformed by the mapping function -> non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testMapNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            [2, 4, 6, 8],
 | 
	
		
			
				|  |  | +            $listOps->map(static fn ($el) => $el + 1, [1, 3, 5, 7])
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the left with a function -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldlEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            2,
 | 
	
		
			
				|  |  | +            $listOps->foldl(static fn ($acc, $el) => $el * $acc, [], 2)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the left with a function -> direction independent function applied to non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldlDirectionIndependentNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            15,
 | 
	
		
			
				|  |  | +            $listOps->foldl(static fn ($acc, $el) => $acc + $el, [1, 2, 3, 4], 5)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the left with a function -> direction dependent function applied to non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldlDirectionDependentNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            64,
 | 
	
		
			
				|  |  | +            $listOps->foldl(static fn ($acc, $el) => $el / $acc, [1, 2, 3, 4], 24)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the right with a function -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldrEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            2,
 | 
	
		
			
				|  |  | +            $listOps->foldr(static fn ($acc, $el) => $el * $acc, [], 2)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the right with a function -> direction independent function applied to non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldrDirectionIndependentNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            15,
 | 
	
		
			
				|  |  | +            $listOps->foldr(static fn ($acc, $el) => $acc + $el, [1, 2, 3, 4], 5)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox folds (reduces) the given list from the right with a function -> direction dependent function applied to non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testFoldrDirectionDependentNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals(
 | 
	
		
			
				|  |  | +            9,
 | 
	
		
			
				|  |  | +            $listOps->foldr(static fn ($acc, $el) => $el / $acc, [1, 2, 3, 4], 24)
 | 
	
		
			
				|  |  | +        );
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox reverse the elements of a list -> empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testReverseEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([], $listOps->reverse([]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox reverse the elements of a list -> non-empty list
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testReverseNonEmptyList()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([7, 5, 3, 1], $listOps->reverse([1, 3, 5, 7]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +    /**
 | 
	
		
			
				|  |  | +     * @testdox reverse the elements of a list -> list of lists is not flattened
 | 
	
		
			
				|  |  | +     */
 | 
	
		
			
				|  |  | +    public function testReverseNonEmptyListIsNotFlattened()
 | 
	
		
			
				|  |  | +    {
 | 
	
		
			
				|  |  | +        $listOps = new ListOps();
 | 
	
		
			
				|  |  | +        $this->assertEquals([[4, 5, 6], [], [3], [1, 2]], $listOps->reverse([[1, 2], [3], [], [4, 5, 6]]));
 | 
	
		
			
				|  |  | +    }
 | 
	
		
			
				|  |  | +}
 |