子集和无形可扩展记录

Question

如何定义多态函数：

1. 接受包含指定字段集（字段超集）的任何记录
2. 返回指定字段集的任何子集 使用 shapeless-2.3？

我找到了solution for single field 1。但我需要使用一组字段。我发现suggestion 为每个字段定义了包含隐含的类，但我认为用像 Scala 这样的高级语言来定义它应该是更少的样板化方式。我发现 assumption 比 SelectAll 特征可以用于此，但没有具体示例如何使用它。

Answer 1

看起来你的问题是这个问题的重复：

Checking for subtype relationship between extensible records in shapeless

您寻找的功能被实现为 Extractor 类型类，并将出现在 shapeless 2.3.3 (github.com/milessabin/shapeless/pull/714)