Innmind / Immutable

tests/Set/PrimitiveTest.php

<?php
declare(strict_types = 1);

namespace Tests\Innmind\Immutable\Set;

use Innmind\Immutable\{
    Set\Primitive,
    Set\Implementation,
    Set,
    Map,
    Str,
    Sequence,
    SideEffect,
};
use PHPUnit\Framework\TestCase;

class PrimitiveTest extends TestCase
{
    public function testInterface()
    {
        $this->assertInstanceOf(
            Implementation::class,
            Primitive::of(),
        );
    }

    public function testSize()
    {
        $this->assertSame(2, (Primitive::of(1, 2))->size());

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $this->assertSame(2, (Primitive::of(1, 2))->count());
    }

    public function testIterator()
    {
        $this->assertSame([1, 2], \iterator_to_array((Primitive::of(1, 2))->iterator()));

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

    }

    public function testIntersect()
    {
        $a = Primitive::of(1, 2);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = Primitive::of(2, 3);
        $c = $a->intersect($b);

        $this->assertSame([1, 2], \iterator_to_array($a->iterator()));
        $this->assertSame([2, 3], \iterator_to_array($b->iterator()));
        $this->assertInstanceOf(Primitive::class, $c);
        $this->assertSame([2], \iterator_to_array($c->iterator()));
    }

    public function testAdd()
    {
        $a = Primitive::of(1);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = ($a)(2);

        $this->assertSame([1], \iterator_to_array($a->iterator()));
        $this->assertInstanceOf(Primitive::class, $b);
        $this->assertSame([1, 2], \iterator_to_array($b->iterator()));
        $this->assertSame($b, ($b)(2));
    }

    public function testContains()
    {
        $set = Primitive::of(1);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $this->assertTrue($set->contains(1));

1 of type integer is incompatible with the type Innmind\Immutable\Set\T expected by parameter $element of Innmind\Immutable\Set\Primitive::contains().

        $this->assertFalse($set->contains(2));
    }

