在案例类定义中串联HList类型

Question

我有三个HList A ， B和R 在案例类定义中，我想强制这三个HList之间的关系。

代码如下：

trait Base[A <: HList]    
case class Concat[A <: HList, B <: HList, R <: HList](a: A, b: B) extends Base[R]

是否可以强制说R是HLists A和B的串联？ 还是有一种方法不需要我使用类型R但仍然要求Base的类型参数是A和B的串联？

Answer 1

您想要Prepend ：

case class Concat[A <: HList, B <: HList, R <: HList](a: A, b: B)(implicit p: Prepend.Aux[A, B, R]) extends Base[R]

以及一个无需指定R的有用的伴随方法

def concat[A <: HList, B <: HList](a: A, b: B)(implicit p: Prepend[A, B]): Concat[A, B, p.Out] = Concat(a, b)(p)