Существует множество законных полугрупповых случаев для Either
, и какой из них должен быть включен в Cats, был вопросом некоторых дебатов .Cats, Scalaz и Haskell делают разные выборы в этом отношении, и описываемый вами случай (перевернутый, но с левым и правым объединением) отличается от всех трех, у него нет конкретного имени, которое я 'Я знаю, и он не предоставляется ни под каким именем, ни в какой-либо форме компанией Cats.
Само по себе это не проблема, поскольку, как мы увидим ниже, довольно легко проверить, что этот экземплярзаконно, но есть одна потенциальная проблема, о которой вы должны знать.Вы на самом деле не объясняете свою предполагаемую семантику, но если вы когда-нибудь захотите повысить ее до Monoid
, тот факт, что вы выбираете Right
, когда у вас есть и Left
, и Right
, означает, что ваш нольдолжно быть Left
.Это может быть немного странно, если вы думаете о правах как об успехах, а левые - как об ошибках, которые безопасно игнорировать при объединении значений.
Вы спрашиваете о Semigroup
, а не Monoid
,так что давайте просто пока проигнорируем это и покажем, что это законно.Сначала для определения:
import cats.kernel.Semigroup
implicit def eitherSemigroup[A, B](implicit
A: Semigroup[A],
B: Semigroup[B]
): Semigroup[Either[A, B]] = Semigroup.instance {
case (Right(x), Right(y)) => Right(B.combine(x, y))
case (r @ Right(_), Left(_)) => r
case (Left(_), r @ Right(_)) => r
case (Left(x), Left(y)) => Left(A.combine(x, y))
}
А потом проверяющая часть:
import cats.instances.int._
import cats.instances.string._
import cats.kernel.instances.either.catsStdEqForEither
import cats.kernel.laws.discipline.SemigroupTests
import org.scalacheck.Test.Parameters
SemigroupTests(eitherSemigroup[String, Int]).semigroup.all.check(Parameters.default)
И да, все нормально:
+ semigroup.associative: OK, passed 100 tests.
+ semigroup.combineAllOption: OK, passed 100 tests.
+ semigroup.repeat1: OK, passed 100 tests.
+ semigroup.repeat2: OK, passed 100 tests.
Лично, если бы я хотел что-то вродевероятно, я бы использовал оболочку, чтобы не запутать будущих читателей моего кода (включая меня), но, учитывая, что никто на самом деле не знает, что должна делать полугруппа Either
, я не думаю, что использоватьПользовательский экземпляр такой же большой проблемы, как и для большинства других типов из стандартной библиотеки.