Update interface of Semigroup

diff --git a/src/FantasyLand/Semigroup.php b/src/FantasyLand/Semigroup.php
index d6593e5..26fab9c 100644 (file)
--- a/src/FantasyLand/Semigroup.php
+++ b/src/FantasyLand/Semigroup.php
@@ -13,5 +13,5 @@ interface Semigroup
      *
      * @return Semigroup
      */
-    public function concat(self $value);
+    public function concat(self $value): self;
 }

diff --git a/src/Monad/Maybe/Just.php b/src/Monad/Maybe/Just.php
index 1f4f915..35efaa6 100644 (file)
--- a/src/Monad/Maybe/Just.php
+++ b/src/Monad/Maybe/Just.php
@@ -41,7 +41,7 @@ class Just implements Maybe
     /**
      * @inheritdoc
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if (!($value instanceof Maybe)) {
             throw new TypeMismatchError($value, Maybe::class);

diff --git a/src/Monad/Maybe/Nothing.php b/src/Monad/Maybe/Nothing.php
index 69a336d..2b41dae 100644 (file)
--- a/src/Monad/Maybe/Nothing.php
+++ b/src/Monad/Maybe/Nothing.php
@@ -45,7 +45,7 @@ class Nothing implements Maybe
     /**
      * @inheritdoc
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         return $value;
     }

diff --git a/src/Primitive/ListtCons.php b/src/Primitive/ListtCons.php
index eb0ac87..6c69cfd 100644 (file)
--- a/src/Primitive/ListtCons.php
+++ b/src/Primitive/ListtCons.php
@@ -143,7 +143,7 @@ class ListtCons implements Listt, \IteratorAggregate
      *
      * @throws TypeMismatchError
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if ($value instanceof ListtNil) {
             return $this;

diff --git a/src/Primitive/ListtNil.php b/src/Primitive/ListtNil.php
index c4e8c43..604fa54 100644 (file)
--- a/src/Primitive/ListtNil.php
+++ b/src/Primitive/ListtNil.php
@@ -97,7 +97,7 @@ class ListtNil implements Listt
      *
      * @throws TypeMismatchError
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if ($value instanceof Listt) {
             return $value;

diff --git a/src/Primitive/Product.php b/src/Primitive/Product.php
index 0f51504..83b9e2f 100644 (file)
--- a/src/Primitive/Product.php
+++ b/src/Primitive/Product.php
@@ -29,7 +29,7 @@ class Product extends Num implements
     /**
      * @inheritdoc
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if ($value instanceof self) {
             return self::of($this->extract() * $value->extract());

diff --git a/src/Primitive/Stringg.php b/src/Primitive/Stringg.php
index 76ec82d..2536415 100644 (file)
--- a/src/Primitive/Stringg.php
+++ b/src/Primitive/Stringg.php
@@ -37,7 +37,7 @@ class Stringg implements
     /**
      * @inheritdoc
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if ($value instanceof self) {
             return self::of($this->value . $value->extract());

diff --git a/src/Primitive/Sum.php b/src/Primitive/Sum.php
index 4e5c801..0cacbaf 100644 (file)
--- a/src/Primitive/Sum.php
+++ b/src/Primitive/Sum.php
@@ -29,7 +29,7 @@ class Sum extends Num implements
     /**
      * @inheritdoc
      */
-    public function concat(FantasyLand\Semigroup $value)
+    public function concat(FantasyLand\Semigroup $value): FantasyLand\Semigroup
     {
         if ($value instanceof self) {
             return self::of($this->extract() + $value->extract());