Backtrack auto-unwrapping, unless it ignores arguments (scalar return value).

Author: loganhenson

readme.md

@@ -39,7 +39,7 @@ $addSix(4); // 10;
 Pattern Matching.
 ```php
 Pattern::match([
-    fn(Just $value) => $unwrapped,
+    fn(Just $value) => fn ($unwrapped) => $unwrapped,
     fn(Nothing $value) => 'nothing',
 ])(Maybe::just('just')); // 'just'
 ```
@@ -60,7 +60,7 @@ $errorHandler = function (Err $err) {
 };
 
 return Pattern::match([
-    fn(Ok $value) => $user,
+    fn(Ok $value) => fn (User $user) => $user,
     $errorHandler
 ])(Result::from(fn() => User::findOrFail(1)));
 ```

tests/Control/PatternTest.php

@@ -49,11 +49,11 @@ public function it_matches_on_type()
     public function it_can_match_on_result_ok()
     {
         $match = Pattern::match([
-            fn (Ok $value) => fn (int $value) => $value + 2,
+            fn (Ok $value) => fn (string $value) => $value . 'bc',
             fn (Err $error) => 'nothing',
         ]);
 
-        $this->assertEquals(3, $match(Result::ok(1)));
+        $this->assertEquals('abc', $match(Result::ok('a')));
     }
 
     /** @test */
@@ -71,11 +71,11 @@ public function it_can_match_on_result_err()
     public function it_can_match_on_maybe_just()
     {
         $match = Pattern::match([
-            fn (Just $value) => $value + 2,
+            fn (Just $value) => fn (string $value) => $value . 'bc',
             fn (Nothing $_) => 'nothing',
         ]);
 
-        $this->assertEquals(3, $match(Maybe::just(1)));
+        $this->assertEquals('abc', $match(Maybe::just('a')));
     }
 
     /** @test */