Трейт LowPriorityOrderingImplicits.LowPriorityOrderingImplicits
| Супертипы | |
|---|---|
| Известные подтипы |
Типы
Источник
тип AsComparable[A] = A => Comparable[_ >: A]
Неявные определения
Источник
Источник
Это вступит в конфликт со всеми доступными неявными определениями Orderings, но благодаря магии приоритизированных неявных определений через наследование, мы можем сделать так, чтобы Ordered[A] => Ordering[A] появилось только если ничего другого не работает. Так как Ordered[A] так или иначе расширяет Comparable[A], мы можем добавить поддержку Java-интероперабельности.
© 2002-2022 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://scala-lang.org/api/3.2.0/scala/math/LowPriorityOrderingImplicits.html