EmptyGadtConstraint

dotty.tools.dotc.core.EmptyGadtConstraint$

Attributes

Graph
Supertypes
trait Showable
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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.

Attributes

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.

Attributes

See also:
Definition Classes
override def approximation(sym: Symbol, fromBelow: Boolean, maxLevel: Int)(using Context): Type
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).

Attributes

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

Is the symbol registered in the constraint?

Is the symbol registered in the constraint?

Attributes

Note:

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

Definition Classes

Attributes

Definition Classes
override def fresh: GadtConstraint

Attributes

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.

Attributes

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?

Attributes

Definition Classes
override def isNarrowing: Boolean

GADT constraint narrows bounds of at least one variable

GADT constraint narrows bounds of at least one variable

Attributes

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

Attributes

Definition Classes
override def symbols: List[Symbol]

Attributes

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.

Attributes

Definition Classes

Inherited methods

Attributes

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

Attributes

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

The string representation of this showable element.

The string representation of this showable element.

Attributes

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).

Attributes

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.

Attributes

Inherited from:
Showable