typelevel#3112 adding implementation

pk044 · Nov 4, 2019 · 194490e · 194490e
1 parent 134570b
commit 194490e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/src/main/scala/cats/SemigroupK.scala b/core/src/main/scala/cats/SemigroupK.scala
@@ -67,4 +67,7 @@ import simulacrum.typeclass
     new ComposedSemigroupK[F, G] {
       val F = self
     }
+
+  def sum[F[_]: SemigroupK : Functor, A, B](fa: F[A], fb: F[B])(implicit F: Functor[F]): F[Either[A,B]] =
+    combineK(F.map(fa)(Left(_)), F.map(fb)(Right(_)))
 }