@@ -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); |