在 Shapeless 中,我可以为非 case 类 提供一个 `LabelledGeneric` 的实例来启用类型类实例的自动派生吗?

In Shapeless, can I supply an instance of `LabelledGeneric` for non case classes that will enable automatic derivation of typeclass instances?

我有一个 json 库,它通过以下类型定义了 ReadCodec 概念(它定义了如何阅读 json) class Scala 中的模式。这个库使用 Shapeless' Typeclass 构造来 派生 ReadCodec 的自动实例对于任何情况 class免费。

现在,我有一个代码生成器,它 在 Scala 中生成 classes,而不是大小写 classes(但可能应该是)。我可以让代码生成器为每个 class 生成 ReadCodec 的实例,这就是我们现在拥有的。但是现在如果我想要生成的 classes 支持某种新形式的序列化,我需要修改代码生成以输出这种新类型的实例 class.

有没有一种方法可以修改代码生成器以输出带有 LabelledGeneric实例的classes或其他可以利用该机制的东西为 case classes 生成(通过宏)自动实例?这样,生成的代码可以与使用 Shapeless 的任何类型 class 模式互操作 Typeclass 实例的具体化。

有一个棘手的步骤,但您绝对可以定义自己的 LabelledGeneric 个实例。为了这里的示例,我将使用 Alex Archambault 的 argonaut-shapeless 库,它实际上并没有使用 TypeClass,但它确实使用了 LabelledGeneric,原理是相同的。

首先是我们的class:

class Foo(val i: Int, val s: String)

那么对于我们的例子:

import shapeless._, labelled._, record._, syntax.singleton._

implicit object fooGeneric extends LabelledGeneric[Foo] {
  val iw = Witness('i)
  val sw = Witness('s)

  type Repr = FieldType[iw.T, Int] :: FieldType[sw.T, String] :: HNil

  def from(r: Repr): Foo = new Foo(r('i), r('s))
  def to(t: Foo): Repr = ('i ->> t.i) :: ('s ->> t.s) :: HNil
}

请注意,我们需要一种方法来引用 Repr 中记录键的单例类型,因此我们首先定义了几个 witnesses。这是棘手的部分。

现在你只要这样写:

import argonaut._, Argonaut._, Shapeless._

然后:

scala> implicitly[EncodeJson[Foo]].encode(new Foo(42, "foo"))
res0: argonaut.Json = {"s":"foo","i":42}

如果您愿意,我可以举一个 LabelledTypeClass 示例,但思路完全相同。