如何将单独的函数应用于已知 Shapelss HList 的每个索引

How to apply a separate function to each index of a known Shapelss HList

我知道 HList 的类型,我想对 HList 中的每个特定项目应用特定函数。例如。

我知道 HList 的类型,在本例中是 String :: Int :: String :: HNil

val values = "Hello World" :: 5 :: "Goodbye World" :: HNil

所以我为每个项目创建了一个来自 type => Int 的函数。

val funcs =
  ((_: String) => 1) ::
  ((_: Int) => 2) ::
  ((_: String) => 3) ::
   HNil

我想对列表中的每个项目应用函数 1 到值 1,函数 2 到值 2,等等。这是对函数签名的最佳猜测。 V

// V are the Values of type String :: Int :: String :: HNil
// F are the Functions of type (String => Int) :: (Int => Int) :: (String => Int) :: HNil
// R is the Int Results of type Int :: Int :: Int :: HNil
def applyFunction[V <: HList, F <: HList, R <: HList](v: V, f: F)(
   implicit ev: V =:= F,
   utcc: UnaryTCConstraint[F, Function[*, Int]]
): R

现在我正在为如何实际实现这个功能而苦苦挣扎,或者 Shapeless 是否已经有一些东西可以做到这一点。

为灵感,我想到了以下内容:

import shapeless._

val values = "Hello World" :: 5 :: "Goodbye World" :: HNil

val funcs = ((_: String) => 1) ::
            ((_: Int) => 2) ::
            ((_: String) => 3) :: HNil

object applyTo extends Poly1 {
  implicit def caseInt = at[(Int=>Int,Int)]      {case (f,v) => f(v)}
  implicit def caseStr = at[(String=>Int,String)]{case (f,v) => f(v)}
}

funcs.zip(values).map(applyTo)
//1 :: 2 :: 3 :: HNil: Int :: Int :: Int :: shapeless.HNil

您可以使用标准类型 class shapeless.ops.hlist.ZipApply

funcs.zipApply(values) // 1 :: 2 :: 3 :: HNil