scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.core/OrderingConstraint

OrderingConstraint

dotty.tools.dotc.core.OrderingConstraint$
See theOrderingConstraint companion class
object OrderingConstraint

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type ParamBounds = ArrayValuedMap[Type]

The type of OrderingConstraint#boundsMap

The type of OrderingConstraint#boundsMap

Attributes

type ParamOrdering = ArrayValuedMap[List[TypeParamRef]]

The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap

The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap

Attributes

Value members

Concrete fields

Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL