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
Definition Classes
override
def addToConstraint(params: List[Symbol])(using Context): Boolean
Definition Classes
override
def approximation(sym: Symbol, fromBelow: Boolean)(using Context): Type
Definition Classes
override
def bounds(sym: Symbol)(using Context): TypeBounds
Definition Classes
override
def contains(sym: Symbol)(using Context): Boolean
Definition Classes
override
def debugBoundsDescription(using Context): String
Definition Classes
override
def fresh: GadtConstraint
Definition Classes
override
def fullBounds(sym: Symbol)(using Context): TypeBounds
Definition Classes
override
def isEmpty: Boolean
Definition Classes
override
def isLess(sym1: Symbol, sym2: Symbol)(using Context): Boolean
Definition Classes
override
def restore(other: GadtConstraint): Unit
Definition Classes
override
def toText(printer: Printer): Text
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
final
def nonEmpty: Boolean
Inherited from
GadtConstraint
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