Union types as bound for type parameters of a trait (scala)

Question

How can I constrain the type parameters of a trait to be among a distinct set of types (eg., bound by union type)?

As a concrete example, I'd like to create a trait IntegralIndex[T] where T must Int or Long.

I tried the first answer to this question on union types :

sealed abstract class NumericIndex[T]
object NumericIndex {
  implicit object IntWitness extends NumericIndex[Int]
  implicit object LongWitness extends NumericIndex[Long]
}

trait IntegralIndex[T : NumericIndex]

but that doesn't work; I get traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...'

Any other suggestions? Admittedly, I didn't understand the other solutions to the question on union types, so I'd appreciate if the answer is just to use a different answer there, or even to know that it can't be done.

context bound should help: stackoverflow.com/questions/2982276/… , or this one: stackoverflow.com/questions/2982276/… — xhudik

Travis Brown Travis Brown · Accepted Answer · 2013-01-31T11:36:11

The type class approach is probably the cleanest way to accomplish what you want here, and you're on the right track with your version. It doesn't work in its current form because context bounds are just syntactic sugar for implicit parameters. The following trait definition, for example:

trait IntegralIndex[T: NumericIndex]

Would be desugared to something like this:

trait IntegralIndex[T](implicit num: NumericIndex[T])

But traits don't have constructors, so this isn't valid Scala syntax. You can, however, write something like this:

trait IntegralIndex[T] {
  implicit def num: NumericIndex[T]
}

This ensures that you can't create a IntegralIndex[T] unless you have evidence that there's an instance of the NumericIndex type class for T.

Now when you're implementing IntegralIndex, you'd write either:

case class MyIndex[T](whatever: String)(implicit val num: NumericIndex[T])

Or:

case class MyIndex[T: NumericIndex](whatever: String) {
  implicit val num = implicitly[NumericIndex[T]]
}

Now all the implicit plumbing is invisible to anyone using MyIndex.

Union types as bound for type parameters of a trait (scala)

1 Answers