Merge pull request #725 from ceedubs/xort-orElse

Remove AA >: A constraint from XorT.orElse
typelevel · Dec 9, 2015 · 32fa9e2 · 32fa9e2
2 parents 291568c + 8794f7f
commit 32fa9e2
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/core/src/main/scala/cats/data/XorT.scala b/core/src/main/scala/cats/data/XorT.scala
@@ -29,12 +29,10 @@ final case class XorT[F[_], A, B](value: F[A Xor B]) {
     }
   }
 
-  def orElse[AA >: A, BB >: B](default: => XorT[F, AA, BB])(implicit F: Monad[F]): XorT[F, AA, BB] = {
-    XorT(F.flatMap(value) { xor =>
-      xor match {
-        case Xor.Left(_) => default.value
-        case _ => F.pure(xor)
-      }
+  def orElse[AA, BB >: B](default: => XorT[F, AA, BB])(implicit F: Monad[F]): XorT[F, AA, BB] = {
+    XorT(F.flatMap(value) {
+      case Xor.Left(_) => default.value
+      case r @ Xor.Right(_) => F.pure(r)
     })
   }