How can I chain implicits in Scala?

by

Scala has a restriction on automatic conversions to add a method, which is that it won’t apply more than one conversion in trying to find methods. For example:

class A(val n: Int)
class B(val m: Int, val n: Int)
class C(val m: Int, val n: Int, val o: Int) {
  def total = m + n + o
}

// This demonstrates implicit conversion chaining restrictions
object T1 { // to make it easy to test on REPL
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB(a: A): B = new B(a.n, a.n)
  implicit def bToC(b: B): C = new C(b.m, b.n, b.m + b.n)

  // won't work
  println(5.total)
  println(new A(5).total)

  // works
  println(new B(5, 5).total)
  println(new C(5, 5, 10).total)
}

EDIT: View bounds (‘<%’) are deprecated since Scala 2.11 https://issues.scala-lang.org/browse/SI-7629 (You can use type classes instead)

However, if an implicit definition requires an implicit parameter itself(View bound), Scala will look for additional implicit values for as long as needed. Continue from the last example:

// def m[A <% B](m: A) is the same thing as
// def m[A](m: A)(implicit ev: A => B)

object T2 {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)

  // works
  println(5.total)
  println(new A(5).total)
  println(new B(5, 5).total)
  println(new C(5, 5, 10).total)
}

“Magic!”, you might say. Not so. Here is how the compiler would translate each one:

object T1Translated {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB(a: A): B = new B(a.n, a.n)
  implicit def bToC(b: B): C = new C(b.m, b.n, b.m + b.n)

  // Scala won't do this
  println(bToC(aToB(toA(5))).total)
  println(bToC(aToB(new A(5))).total)

  // Just this
  println(bToC(new B(5, 5)).total)

  // No implicits required
  println(new C(5, 5, 10).total)
}

object T2Translated {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)

  // Scala does this
  println(bToC(5)(x => aToB(x)(y => toA(y))).total)
  println(bToC(new A(5))(x => aToB(x)(identity)).total)      
  println(bToC(new B(5, 5))(identity).total)

  // no implicits required
  println(new C(5, 5, 10).total)
}

So, while bToC is being used as an implicit conversion, aToB and toA are being passed as implicit parameters, instead of being chained as implicit conversions.

EDIT

Related question of interest:

More Related Contents:

  1. Where does Scala look for implicits?
  2. What are Scala context and view bounds?
  3. What is the Scala identifier “implicitly”?
  4. Can’t prove that singleton types are singleton types while generating type class instance
  5. How to query JSON data column using Spark DataFrames?
  6. What is Scala’s yield?
  7. Read entire file in Scala?
  8. Do scala constructor parameters default to private val?
  9. What do all of Scala’s symbolic operators mean?
  10. How can I pass extra parameters to UDFs in Spark SQL?
  11. Scala Futures – built in timeout?
  12. How to define a custom aggregation function to sum a column of Vectors?
  13. Stackoverflow due to long RDD Lineage
  14. Better way to convert a string field into timestamp in Spark
  15. If an Int can’t be null, what does null.asInstanceOf[Int] mean?
  16. No configuration setting found for key ‘akka.version’
  17. scala – Any vs underscore in generics
  18. How do I access default parameter values via Scala reflection?
  19. What is a function literal in Scala?
  20. How do I make a function involving futures tail recursive?
  21. How do I cast a variable in Scala?
  22. What is the forSome keyword in Scala for?
  23. “Unknown artifact. Not resolved or indexed” error for scalatest
  24. Why to use empty parentheses in Scala if we can just use no parentheses to define a function which does not need any arguments?
  25. Abstract types versus type parameters
  26. Scala: Parallel collection in object initializer causes a program to hang
  27. How to wait for several Futures?
  28. assembly-merge-strategy issues using sbt-assembly
  29. How to create a Dataset of Maps?
  30. Spark ML VectorAssembler returns strange output

Leave a Comment