基于类的类型参数使用 Poly1 在方法中映射 HList答案

【问题标题】：Map on HList in method with Poly1 based on type parameter of class基于类的类型参数使用 Poly1 在方法中映射 HList
【发布时间】：2012-10-27 16:59:59
【问题描述】：

我有类，用HList 和其他一些类型进行参数化。如何在其中一种方法中在 HList 上使用 map？

编译这段代码会抛出java.lang.AssertionError:

class Test[L <: HList, P](l: L, p: P) {
  type Cont[T] = (P, T)
  object generator extends (Id ~> Cont) {
    def apply[T](t: T) = p -> t
  }
  def test(implicit m: Mapper[generator.type, L]) = {
    l map generator
  }
}

new Test(1 :: HNil, 'a).test // java.lang.AssertionError

我的目标是这样的结果：

type Cont[T] = (Symbol, T)
val p = 'a
object generator extends (Id ~> Cont) {
  def apply[T](t: T) = p -> t
}

scala> (1 :: 'b' :: HNil) map generator
res0: shapeless.::[(Symbol, Int),shapeless.::[(Symbol, Char),shapeless.HNil]] = ('a,1) :: ('a,b) :: HNil

【问题讨论】：

标签： scala functional-programming hlist shapeless type-level-computation

【解决方案1】：

这是 Scala 编译器（2.9.2 和 2.10.0-RC1）中的一个错误。

作为一种解决方法，如果您将 Test 实例的创建和 test 方法的调用拆分到两个表达式中，那么它会按预期工作，

scala> val t = new Test(1 :: HNil, 'a)
t: Test[shapeless.::[Int,shapeless.HNil],Symbol] = Test@4b153b34

scala> t.test
res0: shapeless.::[(Symbol, Int),shapeless.HNil] = ('a,1) :: HNil

【讨论】：

谢谢！不幸的是，解决方法是无用的，因为Test 应该是implicit class。
明白。有可能以一种避免 scalac 错误并为您提供所需形式的方式重组代码。前往无形邮件列表并从那里获取。