Update interface of Apply

diff --git a/src/FantasyLand/Apply.php b/src/FantasyLand/Apply.php
index 3cc88db..a94c4df 100644 (file)
--- a/src/FantasyLand/Apply.php
+++ b/src/FantasyLand/Apply.php
@@ -11,5 +11,5 @@ interface Apply extends Functor
      *
      * @return self
      */
-    public function ap(self $b);
+    public function ap(self $b): self;
 }

diff --git a/src/Monad/Either/Left.php b/src/Monad/Either/Left.php
index 6122f36..363e604 100644 (file)
--- a/src/Monad/Either/Left.php
+++ b/src/Monad/Either/Left.php
@@ -17,7 +17,7 @@ class Left implements Either
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $this;
     }

diff --git a/src/Monad/Either/Right.php b/src/Monad/Either/Right.php
index b817ba9..f6deb46 100644 (file)
--- a/src/Monad/Either/Right.php
+++ b/src/Monad/Either/Right.php
@@ -17,7 +17,7 @@ class Right implements Either
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $b->map($this->value);
     }

diff --git a/src/Monad/Free/Free.php b/src/Monad/Free/Free.php
index 53234ae..f69184d 100644 (file)
--- a/src/Monad/Free/Free.php
+++ b/src/Monad/Free/Free.php
@@ -54,7 +54,7 @@ class Free implements MonadFree
      *
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return new self(
             $this->f->map(function ($ma) use ($b) {

diff --git a/src/Monad/Free/Pure.php b/src/Monad/Free/Pure.php
index 820872e..7ebfd28 100644 (file)
--- a/src/Monad/Free/Pure.php
+++ b/src/Monad/Free/Pure.php
@@ -16,7 +16,7 @@ class Pure implements MonadFree
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $b->map($this->value);
     }

diff --git a/src/Monad/IO.php b/src/Monad/IO.php
index 3196a36..43ca21f 100644 (file)
--- a/src/Monad/IO.php
+++ b/src/Monad/IO.php
@@ -28,7 +28,7 @@ class IO implements
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $b->map($this->run());
     }

diff --git a/src/Monad/Identity.php b/src/Monad/Identity.php
index deb280c..35cc325 100644 (file)
--- a/src/Monad/Identity.php
+++ b/src/Monad/Identity.php
@@ -27,7 +27,7 @@ class Identity implements
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $applicative)
+    public function ap(FantasyLand\Apply $applicative): FantasyLand\Apply
     {
         return $applicative->map($this->value);
     }

diff --git a/src/Monad/Maybe/Just.php b/src/Monad/Maybe/Just.php
index 530eef9..13f1c3e 100644 (file)
--- a/src/Monad/Maybe/Just.php
+++ b/src/Monad/Maybe/Just.php
@@ -17,7 +17,7 @@ class Just implements Maybe
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $applicative)
+    public function ap(FantasyLand\Apply $applicative): FantasyLand\Apply
     {
         return $applicative->map($this->value);
     }

diff --git a/src/Monad/Maybe/Nothing.php b/src/Monad/Maybe/Nothing.php
index 10cc52a..73a37bf 100644 (file)
--- a/src/Monad/Maybe/Nothing.php
+++ b/src/Monad/Maybe/Nothing.php
@@ -21,7 +21,7 @@ class Nothing implements Maybe
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $applicative)
+    public function ap(FantasyLand\Apply $applicative): FantasyLand\Apply
     {
         return $this;
     }

diff --git a/src/Monad/Reader.php b/src/Monad/Reader.php
index 0315761..a423ed1 100644 (file)
--- a/src/Monad/Reader.php
+++ b/src/Monad/Reader.php
@@ -28,7 +28,7 @@ class Reader implements FantasyLand\Monad
         });
     }
 
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $this->bind(function ($f) use ($b) {
             return $b->map($f);

diff --git a/src/Monad/State.php b/src/Monad/State.php
index 76a1c2e..1796176 100644 (file)
--- a/src/Monad/State.php
+++ b/src/Monad/State.php
@@ -24,7 +24,7 @@ class State implements FantasyLand\Monad
     /**
      * @inheritdoc
      */
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $this->bind(function ($f) use ($b) {
             return $b->map($f);

diff --git a/src/Monad/Writer.php b/src/Monad/Writer.php
index fa3992b..2a3b399 100644 (file)
--- a/src/Monad/Writer.php
+++ b/src/Monad/Writer.php
@@ -39,7 +39,7 @@ class Writer implements FantasyLand\Monad
         return new static($value, $this->side->concat($side));
     }
 
-    public function ap(FantasyLand\Apply $b)
+    public function ap(FantasyLand\Apply $b): FantasyLand\Apply
     {
         return $this->bind(function ($f) use ($b) {
             return $b->map($f);

diff --git a/src/Primitive/ListtCons.php b/src/Primitive/ListtCons.php
index 96c6d78..80fbf68 100644 (file)
--- a/src/Primitive/ListtCons.php
+++ b/src/Primitive/ListtCons.php
@@ -56,7 +56,7 @@ class ListtCons implements Listt, \IteratorAggregate
      *
      * fs <*> xs = [f x | f <- fs, x <- xs]
      */
-    public function ap(FantasyLand\Apply $applicative)
+    public function ap(FantasyLand\Apply $applicative): FantasyLand\Apply
     {
         return $this->reduce(function ($accumulator, $value) use ($applicative) {
             /** @var $applicative self */

diff --git a/src/Primitive/ListtNil.php b/src/Primitive/ListtNil.php
index 726c7ae..269c4fd 100644 (file)
--- a/src/Primitive/ListtNil.php
+++ b/src/Primitive/ListtNil.php
@@ -30,7 +30,7 @@ class ListtNil implements Listt
      *
      * fs <*> xs = [f x | f <- fs, x <- xs]
      */
-    public function ap(FantasyLand\Apply $applicative)
+    public function ap(FantasyLand\Apply $applicative): FantasyLand\Apply
     {
         return $this;
     }