scala - 将函数的标记 HList(记录)映射到其参数类型的记录上

Question

我(实际上，这一切都从我的工作示例中简化了)试图将逆变(常量返回值，多态参数类型)函数的标记 HList(记录)映射到由适当参数类型组成的记录上这些功能。我知道 ZipApply，它似乎适用于 HList，但我特别想不考虑顺序地执行此操作，并特别使用键类型来选择要使用的函数。

这是我的代码示例，由于我无法弄清楚的原因而没有编译:

import shapeless._
import labelled._
import ops.hlist._
import ops.record.Selector
import syntax._
import syntax.singleton._
import syntax.HListOps

object POC {
  case class Foo(bar: String)
  val gen = LabelledGeneric[Foo]
  val funs = ('bar ->> { s: String => s.toUpperCase() }) :: HNil

  val poly = new Poly1 {
    implicit def apply[K, V]
    (implicit selector: Selector.Aux[funs.type, K, (V) => String]) =
      at[FieldType[K, V]] { v => selector(funs)(v) }
  }

  def run(foo: Foo)(implicit mapper: Mapper[poly.type, gen.Repr]) =
    mapper(gen to foo)

  println(run(Foo("bar")))
  // could not find implicit value for parameter mapper: shapeless.ops.hlist.Mapper[POC.<refinement>.type,POC.gen.Repr]
}

Answer 1

这里的问题是 poly 不是一个稳定的标识符，或者它不够稳定，或者类似的东西。以下将正常工作:

object poly extends Poly1 { ... }

我不确定我是否看到过比 Miles 对 this answer of mine 的评论更好的解释。 (现在四岁半)。