使用circe
或argonaut
,我如何编写Json => A
(注意- Json
可能不是类型的名称),其中A
由SSN
类给出:
// A USA Social Security Number has exactly 8 digits.
case class SSN(value: Sized[List[Nat], _8])
?
伪代码:
// assuming this function is named f
f(JsArray(JsNumber(1)))
不会变成A
,因为它的大小是1,而
f(JsArray(JsNumber(1), ..., JsNumber(8)))
=== SSN(SizedList(1,...,8))
circe不(目前)提供Sized
的实例,但它可能应该。在任何情况下,您都可以非常直接地编写自己的代码:
import cats.data.Xor
import io.circe.{ Decoder, DecodingFailure }
import shapeless.{ Nat, Sized }
import shapeless.ops.nat.ToInt
import shapeless.syntax.sized._
implicit def decodeSized[L <: Nat, A](implicit
dl: Decoder[List[A]],
ti: ToInt[L]
): Decoder[Sized[List[A], L]] = Decoder.instance { c =>
dl(c).flatMap(as =>
Xor.fromOption(as.sized[L], DecodingFailure(s"Sized[List[A], _${ti()}]", c.history))
)
}
我已经将其限制为List
表示,但如果您愿意,您可以使其更通用。
现在你可以像这样写你的SSN
实例(请注意,我使用Int
而不是Nat
作为单个数字,因为一旦你得到了一些静态类型为Nat
的东西,它就不值得了):
case class SSN(value: Sized[List[Int], Nat._8])
implicit val decodeSSN: Decoder[SSN] = Decoder[Sized[List[Int], Nat._8]].map(SSN(_))
然后:
scala> import io.circe.jawn.decode
import io.circe.jawn.decode
scala> decode[SSN]("[1, 2, 3, 4, 5, 6, 7, 8]")
res0: cats.data.Xor[io.circe.Error,SSN] = Right(SSN(List(1, 2, 3, 4, 5, 6, 7, 8)))
scala> decode[SSN]("[1, 2, 3, 4, 5, 6, 7]")
res1: cats.data.Xor[io.circe.Error,SSN] = Left(DecodingFailure(Sized[List[A], _8], List()))
如果你真的想要一个Json => SSN
,你可以这样做:
val f: Json => SSN = Decoder[SSN].decodeJson(_).valueOr(throw _)
但这并不是circe的惯用用法