Spec-Zone.ru › Scala 3.1

Трейт scala.math.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.1.1/scala/math/LowPriorityOrderingImplicits.html

Spec-Zone.ru

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