代码之家 › 专栏 › 技术社区 › bbarker

有没有办法保证Scala中存在类型类方法?

scala-macros shapeless scala

bbarker · 技术社区 · 6 年前

在下面的例子中,我有一个类型类 Foo ,并希望以某种方式保证所有符合 福 (如 Bar 通过 barFoo )有一个复制方法,例如通过 case class 是的。我还没想到办法。在这种情况下,副本签名可能是 copy(foo: F, aa: List[T] = foo.aa, maybe: Option[T] = foo.maybe): F 是的。

trait Foo[F] {
  type T
  def aa(foo: F): List[T]
  def maybe(foo: F): Option[T]
}

final case class Bar(aa: List[String], maybe: Option[String])
object Bar {
  implicit val barFoo = new Foo[Bar] {
    type T = String
    def aa(foo: Bar): List[String] = foo.aa
    def maybe(foo: Bar): Option[T] = foo.maybe
  }
}

1 回复 | 直到 6 年前

Sebastian Celestino 6 年前

我不能用类型成员来做,但是这里有一个带有类型参数的版本。还需要向foo添加一个方法来构造对象。

trait Foo[F, T] {
  def aa(foo: F): List[T]
  def maybe(foo: F): Option[T]
  def instance(aa: List[T], maybe: Option[T]): F
}

class Bar(val aa: List[String], val maybe: Option[String]) {
  override def toString = s"Bar($aa, $maybe)"
}

object Bar {
  implicit val barFoo = new Foo[Bar, String] {
    def aa(foo: Bar): List[String] = foo.aa
    def maybe(foo: Bar): Option[String] = foo.maybe
    def instance(aa: List[String], maybe:Option[String]):Bar = new Bar(aa, maybe)
  }
}

implicit class FooOps[A, T](fooable:A)(implicit foo:Foo[A, T]) {

  def copy(aa: List[T] = foo.aa(fooable), maybe: Option[T] = foo.maybe(fooable)) = {
    foo.instance(aa, maybe)
  }

}

val r = new Bar(List(""), Option("")).copy(aa = List("asd"))

println(r)

推荐文章

raul ferreira · 使用shapeless对arity进行抽象

7 年前

softshipper · 无形状:隐含在函数体中

7 年前

jamborta · 在类内使用ReplaceAt

7 年前

simao · 使用无形状更新案例类字段

7 年前

jamborta · 从泛型生成无形状记录

7 年前

vicaba · 不成形。引用1个构造函数参数的所有case类

7 年前

Larousso · 具有隐式解析的无形状pb的自定义类型类

7 年前

visa · 无形状:为什么align不适用于单例类型?

7 年前

Hugo Corrêa · 协变类型出现在HList中的不变位置

7 年前

Kevin Meredith · 理解单例类型的“apply”和“unapply”

7 年前