scala3-compiler-bootstrapped/dotty.tools.dotc.core/OrderingConstraint

OrderingConstraint

object OrderingConstraint
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

abstract class ConstraintLens[T <: AnyRef]

A lens for updating a single entry array in one of the three constraint maps

A lens for updating a single entry array in one of the three constraint maps

Types

type ParamBounds = ArrayValuedMap[Type]

The type of OrderingConstraint#boundsMap

The type of OrderingConstraint#boundsMap

type ParamOrdering = ArrayValuedMap[List[TypeParamRef]]

The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap

The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap

Value members

Concrete fields