    public function testRemove()
    {
        $a = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = $a->remove(3);

3 of type integer is incompatible with the type Innmind\Immutable\Set\T expected by parameter $element of Innmind\Immutable\Set\Primitive::remove().

        $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator()));
        $this->assertInstanceOf(Primitive::class, $b);
        $this->assertSame([1, 2, 4], \iterator_to_array($b->iterator()));
        $this->assertSame($a, $a->remove(5));
    }

    public function testDiff()
    {
        $a = Primitive::of(1, 2, 3);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = Primitive::of(2, 4);
        $c = $a->diff($b);

        $this->assertSame([1, 2, 3], \iterator_to_array($a->iterator()));
        $this->assertSame([2, 4], \iterator_to_array($b->iterator()));
        $this->assertInstanceOf(Primitive::class, $c);
        $this->assertSame([1, 3], \iterator_to_array($c->iterator()));
    }

    public function testEquals()
    {
        $this->assertTrue((Primitive::of(1, 2))->equals(Primitive::of(1, 2)));

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $this->assertFalse((Primitive::of(1, 2))->equals(Primitive::of(1)));
        $this->assertFalse((Primitive::of(1, 2))->equals(Primitive::of(1, 2, 3)));
    }

    public function testFilter()
    {
        $a = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = $a->filter(static fn($i) => $i % 2 === 0);

        $this->assertSame([1, 2, 3, 4], \iterator_to_array($a->iterator()));
        $this->assertInstanceOf(Primitive::class, $b);
        $this->assertSame([2, 4], \iterator_to_array($b->iterator()));
    }

    public function testForeach()
    {
        $set = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $calls = 0;
        $sum = 0;

        $this->assertInstanceOf(
            SideEffect::class,
            $set->foreach(static function($i) use (&$calls, &$sum) {
                ++$calls;
                $sum += $i;
            }),
        );

        $this->assertSame(4, $calls);
        $this->assertSame(10, $sum);
    }

    public function testGroupBy()
    {
        $set = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $groups = $set->groupBy(static fn($i) => $i % 2);

        $this->assertSame([1, 2, 3, 4], \iterator_to_array($set->iterator()));
        $this->assertInstanceOf(Map::class, $groups);
        $this->assertCount(2, $groups);
        $this->assertSame([2, 4], $this->get($groups, 0)->toList());
        $this->assertSame([1, 3], $this->get($groups, 1)->toList());
    }

    public function testMap()
    {
        $a = Primitive::of(1, 2, 3);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = $a->map(static fn($i) => $i * 2);

        $this->assertSame([1, 2, 3], \iterator_to_array($a->iterator()));
        $this->assertInstanceOf(Primitive::class, $b);
        $this->assertSame([2, 4, 6], \iterator_to_array($b->iterator()));
    }

    public function testPartition()
    {
        $set = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $groups = $set->partition(static fn($i) => $i % 2 === 0);

        $this->assertSame([1, 2, 3, 4], \iterator_to_array($set->iterator()));
        $this->assertInstanceOf(Map::class, $groups);
        $this->assertCount(2, $groups);
        $this->assertSame([2, 4], $this->get($groups, true)->toList());
        $this->assertSame([1, 3], $this->get($groups, false)->toList());
    }

    public function testSort()
    {
        $set = Primitive::of(1, 4, 3, 2);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $sorted = $set->sort(static fn($a, $b) => $a > $b ? 1 : -1);

        $this->assertSame([1, 4, 3, 2], \iterator_to_array($set->iterator()));
        $this->assertInstanceOf(Sequence::class, $sorted);
        $this->assertSame([1, 2, 3, 4], $sorted->toList());
    }

    public function testMerge()
    {
        $a = Primitive::of(1, 2);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = Primitive::of(2, 3);
        $c = $a->merge($b);

        $this->assertSame([1, 2], \iterator_to_array($a->iterator()));
        $this->assertSame([2, 3], \iterator_to_array($b->iterator()));
        $this->assertInstanceOf(Primitive::class, $c);
        $this->assertSame([1, 2, 3], \iterator_to_array($c->iterator()));
    }

    public function testReduce()
    {
        $set = Primitive::of(1, 2, 3, 4);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $this->assertSame(10, $set->reduce(0, static fn($sum, $i) => $sum + $i));

0 of type integer is incompatible with the type Innmind\Immutable\Set\R expected by parameter $carry of Innmind\Immutable\Set\Primitive::reduce().

    }

    public function testClear()
    {
        $a = Primitive::of(1);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $b = $a->clear();

        $this->assertSame([1], \iterator_to_array($a->iterator()));
        $this->assertInstanceOf(Primitive::class, $b);
        $this->assertSame([], \iterator_to_array($b->iterator()));
    }

    public function testEmpty()
    {
        $this->assertTrue((Primitive::of())->empty());
        $this->assertFalse((Primitive::of(1))->empty());

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

    }

    public function testFind()
    {
        $sequence = Primitive::of(1, 2, 3);

1 of type integer is incompatible with the type Innmind\Immutable\Set\A expected by parameter $values of Innmind\Immutable\Set\Primitive::of().

        $this->assertSame(
            1,
            $sequence->find(static fn($i) => $i === 1)->match(
                static fn($i) => $i,
                static fn() => null,
            ),
        );
        $this->assertSame(
            2,
            $sequence->find(static fn($i) => $i === 2)->match(
                static fn($i) => $i,
                static fn() => null,
            ),
        );
        $this->assertSame(
            3,
            $sequence->find(static fn($i) => $i === 3)->match(
                static fn($i) => $i,
                static fn() => null,
            ),
        );

        $this->assertNull(
            $sequence->find(static fn($i) => $i === 0)->match(
                static fn($i) => $i,
                static fn() => null,
            ),
        );
    }

    public function get($map, $index)
    {
        return $map->get($index)->match(
            static fn($value) => $value,
            static fn() => null,
        );
    }
}