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

EmptyGadtConstraint

object EmptyGadtConstraint extends GadtConstraint
trait Showable
class Object
trait Matchable
class Any

Value members

Concrete methods

override def addBound(sym: Symbol, bound: Type, isUpper: Boolean)(using Context): Boolean

Further constrain a symbol already present in the constraint.

Further constrain a symbol already present in the constraint.

Definition Classes
override def addToConstraint(params: List[Symbol])(using Context): Boolean

Add symbols to constraint, correctly handling inter-dependencies.

Add symbols to constraint, correctly handling inter-dependencies.

See also:
Definition Classes
override def bounds(sym: Symbol)(using Context): TypeBounds | Null

Immediate bounds of sym. Does not contain lower/upper symbols (see fullBounds).

Immediate bounds of sym. Does not contain lower/upper symbols (see fullBounds).

Definition Classes
override def contains(sym: Symbol)(using Context): Boolean

Is the symbol registered in the constraint?

Is the symbol registered in the constraint?

Note:

this is true even if the symbol is constrained to be equal to another type, unlike Constraint.contains.

Definition Classes
override def debugBoundsDescription(using Context): String
Definition Classes
override def fresh: GadtConstraint
Definition Classes
override def fullBounds(sym: Symbol)(using Context): TypeBounds | Null

Full bounds of sym, including TypeRefs to other lower/upper symbols.

Full bounds of sym, including TypeRefs to other lower/upper symbols.

Note:

this performs subtype checks between ordered symbols. Using this in isSubType can lead to infinite recursion. Consider bounds instead.

Definition Classes
override def isLess(sym1: Symbol, sym2: Symbol)(using Context): Boolean

Is sym1 ordered to be less than sym2?

Is sym1 ordered to be less than sym2?

Definition Classes
override def isNarrowing: Boolean

GADT constraint narrows bounds of at least one variable

GADT constraint narrows bounds of at least one variable

Definition Classes
override def restore(other: GadtConstraint): Unit

Restore the state from other GadtConstraint, probably copied using fresh

Restore the state from other GadtConstraint, probably copied using fresh

Definition Classes
override def toText(printer: Printer): Text

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

Definition Classes

Inherited methods

def addToConstraint(sym: Symbol)(using Context): Boolean
Inherited from:
GadtConstraint
def fallbackToText(printer: Printer): Text

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

Inherited from:
Showable
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

Inherited from:
Showable
def showIndented(margin: Int)(using Context): String

The string representation with each line after the first one indented by the given given margin (in spaces).

The string representation with each line after the first one indented by the given given margin (in spaces).

Inherited from:
Showable
def showSummary(depth: Int)(using Context): String

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

Inherited from:
Showable