型パラメータの型パラメータをScalaのパラメータ化されたクラスに伝播することはできますか？

Question

私は形質がFoo[A, B]であると仮定します。

私はFooでパラメータ化クラスBarを定義し、Bar方法でFoo型パラメータを再利用したいです。 （このスニペットがコンパイルされません）、以下に示すような何か：

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

は似た何かを達成する方法はありますし、まだBar宣言の中で1つだけの型パラメータを持っていますか？

p.s.説明されたものの正しい用語を誰かが示唆することができれば、それは素晴らしいことかもしれません。

Answer 1

わかりませんが、これはあなたが行きたいところの近くです。

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

または、タイプエイリアスを使用します。

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

これは、あなたがミックスの中でBarを持っている場合Fooが必要であることを意味します。

Answer 2

＃演算子を使用すると、クラスまたは特性の型メンバーにアクセスできます。

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 
    }