在 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
示例,但思路完全相同。
我有一个 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
示例,但思路完全相同。