ケースクラスのフィールド間の相互依存関係をモデル化する方法は？

Question

私は、rhsフィールドの可能な値がlhsのタイプに依存するように、ケースクラスのフィールド間にいくつかの相互依存性をモデル化したいと思います。

以下の例では、type B = A.Bを書き込むことはできませんでした。これはコンパイルされず、type B = A#Bのみとなりました。驚くことではありませんが、下の例では、この行はコンパイルされます：SomeDomain.Foo(SomeDomain.Brr, SomeDomain.Bee.Pooh)これは目的を破るものです。

明らかに私は何か間違っています。ここに小さな修正はありますか？それとも、私は全く別のアプローチをとるべきですか？

// Entering paste mode (ctrl-D to finish) 

trait Domain { 
    trait Bar { 
    type B 
    } 
    type A <: Bar 
    type B = A#B 

    case class Foo(lhs: A, rhs: B) 
} 

object SomeDomain extends Domain { 
    sealed trait Baz extends Bar { 
    sealed trait Inner 

    override type B = Inner 
    } 

    case object Brr extends Baz { 

    case object Strawberry extends Inner 
    case object Raspberry extends Inner 
    } 

    case object Bee extends Baz { 

    case object Honey extends Inner 
    case object Pooh extends Inner 
    } 

    override type A = Baz 
} 


val foo = SomeDomain.Foo(SomeDomain.Brr, SomeDomain.Bee.Pooh) 
val f1= foo.lhs 
val f2 = foo.rhs 

// Exiting paste mode, now interpreting. 

defined trait Domain 
defined object SomeDomain 
foo: SomeDomain.Foo = Foo(Brr,Pooh) 
f1: SomeDomain.A = Brr 
f2: SomeDomain.B = Pooh 

Answer 1

最も信頼性の高いアプローチは、明示的な型パラメータと型のメンバを使用することです：

trait T { type O } 

case class Foo[A](t: T { type O = A }, a: A)