Scala无形:从Mapper派生类型

Question

该方法doesNotCompile仅接受仅包含Label[A]条目的HLists .有一个Mapper可以将Label [A]转换为String(准确地说:) Const[String]#?.但是,当我应用映射器时,返回类型为ev1.Out.我知道这实际上只是一个只有字符串的HList,但我怎么能说服编译器呢？

import shapeless._
import shapeless.poly._
import shapeless.ops.hlist._
import shapeless.UnaryTCConstraint._

object Util {
  case class Label[A](name: String, value: A)

  object GetLabelName extends (Label ~> Const[String]#?) {
    def apply[A](label: Label[A]) = label.name
  }
}

object Main {
  import Util._

  def bar(l: List[String]) = ???

  def compiles = {
    val names = "a" :: "b" :: HNil
    bar(names.toList)
  }

  // A is an HList whose members are all Label[_]
  def doesNotCompile[A <: HList : *->*[Label]#?](labels: A)(
    implicit ev1: Mapper[GetLabelName.type, A]) = {
  // implicit ev1: Mapper[String, A]) = {

    val names = labels map GetLabelName
    // names is of type `ev1.Out` - I want it to be an HList of Strings

    bar(names.toList)
    // error: could not find implicit value for parameter toTraversableAux:
    // shapeless.ops.hlist.ToTraversable.Aux[ev1.Out,List,Lub]
  }
}

这是完整的要点,包括.build.sbt - 下载并运行sbt compile:https://gist.github.com/mpollmeier/6c53e375d88a32016250

Answer 1

正如错误所说,你缺少一个ToTraversable你不能调用的类型类实例names.toList.我们可以通过添加一个隐式参数来解决这个问题,但首先我们需要解决一个问题GetLabelName,因为在映射时不能使用它HList:

scala> GetLabelName(Label("a", 5))
res3: String = a

scala> (Label("a", 5) :: HNil) map GetLabelName
java.lang.AbstractMethodError: GetLabelName$.caseUniv()Lshapeless/PolyDefns$Case;
  ... 43 elided

一个解决方案是创建一个新的多态函数扩展Poly1:

object getLabelName extends Poly1 {
  implicit def caseLabel[T] = at[Label[T]](_.name)
}

现在我们可以将该隐式参数添加到函数中:

def bar(l: List[String]) = l

def labelNames[L <: HList : *->*[Label]#?, M <: HList](labels: L)(implicit
  mapper: Mapper.Aux[getLabelName.type, L, M],
  trav: ToTraversable.Aux[M, List, String]
): List[String] = bar(labels.map(getLabelName).toList)

哪个可以用作:

val labels = Label("a", 5) :: Label("b", 1d) :: Label("c", None) :: HNil
labelNames(labels) // List[String] = List(a, b, c)