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

GadtState

dotty.tools.dotc.core.GadtState
See theGadtState companion object
sealed trait GadtState

Attributes

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

Members list

Value members

Abstract methods

Concrete methods

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

def addToConstraint(sym: Symbol)(using Context): Boolean

Add symbols to constraint, correctly handling inter-dependencies.

Add symbols to constraint, correctly handling inter-dependencies.

Attributes

See also
def addToConstraint(params: List[Symbol])(using Context): Boolean
override def constr: noPrinter.type

Attributes

Definition Classes
override def fullLowerBound(param: TypeParamRef)(using Context): Type

Attributes

Definition Classes
override def fullUpperBound(param: TypeParamRef)(using Context): Type

Attributes

Definition Classes
override def nonParamBounds(param: TypeParamRef)(using Context): TypeBounds

Attributes

Definition Classes
def restore(gadt: GadtConstraint): Unit

Restore the GadtConstraint state.

Restore the GadtConstraint state.

Attributes

inline def rollbackGadtUnless(inline op: Boolean): Boolean
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL