创建案例类的写入和格式

Question

对于这个案例类：

case class People(names: Set[Int])

Travis Brown 解释了如何在此answer 创建PeopleReads: Reads[People]：

implicit val PeopleReads = 
       (__ \ "names").read[Set[Id]].map(People)

但是，我正在尝试实现PeopleWrites: Writes[People]：

 implicit val PeopleWrites: Writes[People] = 
    (JsPath \  "names").write[Set[Int]].map(unlift(x => Some((x.names)))

出现以下编译时错误：

scala> People( Set(1,2,3))
res5: People = People(Set(1, 2, 3))

scala>  implicit val PeopleWrites: Writes[People] = 
      (JsPath \  "names").write[Set[Int]].map(unlift(x => Some((x.names))))
<console>:21: error: value map is not a member of 
                play.api.libs.json.OWrites[Set[Int]]
              implicit val PeopleWrites: Writes[People] = 
                (JsPath \  "names").write[Set[Int]].
                                      map(unlift(x => Some((x.names)))

我该如何解决这个错误？

另外，我如何编写Format[People] 来获取/定义Reads 和Writes：

val peopleFormat: Format[People] = ...?

Answer 1

好问题！不能使用map 的原因是Writes 不是函子。

您可以将Writes[A] 视为类似于A => JsValue 的东西。但假设我有一个A => JsValue 和一个A => B。尝试想出一些方法来组合这些函数以获得B => JsValue——这是不可能的。

另一方面，Reads[A] 有点像JsValue => A，并且是一个函子——它有一个map 方法，它接受A => B，将它与Reads[A] / JsValue => A 组合起来, 并返回 Reads[B] / JsValue => B。

然而，

Writes 是一个逆变 函子，幸运的是Play knows that。当F 是逆变函子时，F[A] 有一个方法contramap[B](f: B => A) 而不是通常的map[B](f: A => B)。所以你可以这样写：

case class People(names: Set[Int])

import play.api.libs.json._
import play.api.libs.functional.syntax._

implicit val PeopleWrites: Writes[People] =
  (__ \ 'names).write[Set[Int]].contramap(_.names)

这里(__ \ 'names).write[Set[Int]] 是Writes[Set[Int]]，(_.names) 是函数People => Set[Int]。将它们与contramap 结合起来，我们就得到了Writes[People]。