Реализация общей реализации полугруппы в Scala

Question

Я пытался реализовать SemiGroup универсальным способом для большинства типов scala, включая коллекции.Но когда дело доходит до коллекции, я застрял, чтобы реализовать неявный SemiGroupImplicitTypes для коллекций.

Например: если я хочу реализовать SemiGroup [List [T]], он ожидает другой параметр для типа элементовв List я не хочу реализовывать SemiGroup [List [Int]], SemiGroup [List [Double]] отдельно, хочу одну реализацию для неявного, которая будет реализовывать ее для всех типов List.

trait Semigroup[T] extends Any {
  def combine(a: T, b: T): T
}

object SemiGroup {
  def apply[T](a: T, b: T)(implicit ev: Semigroup[T]): T = ev.combine(a,b)
}

class SemiGroupList[T] extends Semigroup[List[T]] {
  override def combine(a: List[T], b: List[T]): List[T] = a ++ b
}

class SemiGroupSeq[T] extends Semigroup[Seq[T]] {
  override def combine(a: Seq[T], b: Seq[T]): Seq[T] = a ++ b
}

class SemiGroupMap[U, V] extends Semigroup[Map[U,V]] {
  override def combine(a: Map[U, V], b: Map[U, V]): Map[U, V] = a ++ b
}

class SemiGroupNumber[@specialized (Int, Double, Float, Long) T](implicit numeric: Numeric[T]) extends Semigroup[T] {
  override def combine(a: T, b: T): T = numeric.plus(a, b)
}

object SemiGroupImplicitTypes {
  implicit object IntSemiGroup extends SemiGroupNumber[Int]
  implicit object LongSemiGroup extends SemiGroupNumber[Long]
  implicit object DoubleSemiGroup extends SemiGroupNumber[Double]
  implicit object FloatSemiGroup extends SemiGroupNumber[Float]
}


import SemiGroupImplicitTypes._
SemiGroup[Long](1,2)

Answer 1

Вам нужно реализовать def с параметрами типа:

object SemiGroupImplicitTypes {
    implicit object IntSemiGroup extends SemiGroupNumber[Int]
    implicit object LongSemiGroup extends SemiGroupNumber[Long]
    implicit object DoubleSemiGroup extends SemiGroupNumber[Double]
    implicit object FloatSemiGroup extends SemiGroupNumber[Float]

    implicit def listSemiGroup[T]: Semigroup[List[T]] = new SemiGroupList[T]
}

Answer 2

trait Semigroup[T] extends Any {
  def combine(a: T, b: T): T
}

object SemiGroup {
  def apply[T](a: T, b: T)(implicit ev: Semigroup[T]): T = ev.combine(a,b)
}

class SemiGroupList[T] extends Semigroup[List[T]] {
  override def combine(a: List[T], b: List[T]): List[T] = a ++ b
}

class SemiGroupSeq[T] extends Semigroup[Seq[T]] {
  override def combine(a: Seq[T], b: Seq[T]): Seq[T] = a ++ b
}

class SemiGroupMap[U, V] extends Semigroup[Map[U,V]] {
  override def combine(a: Map[U, V], b: Map[U, V]): Map[U, V] = a ++ b
}

class SemiGroupNumber[@specialized (Int, Double, Float, Long) T](implicit numeric: Numeric[T]) extends Semigroup[T] {
  override def combine(a: T, b: T): T = numeric.plus(a, b)
}

object SemiGroupImplicitTypes {
  implicit def numberSemiGroup[T](implicit numeric: Numeric[T]) = new SemiGroupNumber[T]()
  implicit def listSemiGroup[T] = new SemiGroupList[T]()
  implicit def mapSemiGroup[U,V] = new SemiGroupMap[U,V]()
  implicit def seqSemiGroup[U] = new SemiGroupSeq[U]()
}

import SemiGroupImplicitTypes._


SemiGroup[Int](1,2)
SemiGroup[List[Int]](List[Int](1,2,3), List(2,3,5))

Модифицированная версия реализации, которую я реализовал с использованием def.

Answer 3

Сделайте это def:

 implicit def semigroupList[T] = new SemiGroupList[T]