Maybe now can be pattern matched

diff --git a/src/Monad/Maybe/Just.php b/src/Monad/Maybe/Just.php
index 3cfb4ab..7ded5fc 100644 (file)
--- a/src/Monad/Maybe/Just.php
+++ b/src/Monad/Maybe/Just.php
@@ -7,8 +7,9 @@ namespace Widmogrod\Monad\Maybe;
 use Widmogrod\Common;
 use FunctionalPHP\FantasyLand;
 use Widmogrod\Primitive\TypeMismatchError;
+use Widmogrod\Useful\PatternMatcher;
 
-class Just implements Maybe
+class Just implements Maybe, PatternMatcher
 {
     use Common\PointedTrait;
 
@@ -92,4 +93,12 @@ class Just implements Maybe
     {
         return $function($accumulator, $this->value);
     }
+
+    /**
+     * @inheritdoc
+     */
+    public function patternMatched(callable $fn)
+    {
+        return $fn($this->value);
+    }
 }

diff --git a/src/Monad/Maybe/Nothing.php b/src/Monad/Maybe/Nothing.php
index 538990e..f0237dd 100644 (file)
--- a/src/Monad/Maybe/Nothing.php
+++ b/src/Monad/Maybe/Nothing.php
@@ -5,8 +5,9 @@ declare(strict_types=1);
 namespace Widmogrod\Monad\Maybe;
 
 use FunctionalPHP\FantasyLand;
+use Widmogrod\Useful\PatternMatcher;
 
-class Nothing implements Maybe
+class Nothing implements Maybe, PatternMatcher
 {
     const of = 'Widmogrod\Monad\Maybe\Nothing::of';
 
@@ -84,4 +85,12 @@ class Nothing implements Maybe
     {
         return $accumulator;
     }
+
+    /**
+     * @inheritdoc
+     */
+    public function patternMatched(callable $fn)
+    {
+        return $fn();
+    }
 }