マッピングが機能

Question

の内側に次のコードは、

case class Pair(a: String, b: Int) 

val pairGen = Generic[Pair] 

object size extends Poly1 { 
    implicit def caseInt = at[Int](x => 1) 
    implicit def caseString = at[String](_.length) 
} 

def funrun(p: Pair) = { 
    val hp: HList = pairGen.to(p) 
    hp.map(size) 
} 

をコンパイルして実行するのに十分な明白なようだが、コンパイラは、「パラメータマッピングのための暗黙の値を見つけることができませんでした」と言います。私の使用例では、HListをマップしてHListの文字列を取得し、HListの文字列をScala List [String]に変換したいと考えています。何か案は？

Answer 1

まず、我々はStringsのHListにHListをマッピングするために使用することができますsizeに似Poly1を作成することができます。

object strings extends Poly1 { 
    implicit def caseInt = at[Int](_.toString) 
    implicit def caseString = at[String](identity) 
} 

あなたは既にHListにPairをオンにするGeneric[Pair]を使用していたが、あなたはそれの上にマッピングすることができ、あなたのfunrunで証拠がないので、あなたは、あなたのhpの上にマッピングすることができませんでした。暗黙のパラメータを使用してこれを解決できます。

def funRun[L <: HList, M <: HList](
    p: Pair 
)(implicit 
    gen: Generic.Aux[Pair, L], 
    mapper: Mapper.Aux[strings.type, L, M] 
) = gen.to(p).map(strings) 

• 私たちの最初の暗黙のパラメータgenはタイプLのHList にPairを変えることができます。
• 私たちの第二の暗黙のパラメータmapperはタイプMのHListにタイプLのHListをマッピングするために、当社のstrings多型の機能を使用することができます。

現在StringsのHListにPairをオンにするfunRunを使用することができます。

scala> funRun(Pair("abc", 12)) 
res1: shapeless.::[String,shapeless.::[String,shapeless.HNil]] = abc :: 12 :: HNil 

しかし、あなたはList[String]を返したかったです。

scala> pairToStrings(Pair("abc", 12)) 
res2: List[String] = List(abc, 12)