子集和无形可扩展记录

Question

如何定义多态函数：

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

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

Answer 1

看起来您的问题与此问题重复：

Checking for subtype relationship between extensible records in shapeless

您要查找的功能是作为 Extractor 类型类实现的，并且将存在于无形2.3.3中（github.com/milessabin/shapeless/pull/714）