CODEWITHSUNDEEP
scalashapelesshlist
andiderp
andiderp

Reputation: 5

Concatenating HList Types in Case Class Definition

I have three HLists A, B and R. Within a case class definition I want to enforce a relationship between those three HLists.

The code looks like this:

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

Is it possible to enforce that R is a concatenation of the HLists A and B? Or is there a way that I do not need the type R but still enforce that the type parameter of Base is a concatenation of A and B?

Upvotes: 0

Views: 128

Answers (1)

Joe K
Joe K

Reputation: 18434

You want Prepend:

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

And a useful companion method for constructing without specifying 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)

Upvotes: 1

Related Questions