Scala example source code file (t4266.scala)

This example Scala source code file (t4266.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

a, a1, boolean, d, d, d1, d1, domainlike, domainlike, product2domainlike, product2domainlike, tensor2like, test

The Scala t4266.scala source code

object Test {
  
  trait Tensor2Like[
    @specialized(Int) A1, 
    +D1 <: DomainLike[A1], 
    +D <: Product2DomainLike[D1]
  ] {
    def domain: D;
    
    def checkKey(k1: A1) {
      domain._1.contains(k1)
    }
  }
  
  trait DomainLike[A] {
    def contains(key: A): Boolean;
  }
  
  // trait DomainLike[@specialized(Int) A] {
  //   def contains(key: A): Boolean;
  // }

  trait Product2DomainLike[+D1] {
    def _1: D1;
  }
}