Subsets und formlos extensible Aufzeichnungen

Question

Wie polymorphe Funktion zu definieren, die:

1. jeden Datensatz (Superset der Felder)
2. return jede Teilmenge von festgelegten Satz von Feldern mit unförmigen-2,3 enthält spezifizierten Satz Felder akzeptieren ?

Ich habe solution for single field für 1. gefunden, aber ich muss mit einer Reihe von Feldern arbeiten. Ich habe suggestion gefunden, um Klasse zu definieren, die implicits für jedes Feld enthält, aber ich denke, dass es weniger boilleplated sein sollte, um es in solch fortgeschrittener Sprache wie Scala zu definieren. Ich habe eine assumption als SelectAll Merkmal dafür verwendet, aber nicht konkretes Beispiel, wie genau es verwendet werden kann.

Answer 1

Sieht aus wie Ihre Frage das Duplikat dieser ist:

Checking for subtype relationship between extensible records in shapeless

Die Funktionalität Sie suchen als Extractor typeclass implementiert und wird in unförmigen 2.3.3 (github.com/ vorhanden sein millessabin/formlos/ziehen/714)