fix psalm issues

marcosh · Oct 21, 2021 · 7b2fc26 · 7b2fc26
1 parent b92296e
commit 7b2fc26
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/src/Instances/Identity/IdentityApply.php b/src/Instances/Identity/IdentityApply.php
@@ -39,7 +39,7 @@ public function map(callable $f, $a): Identity
      * @param HK1<IdentityBrand, A> $a
      * @return Identity<B>
      *
-     * @psalm-pure
+     * @psalm-mutation-free
      *
      * @psalm-suppress LessSpecificImplementedReturnType
      */

diff --git a/src/Instances/Identity/IdentityFunctor.php b/src/Instances/Identity/IdentityFunctor.php
@@ -23,7 +23,7 @@ final class IdentityFunctor implements Functor
      * @param HK1<IdentityBrand, A> $a
      * @return Identity<B>
      *
-     * @psalm-pure
+     * @psalm-mutation-free
      *
      * @psalm-suppress LessSpecificImplementedReturnType
      */

diff --git a/src/Instances/Identity/IdentityMonad.php b/src/Instances/Identity/IdentityMonad.php
@@ -69,7 +69,7 @@ public function pure($a): Identity
      * @param callable(A): HK1<IdentityBrand, B> $f
      * @return Identity<B>
      *
-     * @psalm-pure
+     * @psalm-mutation-free
      *
      * @psalm-suppress LessSpecificImplementedReturnType
      */

diff --git a/src/Instances/Identity/IdentityTraversable.php b/src/Instances/Identity/IdentityTraversable.php
@@ -56,14 +56,13 @@ public function foldr(callable $f, $b, HK1 $a)
      * @param HK1<IdentityBrand, A> $a
      * @return HK1<F, Identity<B>>
      *
-     * @psalm-suppress ImplementedReturnTypeMismatch
-     * @psalm-suppress InvalidArgument
      * @psalm-suppress LessSpecificImplementedReturnType
      */
     public function traverse(Applicative $applicative, callable $f, HK1 $a): HK1
     {
         $identityA = Identity::fromBrand($a);
 
+        /** @psalm-suppress InvalidArgument */
         return $applicative->map([Identity::class, 'wrap'], $f($identityA->unwrap()));
     }
 }