effect-system-php/tests/AdditionTest.php at main · annieversary/effect-system-php · GitHub

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
<?php declare(strict_types=1);

namespace Versary\EffectSystem;

use PHPUnit\Framework\TestCase;

use Versary\EffectSystem\Errors\UnhandledEffect;
use Versary\EffectSystem\Tests\AdditionTest\{AddNumbers, AddNumberHandler, SubNumbers, SubNumberHandler, SubNumberByAddHandler};

class AdditionTest extends TestCase
{
    function program() {
        $v = yield new AddNumbers(3, 7);
        $v = yield new SubNumbers($v, 2);

        return $v;
    }

    public function test_half_handle() {
        $gen = $this->program();

        $gen = Effect::handle($gen, new AddNumberHandler);

        $this->assertInstanceOf(SubNumbers::class, $gen->current());
        $gen->send(10);
        $this->assertFalse($gen->valid());
        $this->assertEquals(10, $gen->getReturn());
    }

    public function test_works() {
        $gen = $this->program();

        $gen = Effect::handle($gen, new AddNumberHandler);
        $gen = Effect::handle($gen, new SubNumberHandler);

        $result = Effect::run($gen);

        $this->assertEquals(8, $result);
    }

    public function test_handlers_in_inverse_order_works() {
        $gen = $this->program();

        $gen = Effect::handle($gen, new SubNumberHandler);
        $gen = Effect::handle($gen, new AddNumberHandler);
        $result = Effect::run($gen);

        $this->assertEquals(8, $result);
    }

    public function test_missing_handler() {
        $gen = $this->program();

        $this->expectException(UnhandledEffect::class);

        Effect::run($gen);
    }

    public function test_handler_that_yields() {
        $gen = $this->program();

        $gen = Effect::handle($gen, new SubNumberByAddHandler);
        $gen = Effect::handle($gen, new AddNumberHandler);
        $result = Effect::run($gen);

        $this->assertEquals(8, $result);
    }
}

namespace Versary\EffectSystem\Tests\AdditionTest;

use Versary\EffectSystem\{Effect, Handler};

class AddNumbers extends Effect {
    public function __construct(public int $a, public int $b) {}
}

class AddNumberHandler extends Handler {
    public static $effect = AddNumbers::class;

    public function resume(mixed $effect) {
        return $effect->a + $effect->b;
    }
}

class SubNumbers extends Effect {
    public function __construct(public int $a, public int $b) {}
}

class SubNumberHandler extends Handler {
    public static $effect = SubNumbers::class;

    public function resume(mixed $effect) {
        return $effect->a - $effect->b;
    }
}

class SubNumberByAddHandler extends Handler {
    public static $effect = SubNumbers::class;

    public function resume(mixed $effect) {
        return yield new AddNumbers($effect->a, -$effect->b);
    }
}