Hier mein Anwendungsfall ist:In einen Typ Parameter, aber nicht den anderen?
def mkWrapper[A,B](doer: StuffDoer[B])(implicit ev: A => B) =
new StuffDoer[A] {
override def doStuff(a: A) = doer.doStuff(ev(a))
}
Nun nehme ich an eine Instanz von
StuffDoer[AwfullyLong[Complicated,And],_ <: Difficult[ToRead],Type]
definiert irgendwo, und eine implizite Konvertierung von String
... na ja, dass haben Art.
Ich bin auf der Suche nach Vorschlägen, wie ich mkWrapper[String,_](doer)
aufrufen kann, und habe es seinen zweiten Typ Parameter aus dem Typ doer
abzuleiten, anstatt es zu buchstabieren.
Ideen? spezifizieren und
apply
Methode mit dem Rest der Parameter des Typs
Dies kann oder kann nicht helfen: https://tpolecat.github.io/2015/07/30/infer.html –