@@ -1,6 +1,6 @@ discard block |
||
1 | 1 | <?php |
2 | 2 | |
3 | -declare(strict_types=1); |
|
3 | +declare(strict_types = 1); |
|
4 | 4 | |
5 | 5 | require_once __DIR__.'/../vendor/autoload.php'; |
6 | 6 | |
@@ -15,60 +15,60 @@ discard block |
||
15 | 15 | |
16 | 16 | function returnString(string $s): callable |
17 | 17 | { |
18 | - return function () use ($s): string { |
|
18 | + return function() use ($s): string { |
|
19 | 19 | return $s; |
20 | 20 | }; |
21 | 21 | } |
22 | 22 | |
23 | 23 | $res0 = match(42) |
24 | - ->case(Any(), function (): string { return 'Anything'; }) |
|
24 | + ->case(Any(), function(): string { return 'Anything'; }) |
|
25 | 25 | ->done(); |
26 | 26 | |
27 | 27 | println($res0); |
28 | 28 | |
29 | 29 | $res1 = match(Some(42)) |
30 | - ->case(Any(), function (): string { return 'Anything'; }) |
|
30 | + ->case(Any(), function(): string { return 'Anything'; }) |
|
31 | 31 | ->done(); |
32 | 32 | |
33 | 33 | println($res1); |
34 | 34 | |
35 | 35 | $res2 = match(42) |
36 | - ->case(Value(13), function (): string { return 'Number 13'; }) |
|
37 | - ->case(Value('42'), function (): string { return 'String "42"'; }) |
|
38 | - ->case(Value(42), function (): string { return 'Number 42'; }) |
|
39 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
36 | + ->case(Value(13), function(): string { return 'Number 13'; }) |
|
37 | + ->case(Value('42'), function(): string { return 'String "42"'; }) |
|
38 | + ->case(Value(42), function(): string { return 'Number 42'; }) |
|
39 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
40 | 40 | ->done(); |
41 | 41 | |
42 | 42 | println($res2); |
43 | 43 | |
44 | 44 | $res3 = match(Some(42)) |
45 | - ->case(Value(Some(13)), function (): string { return 'Some 13'; }) |
|
46 | - ->case(Value(Some(42)), function (): string { return 'Some 42'; }) |
|
47 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
45 | + ->case(Value(Some(13)), function(): string { return 'Some 13'; }) |
|
46 | + ->case(Value(Some(42)), function(): string { return 'Some 42'; }) |
|
47 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
48 | 48 | ->done(); |
49 | 49 | |
50 | 50 | println($res3); |
51 | 51 | |
52 | 52 | $res4 = match(Some(42)) |
53 | - ->case(Value(Some(13)), function (): string { return 'Some 13'; }) |
|
54 | - ->case(Value(Some('42')), function (): string { return 'Some 42'; }) |
|
55 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
53 | + ->case(Value(Some(13)), function(): string { return 'Some 13'; }) |
|
54 | + ->case(Value(Some('42')), function(): string { return 'Some 42'; }) |
|
55 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
56 | 56 | ->done(); |
57 | 57 | |
58 | 58 | println($res4); |
59 | 59 | |
60 | 60 | $res5 = match(42) |
61 | - ->case(Type('string'), function (): string { return 'String'; }) |
|
62 | - ->case(Type('integer'), function (): string { return 'Integer'; }) |
|
63 | - ->case(Any(), function (): string { return 'Not integer'; }) |
|
61 | + ->case(Type('string'), function(): string { return 'String'; }) |
|
62 | + ->case(Type('integer'), function(): string { return 'Integer'; }) |
|
63 | + ->case(Any(), function(): string { return 'Not integer'; }) |
|
64 | 64 | ->done(); |
65 | 65 | |
66 | 66 | println($res5); |
67 | 67 | |
68 | 68 | $res6 = match(Some(42)) |
69 | - ->case(Type(None::class), function (): string { return 'None'; }) |
|
70 | - ->case(Type(Some::class), function (): string { return 'Some'; }) |
|
71 | - ->case(Any(), function (): string { return 'Neither'; }) |
|
69 | + ->case(Type(None::class), function(): string { return 'None'; }) |
|
70 | + ->case(Type(Some::class), function(): string { return 'Some'; }) |
|
71 | + ->case(Any(), function(): string { return 'Neither'; }) |
|
72 | 72 | ->done(); |
73 | 73 | |
74 | 74 | println($res6); |