当用 scodec 定义我的消息时,我想使用嵌套的案例类。例如:
case class Foo(x: Int, y: Int)
object Foo {
def baseCodec = uint16 :: uint16
def codec = baseCodec.as[Foo]
}
case class Bar(a: Int, foo: Foo, b: Int)
object Bar {
val baseCodec = uint8 :: Foo.baseCodec :: uint16
val codec = baseCodec.as[Bar]
}
但是,在尝试编译时,我得到以下信息:
error: Could not prove that shapeless.::[Int,shapeless.::[shapeless.::[Int,shapeless.::[Int,shapeless.HNil]],shapeless.::[Int,shapeless.HNil]]] can be converted to/from Bar.
val codec = baseCodec.as[Bar]
^
有没有办法做到这一点?(在我的真实代码中,有时嵌套案例类出现在包含类的参数列表的开头,有时在中间,有时在末尾)。