scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/GadtConstraint

GadtConstraint

dotty.tools.dotc.core.GadtConstraint
See theGadtConstraint companion object
class GadtConstraint extends Showable

Represents GADT constraints currently in scope

Attributes

Companion
object
Graph
Supertypes
trait Showable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def add(sym: Symbol, tv: TypeVar): GadtConstraint
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

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.

def debugBoundsDescription(using Context): String

Provides more information than toText, by showing the underlying Constraint details.

Provides more information than toText, by showing the underlying Constraint details.

Attributes

def externalize(tp: Type, theMap: TypeMap | Null)(using Context): Type
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.

def fullLowerBound(param: TypeParamRef)(using Context): Type
def fullUpperBound(param: TypeParamRef)(using Context): Type
def internalize(tp: Type)(using Context): Type
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

def isNarrowing: Boolean

GADT constraint narrows bounds of at least one variable

GADT constraint narrows bounds of at least one variable

Attributes

final def stripInternalTypeVar(tp: Type): Type
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
def tvarOrError(sym: Symbol)(using Context): TypeVar

Inherited methods

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
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL