Я пытаюсь собрать поля класса case, которые имеют определенные аннотации во время компиляции, используя shapeless. Я попытался поиграть со следующим фрагментом, но это не сработало, как ожидалось (ничего не выводилось вместо печати «i»). Как я могу заставить его работать?
import shapeless._
import shapeless.labelled._
final class searchable() extends scala.annotation.StaticAnnotation
final case class Foo(@searchable i: Int, s: String)
trait Boo[A] {
def print(a: A): Unit
}
sealed trait Boo0 {
implicit def hnil = new Boo[HNil] { def print(hnil: HNil): Unit = () }
implicit def hlist[K <: Symbol, V, RL <: HList](implicit b: Boo[RL]): Boo[FieldType[K, V] :: RL] =
new Boo[FieldType[K, V] :: RL] {
def print(a: FieldType[K, V] :: RL): Unit = {
b.print(a.tail)
}
}
}
sealed trait Boo1 extends Boo0 {
implicit def hlist1[K <: Symbol, V, RL <: HList](implicit annot: Annotation[searchable, K], witness: Witness.Aux[K], b: Boo[RL]): Boo[FieldType[K, V] :: RL] =
new Boo[FieldType[K, V] :: RL] {
def print(a: FieldType[K, V] :: RL): Unit = {
Console.println(witness.value.name)
b.print(a.tail)
}
}
}
object Boo extends Boo1 {
implicit def generics[A, HL <: HList](implicit iso: LabelledGeneric.Aux[A, HL], boo: Boo[HL]): Boo[A] =
new Boo[A] {
def print(a: A): Unit = {
boo.print(iso.to(a))
}
}
}
implicitly[Boo[Foo]].print(Foo(1, "2"))
