add Equal[Ap[F, A]]

scalaz · Jul 24, 2017 · 654449d · 654449d
1 parent 71b533c
commit 654449d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/src/main/scala/scalaz/Ap.scala b/core/src/main/scala/scalaz/Ap.scala
@@ -22,6 +22,9 @@ sealed abstract class ApInstances extends ApInstances0 {
       val F = F0
       val A = A0
     }
+
+  implicit def ApEqual[F[_], A](implicit E: Equal[F[A]]): Equal[Ap[F, A]] =
+    E.contramap(_.f)
 }
 
 private sealed trait ApSemigroup[F[_], A] extends Semigroup[Ap[F, A]] {