Shapeless: не удалось найти неявное для сопоставления Coproduct - PullRequest
0 голосов
/ 16 мая 2018

У меня есть следующий код, который использует circe для десериализации json, который может иметь две формы (см. Значения jsonPersonalDetails и jsonPersonalAddress). Когда я пытаюсь вызвать метод transform из SearchCriteria, я получаю:

Ошибка: (38, 26) не удалось найти неявное значение для преобразователя параметров: shapeless.ops.coproduct.Mapper.Aux [com.example.circe.CirceShapeApp.transformer.type, com.example.circe.CirceShapeApp.SearchBy , com.example.circe.CirceShapeApp.JsonPayload]

Можете ли вы помочь мне выяснить, почему неявный картограф не разрешен?

Спасибо!

    import io.circe.generic.auto._
    import io.circe.shapes._
    import io.circe.parser._
    import shapeless._
    import shapeless.ops.coproduct.Mapper

    object CirceShapeApp extends App {

      val jsonPersonalDetails = """{"searchCriteria": {"birthDate":"01-01-1980", "lastName":"John"}}""".stripMargin
      val jsonPersonalAddress = """{"searchCriteria": {"postalCode":"10776", "houseNumber":"34"}}""".stripMargin

      class SearchCriteria(val searchCriteria: SearchBy) {

        def transform(implicit mapper: Mapper.Aux[transformer.type, SearchBy, JsonPayload]) = {
          searchCriteria map transformer
        }
      }

      case class PersonalDetails(birthDate: String, lastName: String)

      case class PersonalAddress(postalCode: String, houseNumber: String)

      type SearchBy = PersonalDetails :+: PersonalAddress :+: CNil
      type JsonPayload = String :+: CNil

      object transformer extends Poly1 {

        implicit def casePersonalDetails = at[PersonalDetails](v => s"""{"bd": "${v.birthDate}", "ln":"${v.lastName}"}""")

        implicit def casePersonalAddress = at[PersonalAddress](v => s"""{"pc": "${v.postalCode}", "hn":"${v.houseNumber}"}""")

      }

      val result = decode[SearchCriteria](jsonPersonalDetails).right.get
      println(result.searchCriteria.map(transformer)) //WORKS
      println(result.transform) //DOESN'T WORK => COMPILATION ERROR
    }

1 Ответ

0 голосов
/ 16 мая 2018

Я нашел проблему. Тип JsonPayload был определен неверно. Вместо:

type JsonPayload = String :+: CNil

Я должен иметь:

type JsonPayload = String :+: String :+: CNil
...