by

The <:< type is defined in Predef.scala along with the related types =:= and <%< as follows:

// used, for example, in the encoding of generalized constraints
// we need a new type constructor `<:<` and evidence `conforms`, as 
// reusing `Function2` and `identity` leads to ambiguities (any2stringadd is inferred)
// to constrain any abstract type T that's in scope in a method's argument list (not just the method's own type parameters)
// simply add an implicit argument of type `T <:< U`, where U is the required upper bound (for lower-bounds, use: `U <: T`)
// in part contributed by Jason Zaugg
sealed abstract class <:<[-From, +To] extends (From => To)
implicit def conforms[A]: A <:< A = new (A <:< A) {def apply(x: A) = x} // not in the <:< companion object because it is also intended to subsume identity (which is no longer implicit)

This uses the Scala feature that a generic type op[T1, T2] can be written T1 op T2. This can be used, as noted by aioobe, to provide an evidence parameter for methods that only apply to some instances of a generic type (the example given is the toMap method that can only be used on a Traversable of Tuple2). As noted in the comment, this generalizes a normal generic type constraint to allow it to refer to any in-scope abstract type/type parameter. Using this (implicit ev : T1 <:< T2) has the advantage over simply using an evidence parameter like (implicit ev: T1 => T2) in that the latter can lead to unintended in-scope implicit values being used for the conversion.

I’m sure I’d seen some discussion on this on one of the Scala mailing lists, but can’t find it at the moment.

More Related Contents:

  1. error in if return in Scala
  2. How do I get around type erasure on Scala? Or, why can’t I get the type parameter of my collections?
  3. Call by name vs call by value in Scala, clarification needed
  4. What does the `#` operator mean in Scala?
  5. Automatically and Elegantly flatten DataFrame in Spark SQL
  6. Spark extracting values from a Row
  7. How to pass -D parameter or environment variable to Spark job?
  8. Why is “Unable to find encoder for type stored in a Dataset” when creating a dataset of custom case class?
  9. Scala: Merge map
  10. Finding type parameters via reflection in Scala 2.10?
  11. Defining a UDF that accepts an Array of objects in a Spark DataFrame?
  12. Spark / Scala: forward fill with last observation
  13. how do I get sbt to use a local maven proxy repository (Nexus)?
  14. Scala multiple type pattern matching
  15. Pattern matching on generic type in Scala
  16. What are the rules to govern underscore to define anonymous function?
  17. Use case of scala.concurrent.blocking
  18. Scala Macros: Making a Map out of fields of a class in Scala
  19. Apache Spark: Get number of records per partition
  20. Escape a dollar sign in string interpolation
  21. Derive multiple columns from a single column in a Spark DataFrame
  22. Why is it possible to declare variable with same name in the REPL?
  23. Getting the index of the current loop in Play! 2 Scala template
  24. How to get keys and values from MapType column in SparkSQL DataFrame
  25. Addition of two RDD[mllib.linalg.Vector]’s
  26. How to wait for several Futures?
  27. forall in Scala
  28. Scala asInstanceOf with parameterized types
  29. How do I run an sbt main class from the shell as normal command-line program?
  30. Spark ML VectorAssembler returns strange output

Leave a Comment