Scala無形：如何將hlist.Mapper轉換為案例類？

Question

我是無形的新手，我想將Mapper[mix.type, HNil]#Out轉換為案例類

我怎樣才能做到這一點？ （讓我知道您是否需要更多信息...）

Answer 1

僅當您定義具有與此Mapper#Out 形狀完全相同的形狀的case類時，這才起作用。 如果是這樣，您可以使用shapeless.Generic創建您的case類的實例：

val mout = ... // HList coming from your Mapper
case class A(i: Int, s: String)
shapeless.Generic[A].from(mout): A

假設Generic#Repr和Mapper[mix.type, HNil]#Out是相同的類型，可以使用以下命令進行檢查：

val mapper = the[Mapper[mix]]
val gen    = the[Generic[A]]
implicitly[mapper#Out =:= gen#Repr] // This only complies if scalac can
                                    // prove equality between these types