如果类型是 HList 的成员，我如何检查无形？

Question

我正在对字符串进行一系列预处理步骤，并且正在考虑使用HLists 来提高步骤的安全性。某些处理步骤必须在其他处理步骤之后运行，所以我正在考虑在类型系统中对其进行编码。我的第一次尝试是：

trait Step
trait Raw extends Step
trait A extends Step
trait B extends Step
trait DependsOnA extends Step
trait DependsOnB extends Step

case class ToBeProcessed[S <: Step](value: String)

object ToBeProcessed {
    def raw(input: String): ToBeProcessed[Raw] = ...
    def doA(input: ToBeProcessed[Raw]): ToBeProcessed[A] = ...
    def doB(input: ToBeProcessed[A]): ToBeProcessed[B] = ...
    def doDependsOnA(input: ToBeProcessed[B]): ToBeProcessed[DependsOnA] = ...
    def doDependsOnB(input: ToBeProcessed[DependsOnA]): ToBeProcessed[DependsOnB] = ...
}

这是有效的，因为它迫使我按顺序调用所有内容doA> doB> doDependsOnA> doDependsOnB，这是它工作的可能顺序，但是：

1. 它强制不相互依赖的步骤之间的依赖
2. 如果我想实现一个新的中间步骤，doC我必须改变与它无关的事物的类型

所以我开始阅读 Haskell 中的类型级别列表，并意识到我可以使用它来编码我的依赖项。所以我开始阅读 Shapeless HLists，结果突然出现了：

case class ToBeProcessed[S <: HList](value: String)

object ToBeProcessed {
    def raw(input: String): ToBeProcessed[Raw :: HNil] = ...
    def doA[S <: HList](input: ToBeProcessed[S]): ToBeProcessed[A :: S] = ...
    def doB[S <: HList](input: ToBeProcessed[S]): ToBeProcessed[B :: S] = ...

并且要对依赖项进行编码，我必须有一种方法来检查 A 是否包含在给定的 HList 中：

    def doDependsOnA[S <: HList, ???](input: ToBeProcessed[S]): ToBeProcessed[DependsOnA :: S] = ...

}

在???类型中我必须以某种方式编码S包含A. 我仍然不确定我该怎么做。这可能吗？

Answer 1

Shapeless 已经有一个类型类来证明 aHList包含某种类型：Selector。你可以像这样使用它：

import shapeless._, ops.hlist.Selector

def doDependsOnA[S <: HList](input: ToBeProcessed[S])(implicit ev: Selector[S,A]): ToBeProcessed[DependsOnA :: S] = ???