스칼라에서 매개 변수화 및 상속 유형

Question

아래 패턴에 따라 스칼라 코드가 있습니다.

class T 

class A1[S <: T](private val arg1: String, private val arg2: S) 
class A2[S <: T](private val arg1: String, private val arg2: S) 
    extends A1[S] 
class A3[S <: T](private val arg1: String, private val arg2: S) 
    extends A2[S] 

등

나는 많은 반복이 여기에 있기 때문에 위의 코드를 단축 할 수있는 방법이 있다는 것을 희망하고있다. A1의 서브 클래스는 내재적으로 타입 매개 변수화 [S <: T]과 생성자 (private val arg1: String, private val arg2: S)을 갖고 싶습니다. 이를 수행 할 수있는 방법이 있습니까? 아니면 정의한 모든 하위 클래스에 대해이 텍스트를 반복해야합니까?

Answer 1

A1, A2 및 A3을 하나의 AImpl으로 바꿀 수 있습니까?

sealed trait Condition 
case object One extends Condition 
case object Two extends Condition 
case object Three extends Condition 

sealed trait AParent[A] 
case class AImpl[A, B <: A](private val arg1: String, 
          private val arg2: B, 
          c: Condition) extends AParent[A]