LabelledGeneric, чтобы получить имя класса

Я довольно новичок в Shapeless, как можно понять из моего вопроса. Учитывая случай

Получение подклассов запечатанной черты

Можно ли (с помощью макросов, какой-либо формы Shapeless Autogic или иным образом) получить список подклассов запечатанной черты:Во время компиляции?Во время...

Почему техника Aux требуется для вычислений на уровне типов?

Я почти уверен, что чего-то здесь не хватает, так как я довольно новичок в Shapeless и учусь, но когда на самом деле техника Auxтребуется? Я вижу, что это ис...

бесформенный HList для TupleN, где форма кортежа не обязательно должна точно соответствовать форме HList

Я хотел бы создать эквивалент:

Конвертировать scala List [String] / List [Object] в модель / HList / tuple

Получение элементов из HList

Я поиграл с HList, и следующие работы, как и ожидалось:

HList бесформенной карты в зависимости от типов целей

Что делает шаблон Aux в Scala?

У меня есть ощущение шаблона Aux (который используется в бесформенном и в других местах), в котором член типа извлекается в параметр типа, и я знаю, что это ...

Принудительно ограниченный Nat?

Как я могу обеспечить соблюдение

Выберите N-й элемент списка списков и верните это значение как список значений.

У меня есть HList, в котором каждый столбец представляет столбец таблицы. Каждый список в HList имеет одинаковую длину.Я хотел бы иметь возможность написать ...