다음은 팔목에서 떨어져 있지만 작동해야합니다. 난 당신이 그냥 값이 비어 디바이더의 양쪽에 빈 문자열을 원하는 있으리라 믿고있어, 나는 달의 값입니다 확인하는 게 아니에요 있습니다
그리고
import argonaut._, Argonaut._
import scalaz._, Scalaz._
case class DateValue(year: Option[Int] = None, month: Option[Int] = None)
object YearMonth {
def unapplySeq(s: String) =
"""((?:\d\d\d\d)?)/((?:\d?\d)?)""".r.unapplySeq(s).map {
case List("", "") => List(None, None)
case List(y, "") => List(Some(y.toInt), None)
case List("", m) => List(None, Some(m.toInt))
case List(y, m) => List(Some(y.toInt), Some(m.toInt))
}
}
implicit val DateValueCodecJson: CodecJson[DateValue] = CodecJson(
{ case DateValue(year, month) => jString(~year + "/" + ~month) },
c => c.as[String].flatMap {
case YearMonth(y, m) => DecodeResult.ok(DateValue(y, m))
case _ => DecodeResult.fail("Not a valid date value!", c.history)
}
)
1 ~ 12 : 우리를 제공
val there = Parse.decodeValidation[DateValue](""""2013/12"""")
val back = there.map(DateValueCodecJson.encode)
: 예상대로
scala> println(there)
Success(DateValue(Some(2013),Some(12)))
scala> println(back)
Success("2013/12")
.
트릭은 CodecJson.apply
에 사용자 고유의 인코딩 및 디코딩 기능을 제공하는 것입니다. 인코딩 기능은 매우 간단합니다. 인코딩 된 형식을 사용하고 Json
값을 반환합니다. 디코딩 방법은 좀 더 복잡합니다. HCursor
을 사용하고 DecodeResult
을 반환합니다. 그러나 이것들도 함께 작업하기가 쉽습니다.
정확히 내가 무엇을 찾고 있었습니까. 고마워, 트래비스. '~'연산자는 나를위한 멋진 발견이기도합니다. – Tvaroh