scala> implicitly[Int <:< AnyVal]
res0: <:<[Int,AnyVal] = <function1>
scala> class Foo
defined class Foo
scala> class Bar extends Foo
defined class Bar
scala> implicitly[Foo <:< Bar]
<console>:8: error: could not find implicit value for parameter e: <:<[Foo,Bar]
implicitly[Foo <:< Bar]
^
scala> implicitly[Bar <:< Foo]
res2: <:<[Bar,Foo] = <function1>
Comment fonctionne la contrainte <:<
? Ou plus précisément, où est la définition implicite qui fournit les instances de <:<
?Comment <<<travaillez-vous?
double possible de [Que faire <: <, <% <, et =: = signifie dans Scala 2.8, et où sont-ils documentés?] (http://stackoverflow.com/questions/3427345/what-do-and-mean-in-scala-2-8-and-where-are -les-documentés) – oluies
http://stackoverflow.com/questions/2603003/operator-in-scala – oluies