kopieren Methode und Subtyp Polymorphismus in Scala

Question

Ich versuche, den folgenden Scala-Compiler-Fehler unten zu lösen.

case class CC[E](l:List[E]) 

trait D[E,L<:CC[E]]{ 
    def f(l:L):L = l.copy(l=List()) // does not compile: "found CC[E], required: L" 
} 

In (pseudo) -Haskell (ohne Unter Typisierung) würde dies wie etwas sein:

data CC = CC {l::[e]} 
'makeLens CC 
f l = l .~ _e [] 

Aktuell Suche in ScalaZ, Shapeless und Monocle.

Auf den ersten Blick scheint Monocle außer Frage zu stehen (nicht sicher), bitte beweisen Sie mir falsch, wenn meine Intuition falsch ist.

ScalaZ + Shapeless könnte probably Arbeit, ich bin mir nicht sicher, wie (nie benutzt).

1) Was wäre der einfachste Weg, dies in Scala zu lösen?

2) Wäre ScalaZ an sich genug? Oder Formlos an sich ist genug? Oder ist die Kombination der beiden notwendig? Oder vielleicht anders?

Answer 1

Sie könnten die folgenden mit Monocle tun:

import monocle.macros.Lenses 

@Lenses 
case class CC[E](l:List[E]) 

object D { 
    def f[E](cc: CC[E]): CC[E] = CC.l.set(List())(cc) 
}