找不到参数映射器的隐式值

Question

我尝试创建一个简单的基于无形函数来将案例类转换为字符串列表，然后我可以将其编码为 csv。

这里的重点是在case类的每个成员上调用类型类CsvEncoder，然后调用方法encode将其更改为字符串。

类型类：

trait CsvEncoder[T] {
  def encode(t: T): String
}

trait LowPriorityEncoder {
  implicit def genericEncoder[T]: CsvEncoder[T] = _.toString
}

object CsvEncoder extends LowPriorityEncoder {

  implicit def optionEncoder[T](
      implicit e: CsvEncoder[T]
  ): CsvEncoder[Option[T]] = _.fold("")(e.encode)

}

无形：

class CsvBuilder[Row](rows: List[Row]) {

  object csvMapper extends Poly1 {

    implicit def caseEncode[V](
        implicit e: CsvEncoder[V]
    ): Case.Aux[FieldType[Symbol, V], FieldType[Symbol, String]] =
      at[FieldType[Symbol, V]](s => field[Symbol](e.encode(s)))
  }

  def build[Repr <: HList, OutRepr <: HList](
      implicit labelledGeneric: LabelledGeneric.Aux[Row, Repr],
      mapper: Mapper.Aux[csvMapper.type, Repr, OutRepr],
      toMap: ToMap.Aux[OutRepr, Symbol, String]
  ): List[Map[String, String]] = {

    def transform(row: Row): Map[String, String] = {
      val formattedRows = labelledGeneric
        .to(row)
        .map(csvMapper)

      val fields = toMap(formattedRows)
        .map {
          case (k: Symbol, value: String) =>
            (k.toString -> value)
        }

      fields
    }

    rows.map(transform(_))

  }
}

当我尝试使用简单的案例类时：

final case class ProjectCsvRow(
    project: Option[String],
    something: Option[String],
    site: Option[String],
    state: Option[Int]
)

new CsvBuilder[ProjectCsvRow](
  List(ProjectCsvRow(Some(""), None, None, None))
).build

我来了

找不到参数映射器的隐含值：shapeless.ops.hlist.Mapper.Aux[stabilizer$1.csvMapper.type,Repr,OutRepr]

我想我错过了什么，但我无法真正弄清楚。

我已经检查了每个字段是否有 CsvEncoder 的实例。

Answer 1

首先，您的Poly 不正确。 Symbol 类型太粗糙。记录的键不仅仅是Symbols，它们是Symbol 的单例子类型。你应该定义

object csvMapper extends Poly1 {
  implicit def caseEncode[K <: Symbol, V](
    implicit e: CsvEncoder[V]
  ): Case.Aux[FieldType[K, V], FieldType[K, String]] =
    at[FieldType[K, V]](s => field[K](e.encode(s)))
}

其次，将Poly 嵌套到类（而不是对象）中可能很危险（它开始依赖于CsvBuilder 的实例，因此依赖于Row 类型）。所以把csvMapper移到CsvBuilder外面（这样它的路径就稳定了）。