Spec-Zone.ru › Scala 3.2

Трейт LowPriorityOrderingImplicits.LowPriorityOrderingImplicits

Исходный код

трейт LowPriorityOrderingImplicits

Супертипы
класс Object
трейт Matchable
класс Any
Известные подтипы
объект Ordering.type

Типы

Источник
тип AsComparable[A] = A => Comparable[_ >: A]

Неявные определения

Источник
неявное определение comparatorToOrdering[A](неявное cmp: Comparator[A]): Ordering[A]

Источник
неявное определение ordered[A](неявное asComparable: () => A): Ordering[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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API