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)

Scala无形：从Mapper派生类型

1 个答案: