Ist es möglich, einen Typparameter eines Typparameters auf eine parametrisierte Klasse in Scala zu übertragen?

Question

Angenommen, ich habe eine Eigenschaft .

Ich möchte Bar eine Klasse definieren, parametrisiert mit Foo und Foo Typparametern in Bar Methoden wiederverwenden. So etwas wie unten gezeigt (dieser Schnipsel nicht kompiliert):

trait Bar[Foo[A, B]] { 
    def doSmth[C](A => C): C 
} 

Gibt es eine Möglichkeit, etwas zu erreichen ähnlich und hat nach wie vor nur einen einzigen Typen Parameter in Bar Erklärung?

p.s. es wäre auch großartig, wenn jemand die richtige Terminologie für das beschriebene Zeug vorschlagen könnte.

Answer 1

Nicht sicher, aber vielleicht ist dies irgendwo in der Nähe, wo Sie hin wollen.

trait Foo[A,B] 
trait Bar[A] { self: Foo[A,_] => 
    def doSmth[C](atoc: A => C): C 
} 

Oder mit einem Typ-Alias.

trait Foo[A,B] {type FooA = A} 
trait Bar { self: Foo[_,_] => 
    def doSmth[C](atoc: FooA => C): C 
} 

Dies bedeutet, dass ein Foo erforderlich, wenn Sie einen Bar in der Mischung haben.

Answer 2

Sie können den Operator # verwenden, um auf Typenmitglieder der Klasse oder Merkmale zuzugreifen.

trait M { 
    type A 
    type B 
    } 

    class F[X,Y] extends M { 
    type A = X 
    type B = Y 
    } 

    trait Bar[F] { 
    def doSmth[C](x: M#A => M#B): C 
    }