5

私はクラスを持っており、パラメータ化されてHListおり、他のタイプもあります。そのメソッドの1つでmapどのように使用できますか？HList

このコードをコンパイルすると、次のようになります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
4

1 に答える 1

6

これはScalaコンパイラ（2.9.2と2.10.0-RC1の両方）のバグです。

Test回避策として、のインスタンスの作成とメソッドの呼び出しtestを2つの式に分割すると、期待どおりに機能します。

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
于 2012-10-27T08:27:34.320 に答える