@@ -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 | |
@@ -18,60 +18,60 @@ discard block |
||
| 18 | 18 | |
| 19 | 19 | function returnString(string $s): callable |
| 20 | 20 | { |
| 21 | - return function () use ($s): string { |
|
| 21 | + return function() use ($s): string { |
|
| 22 | 22 | return $s; |
| 23 | 23 | }; |
| 24 | 24 | } |
| 25 | 25 | |
| 26 | 26 | $res0 = match(42) |
| 27 | - ->case(Any(), function (): string { return 'Anything'; }) |
|
| 27 | + ->case(Any(), function(): string { return 'Anything'; }) |
|
| 28 | 28 | ->done(); |
| 29 | 29 | |
| 30 | 30 | println($res0); |
| 31 | 31 | |
| 32 | 32 | $res1 = match(Some(42)) |
| 33 | - ->case(Any(), function (): string { return 'Anything'; }) |
|
| 33 | + ->case(Any(), function(): string { return 'Anything'; }) |
|
| 34 | 34 | ->done(); |
| 35 | 35 | |
| 36 | 36 | println($res1); |
| 37 | 37 | |
| 38 | 38 | $res2 = match(42) |
| 39 | - ->case(Value(13), function (): string { return 'Number 13'; }) |
|
| 40 | - ->case(Value('42'), function (): string { return 'String "42"'; }) |
|
| 41 | - ->case(Value(42), function (): string { return 'Number 42'; }) |
|
| 42 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
| 39 | + ->case(Value(13), function(): string { return 'Number 13'; }) |
|
| 40 | + ->case(Value('42'), function(): string { return 'String "42"'; }) |
|
| 41 | + ->case(Value(42), function(): string { return 'Number 42'; }) |
|
| 42 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
| 43 | 43 | ->done(); |
| 44 | 44 | |
| 45 | 45 | println($res2); |
| 46 | 46 | |
| 47 | 47 | $res3 = match(Some(42)) |
| 48 | - ->case(Value(Some(13)), function (): string { return 'Some 13'; }) |
|
| 49 | - ->case(Value(Some(42)), function (): string { return 'Some 42'; }) |
|
| 50 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
| 48 | + ->case(Value(Some(13)), function(): string { return 'Some 13'; }) |
|
| 49 | + ->case(Value(Some(42)), function(): string { return 'Some 42'; }) |
|
| 50 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
| 51 | 51 | ->done(); |
| 52 | 52 | |
| 53 | 53 | println($res3); |
| 54 | 54 | |
| 55 | 55 | $res4 = match(Some(42)) |
| 56 | - ->case(Value(Some(13)), function (): string { return 'Some 13'; }) |
|
| 57 | - ->case(Value(Some('42')), function (): string { return 'Some 42'; }) |
|
| 58 | - ->case(Any(), function (): string { return 'Fallback'; }) |
|
| 56 | + ->case(Value(Some(13)), function(): string { return 'Some 13'; }) |
|
| 57 | + ->case(Value(Some('42')), function(): string { return 'Some 42'; }) |
|
| 58 | + ->case(Any(), function(): string { return 'Fallback'; }) |
|
| 59 | 59 | ->done(); |
| 60 | 60 | |
| 61 | 61 | println($res4); |
| 62 | 62 | |
| 63 | 63 | $res5 = match(42) |
| 64 | - ->case(Type('string'), function (): string { return 'String'; }) |
|
| 65 | - ->case(Type('integer'), function (): string { return 'Integer'; }) |
|
| 66 | - ->case(Any(), function (): string { return 'Not integer'; }) |
|
| 64 | + ->case(Type('string'), function(): string { return 'String'; }) |
|
| 65 | + ->case(Type('integer'), function(): string { return 'Integer'; }) |
|
| 66 | + ->case(Any(), function(): string { return 'Not integer'; }) |
|
| 67 | 67 | ->done(); |
| 68 | 68 | |
| 69 | 69 | println($res5); |
| 70 | 70 | |
| 71 | 71 | $res6 = match(Some(42)) |
| 72 | - ->case(Type(None::class), function (): string { return 'None'; }) |
|
| 73 | - ->case(Type(Some::class), function (): string { return 'Some'; }) |
|
| 74 | - ->case(Any(), function (): string { return 'Neither'; }) |
|
| 72 | + ->case(Type(None::class), function(): string { return 'None'; }) |
|
| 73 | + ->case(Type(Some::class), function(): string { return 'Some'; }) |
|
| 74 | + ->case(Any(), function(): string { return 'Neither'; }) |
|
| 75 | 75 | ->done(); |
| 76 | 76 | |
| 77 | 77 | println($res6); |
@@ -87,7 +87,7 @@ discard block |
||
| 87 | 87 | $res8 = match(new Tuple('2 * 7 = ', 14)) |
| 88 | 88 | ->case( |
| 89 | 89 | Type(Tuple::class, Any()->bind(), Any()->bind()), |
| 90 | - function (string $question, int $answer): string { return concat('Solution: ', $question, AnyToString($answer)); } |
|
| 90 | + function(string $question, int $answer): string { return concat('Solution: ', $question, AnyToString($answer)); } |
|
| 91 | 91 | ) |
| 92 | 92 | ->case(Any(), returnString('Fallback')) |
| 93 | 93 | ->done(); |