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