如何映射所有元素都是类型类实例的 HList？

Question

假设我有一个像这样的类型类：

trait Select[A] {
  def select(selector: String): Set[A]
}

类型类提供了“给定一个选择器字符串，给我一组 A 个对象”的功能。但是，当您需要多次执行此操作时，它很快就会变得很累：

val setOfGrapes = Select[Grape].select("red-seedless")
val setOfApples = Select[Apple].select("fuji-apple")
// and so on...

我的程序允许用户输入包含多个选择器的字符串，所以这一切都在运行时发生。

为了使它更简洁，我如何使用 shapeless 来编写可以像这样使用的函数？

val setOfGrapes :: setOfApples :: HNil =
  selectMultiple("red-seedless, fuji")(Select[Grape] :: Select[Apple] :: HNil)

动机是能够快速将多个 Select 链接在一起。从本质上讲，我将通过运行从 Select[Grape] :: Select[Apple] :: HNil 到 Set[Grape] :: Set[Apple] :: HNil Select.

的方法

忽略字符串处理（处理逗号、glob 和其他东西），我将如何实现它？

我试过这个：

object fun extends Poly1 {
  implicit def selectCase[A] = at[Select[A]](_.select(""))
}

def mapFun[H <: HList](inputs: H) = inputs map fun

编译器告诉我，could not find implicit value for parameter mapper: shapeless.ops.hlist.Mapper[fun.type,H]。我认为这是因为它不能保证 HList 的每个元素都是 Select[A]。我如何告诉编译器这个？

我试过像这样指定 shapeless.UnaryTCConstraint[H, Select]：

def mapFun[H <: HList](inputs: H)(implicit ev: shapeless.UnaryTCConstraint[H, Select]) = inputs map fun

但我收到同样的错误。

朋友推荐我使用Comapped、Mapper和~>，所以我试了一下：

object mapper extends (Select ~> Set) {
  override def apply[A](s: Select[A]): Set[A] = s.select(???)
}

def mapFun[II <: HList, OO <: HList](inputs: II)(
  implicit ev: Comapped.Aux[II, Select, OO],
  ev2: Mapper.Aux[mapper.type, II, OO]
): OO = input map fun

但是编译器could not find implicit value for parameter mapper: shapeless.ops.hlist.Mapper[ammonite.$sess.cmd8.fun.type,II].

Answer 1

您基本上应该只将所需的隐含证据添加到您的 mapFun 方法中：

object fun extends Poly1 {
  implicit def selectCase[A] = at[Select[A]](_.select(""))
}

def mapFun[H <: HList](inputs: H)(implicit m: Mapper[fun.type, H]) = inputs map fun

scala> mapFun(Select[Apple] :: Select[Grape] :: Select[Apple] :: HNil)
val res1: scala.collection.immutable.Set[Apple] :: scala.collection.immutable.Set[Grape] :: scala.collection.immutable.Set[Apple] :: shapeless.HNil = Set(Apple@44ebbbe8) :: Set(Grape@76eae32c) :: Set(Apple@666f67b6) :: HNil

要获得您的首选 API，您可以像这样引入一个“手动柯里化”函数：

class SelectMultipleApply(selector: String) {
  def apply[H <: HList](inputs: H)(implicit m: Mapper[fun.type, H]) = inputs map fun

  object fun extends Poly1 {
    implicit def selectCase[A] = at[Select[A]](_.select(selector))
  }
}

def selectMultiple(selector: String) = new SelectMultipleApply(selector)

scala> selectMultiple("red-seedless, fuji")(Select[Grape] :: Select[Apple] :: HNil)
val res5: scala.collection.immutable.Set[Grape] :: scala.collection.immutable.Set[Apple] :: shapeless.HNil = Set(Grape@63c81efa) :: Set(Apple@29dbae38) :: HNil

如何映射所有元素都是类型类实例的 HList？

How do I map over an HList where all of the elements are instances of a typeclass?

scala

hlist

shapeless