我正在尝试使用 arity 23 实现 CodecJson。它看起来像这样:
implicit def infoCodec: CodecJson[Info] = CodecJson(
(x: Info) => argonaut.Json(
"a" -> x.a,
"b" -> x.b,
"c" -> x.c,
...(a total of 23 fields)
),
cursor => for {
a <- cursor.get("a")
b <- cursor.get("b")
c <- cursor.get("c")
...(a total of 23 fields)
}
)
但是,我在所有字段上都收到类型错误,例如:
type mismatch;
Id|Json
"a" -> x.a,
我如何转换x.a
为 Json - 等等所有其他字段/类型?
谢谢!