Невозможно написать общую функцию для бесформенного Generic

Question

Я использую Generic в моем уровне БД для преобразования экземпляров классов case в List[Any] типов JDBC-жалоб. Таким образом, я следующий рисунок, повторяющий все время

val genSignal = LabelledGeneric[Signal] 
genSignal.to(item).values.map(toSqlTypedHlist).toList 

IntelliJ намекает, что values неизвестно поле, но он компилирует. Поэтому я решил написать следующий метод

private def getSqlValuesFromCaseClass[T <: AnyRef : Generic](item : T) : Seq[Any] = { 
    val generic: Generic[T] = implicitly[Generic[T]] 
    generic.to(item).values.map(toSqlTypedHlist).toList 
    } 

где toSqlTypedHlist является

private object toSqlTypedHlist extends Poly1 { 
    implicit def atAnything[T: SqlTyped] = at[T](_.toSqlType) 
} 

но он не компилировать говорить, что

Error:(730, 22) value values is not a member of generic.Repr 
    generic.to(item).values.map(toSqlTypedHlist).toList 
        ^

Что я здесь отсутствует?

UPD: Я обновил функцию следуя за советом Майлса, но это не помогло

private def getSqlValuesFromCaseClass[T <: AnyRef : Generic](item : T) : Seq[Any] = { 
    val generic: Generic[T] = implicitly[Generic[T]] 
    generic.to(item).map(toSqlTypedHlist).toList 
} 

Я получаю следующее сообщение об ошибке

Error:(73, 22) value map is not a member of generic.Repr 
    generic.to(item).map(toSqlTypedHlist).toList 
        ^

Answer 1

Попробуйте что-то вдоль линий,

import shapeless.ops.hlist.Mapper 

private def getSqlValuesFromCaseClass[T, R <: HList](item: T) 
    (implicit 
    gen: Generic.Aux[T, R], 
    mpr: Mapper[toSqlTypedHlist.type, R] 
): Seq[Any] = { 
    gen.to(item).map(toSqlTypedHlist).runtimeList 
} 

Что вам не хватило, был экземпляр Mapper (с индексом HList тип представления R и одноэлементный тип вашего Poly).

Обратите внимание, что использование runtimeList теряет точность, как того требует результирующего типа подпись Seq[Any], однако это не идиоматическое использование бесформенного ... обычно я бы ожидал увидеть именно набранное вычисление над отображенными элементами или какой-то складкой.