用一般性状的子类映射HList

Question

我试图在一个不成形的HList上映射一个poly1函数。其元素是参数化特征的子类。然而，我得到了错误“找不到映射器的隐式值”。下面是一个基本示例：

import shapeless._

trait Drink[+A]{
  def v: A
}

case class Water(v: Int) extends Drink[Int]
case class Juice(v: BigDecimal) extends Drink[BigDecimal]
case class Squash(v: BigDecimal) extends Drink[BigDecimal]


object pour extends Poly1{
  implicit def caseInt: Case.Aux[Drink[Int], Int] =
    at(o => o.v)
  implicit def caseDec: Case.Aux[Drink[BigDecimal], BigDecimal] =
    at(o => o.v)
}

object Proc {

  type I = Water ::Squash ::Juice :: HNil
  type Req = Int ::BigDecimal ::BigDecimal :: HNil

  val drinks: I = Water(10)::Squash(15.0):: Juice(1.0)::HNil

  def make()(implicit m: ops.hlist.Mapper.Aux[pour.type, I, Req]): Req  = { drinks.map(pour)}

}

运行此代码会产生错误：（21，27）无法找到参数m的隐式值：shapeless。ops。hlist。映射器。辅助[pour.type，Proc.I，Proc.Req]

虽然这看起来像一个简单的问题，但我还没有在其他答案中找到（或认识到）解决方案。我目前的解决方法是在poly中为dink的每个子类定义一个case。这显然不适用于该特征的许多子类。有没有更好的解决方案（可能是使用TypeTags）？

更新

对于任何（合理的）Poly1函数，这个问题的一般答案由@Jasper\u M给出。（这个问题在使用具有不变容器的无形状HLists时得到进一步推广。）对于特定转换=

import syntax.std.tuple._
import poly._

def makeTwo(): Req =  (drinks.tupled flatMap identity).productElements

它给出了10:15.0:1.0:HNil。（请注意，Intellij 2017.2.6中的productElements被错误标记为错误。此外，“未耦合”版本的平面映射标识导致“隐式未找到”错误。）




Answer 1

尝试使用多态方法：

object pour extends Poly1{
  implicit def caseInt[A <: Drink[Int]] =
    at[A](o => o.v)
  implicit def caseDec[A <: Drink[BigDecimal]] =
    at[A](o => o.v)
}