如何获取Shapeless HList中的每个类型元素属于类型类的证据

Question

我尝试过以下方法:

trait Evidence[H <: HList, T[_]] {}

object Evidence {
  implicit def HNilEvidence[T[_]] = new Evidence[HNil, T] {}
  implicit def HListEvidence[Head, Remaining <: HList, T[_]](implicit headEv: T[Head], remainingEv: Evidence[Remaining, T]) =
    new Evidence[Head :: Remaining, T] {}
}

只有当所有元素都匹配类型类时,这才能正确地给我一个隐含的证据.

但是,当试图像这样使用它时(一个人为的例子):

def transform[A](a: A)(implicit ev: Evidence[A :: HNil, Ordering]) =
   { List(a,a).sorted }

这给出了错误

error: No implicit Ordering defined for A.

哪个应该在那里存在 Evidence[A :: HNil, Ordering]

Answer 1

您不需要定义自己的Evidence类型类。使用无形的ops.hlist.LiftAll。

def transform[A](a: A)(implicit
                                     liftAll: LiftAll.Aux[Ordering, A :: HNil, Ordering[A] :: HNil],
                                     isHCons: IsHCons.Aux[Ordering[A] :: HNil, Ordering[A], HNil]): List[A] = {
  implicit val ordering: Ordering[A] = liftAll.instances.head
  List(a, a).sorted
}