Circe: Бесполезная ошибка компиляции при отсутствии кодировщика/декодера

Созданный на 15 авг. 2015 · 3Комментарии · Источник: circe/circe

Если для даты нет кодировки, то компилятор жалуется

 [error] /home/jilen/workspace/jfc-test/src/main/scala/Foo.scala:26: diverging implicit expansion for type io.circe.Encoder.Secondary[this.Out]
[error] starting with method encodeCaseClass in trait GenericInstances

Есть ли шанс улучшить отчеты об ошибках?

import io.circe._
import io.circe.generic.auto._
import io.circe.syntax._

import java.util.Date
case class Foo(
  date: Date,
  number: Int,
  str: String)

object App {

  def encodesDate(fmt: String): Encoder[Date] = new Encoder[Date] {
    def apply(a: Date) = {
      val sdf = new java.text.SimpleDateFormat(fmt)
      Json.string(sdf.format(a))
    }
  }



  def main(args: Array[String])  {
    //implicit val DateEncodes = encodesDate("yyyy-MM-dd HH:mm:ss")
    val f = Foo(new Date, 1, "fff")
    println(f.asJson.noSpaces)
  }
}

Источник

jilen

Самый полезный комментарий

+1 за использование implicitNotFound !
Чтобы декодировать и кодировать дату, просто неявно

  implicit val dateTimeEncoder: Encoder[DateTime] = Encoder.instance(a => a.getMillis.asJson)
  implicit val dateTimeDecoder: Decoder[DateTime] = Decoder.instance(a => a.as[Long].map(new DateTime(_)))

Поскольку дата имеет много форматов, я предлагаю определить ее в документации и не добавлять формат по умолчанию в jfc.

djx314 15 авг. 2015

👍8

Все 3 Комментарий

Да, это довольно ужасное сообщение об ошибке — спасибо, что указали на него.

Реализация универсального механизма деривации будет меняться с #30, что я надеюсь сделать завтра, поэтому после того, как пыль уляжется, я вернусь к этому и #34, так как к тому времени все может немного измениться. Мы должны иметь возможность использовать @implicitNotFound в нескольких местах, чтобы значительно улучшить эти сообщения (см., например , это сообщение в Finch).

travisbrown 15 авг. 2015

+1 за использование implicitNotFound !
Чтобы декодировать и кодировать дату, просто неявно

  implicit val dateTimeEncoder: Encoder[DateTime] = Encoder.instance(a => a.getMillis.asJson)
  implicit val dateTimeDecoder: Decoder[DateTime] = Decoder.instance(a => a.as[Long].map(new DateTime(_)))

djx314 15 авг. 2015

👍8

Я собираюсь продолжить и закрыть это, так как следующее является огромным улучшением:

<console>:59: error: could not find implicit value for parameter e: io.circe.Encoder[Foo]
           println(f.asJson.noSpaces)
                     ^

На самом деле я не уверен, что в этом случае мы могли бы добавить много дополнительной полезной информации с помощью @implicitNotFound , кроме, может быть, указателя на документы.

travisbrown 27 авг. 2015

Была ли эта страница полезной?

0 / 5 - 0 рейтинги