Поднаборов и бесформенные расширяемые записи

Question

Как определить полиморфную функцию, которая:

1. принимать любую запись, содержащую определенный набор полей (SUPERSET полей)
2. возвратных любое подмножество указанного множества полого с бесформенным-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/unteless/pull/714)