ジェネリックストリームと抽象データ型のここ

Question

は、私が

trait RequestBuilder { 
    type Out 

    def complete(p: Promise[Out]): Unit 
} 

def makeRequest(in: RequestBuilder): Source[(RequestBuilder, Promise[in.Out]), Future[in.Out]] = { 
    val p = Promise[in.Out] 

    Source.single(in -> p).mapMaterializedValue(_ => p.future) 
} 

val sink = MergeHub.source[(RequestBuilder, Promise[???])].to(Sink.foreach { 
    case (r, p) => r.complete(p) 
}).run() 

sink.runWith(makeRequest(new RequestBuilder { 
    type Out = Int 

    def complete(p: Promise[Out]): Unit = p.success(1) 
})) 

問題があるのが午前問題を示してstrawmanプログラムは、どのように私は、シンクでPromise[???]を入力しないのですか？あなたはタプルに対してタイプエイリアスを作ることができ

Answer 1

私は約束RequestBuilderトレイト自身の一部することによってこの問題を回避することができたが、これは私にはコードのにおいのように思える：

type BuilderWithPromise[B <: RequestBuilder] = (B, Promise[B#Out]) 

またはケースクラス：あなたはまだ型パラメータを持っているとして、いずれかの方法は、