Ho il codice successivoShapeless definire l'obiettivo per la base tratto
trait A { val id: Int }
case class B(id: Int) extends A
case class C(id: Int, name: String) extends A
voglio definire l'obiettivo comune per tutti gerarchia di classi:
import shapeless._
import lens._
val idLens = lens[A] >> 'id
ma ottengo l'errore: could not find implicit value for parameter mkLens: shapeless.MkFieldLens[A,Symbol with shapeless.tag.Tagged[String("id")]]
è è possibile definire l'obiettivo per tutti i bambini di trait A
?
È necessario fornire un MkFieldLens [A, K] implicito. Il problema è che non so come specificare K (Symbol with shapeless.tag.Tagged [String ("id")]). Qualcuno ha risolto questo? –