Добавление типов контейнеров, таких как Seq, List, Option и Map, в бесформенное универсальное преобразование

Чтобы завершить серию вопросов, которые я задавал о преобразовании

Преобразование Map [String, Any] в класс case с использованием Shapeless

ВопросВот спрашивает о сопоставлении класса дела с картой [String, Any]. Мне было интересно, что будет наоборот, преобразование Map [String, Any] в case-клас...

Преобразование вложенных классов наблюдений во вложенные Карты с использованием Shapeless

Я пытаюсь решитьэтот вопрос с использованием Shapeless, в итоге речь идет о преобразовании вложенного класса case в Map [String, Any], вот пример:

Как перебрать все виды продуктов в побочном продукте с использованием бесформенного?

Допустим, у меня естькопроизведение (запечатанная черта), такие как

Shapeless - превратить класс дела в другой с полями в другом порядке

Как потребовать типизированного массива постоянного размера в Scala?

Мне нужно что-то вроде этого:

Карта и уменьшить / сложить HList of scalaz.Validation

Я начал с чего-то вроде этого:

Странное поведение при попытке рекурсивно преобразовать классы дел в гетерогенные списки с помощью Shapeless

Не удается доказать, что одноэлементные типы являются одноэлементными типами при создании экземпляра класса типов

Предположим, у меня есть класс типов, который доказывает, что все типы в Shapeless coproduct являются одноэлементными типами:

Динамически параметризовать функцию Poly1 в бесформенном

У меня такая ситуация (урезанная до основных частей)