Constraint

abstract def &(other: Constraint)(implicit ctx: Context): Constraint

The weakest constraint that subsumes both this constraint and other

abstract def add(poly: PolyType, tvars: List[TypeVar])(implicit ctx: Context): This

A new constraint which is derived from this constraint by adding entries for all type parameters of poly.

abstract def addLess(p1: PolyParam, p2: PolyParam)(implicit ctx: Context): This

A constraint that includes the relationship p1 <: p2.

abstract def checkClosed()(implicit ctx: Context): Unit

Check that constraint only refers to PolyParams bound by itself

abstract def checkNonCyclic()(implicit ctx: Context): Unit

Check that no constrained parameter contains itself as a bound

abstract def contains(tvar: TypeVar): Boolean

Does this constraint contain the type variable tvar and is it uninstantiated?

abstract def contains(param: PolyParam): Boolean

Does the constraint's domain contain the type parameter param?

abstract def contains(pt: PolyType): Boolean

Does the constraint's domain contain the type parameters of pt?

abstract def domainParams: List[PolyParam]

The polytype parameters constrained by this constraint

abstract def domainPolys: List[PolyType]

The polytypes constrained by this constraint

abstract def entry(param: PolyParam): Type

The constraint entry for given type parameter param, or NoType if param is not part of the constraint domain.

abstract def exclusiveLower(param: PolyParam, butNot: PolyParam): List[PolyParam]

lower(param) \ lower(butNot)

abstract def exclusiveUpper(param: PolyParam, butNot: PolyParam): List[PolyParam]

upper(param) \ upper(butNot)

abstract def forallParams(p: (PolyParam) ⇒ Boolean): Boolean

Check whether predicate holds for all parameters in constraint

abstract def foreachTypeVar(op: (TypeVar) ⇒ Unit): Unit

Perform operation op on all typevars, or only on uninstantiated typevars, depending on whether uninstOnly is set or not.

abstract def fullBounds(param: PolyParam)(implicit ctx: Context): TypeBounds

The bounds of param including all known-to-be-smaller and -greater parameters

abstract def fullLowerBound(param: PolyParam)(implicit ctx: Context): Type

The lower bound of param including all known-to-be-smaller parameters

abstract def fullUpperBound(param: PolyParam)(implicit ctx: Context): Type

The upper bound of param including all known-to-be-greater parameters

abstract def isLess(param1: PolyParam, param2: PolyParam): Boolean

Is it known that param1 <:< param2?

abstract def isRemovable(pt: PolyType): Boolean

Is entry associated with pt removable? This is the case if all type parameters of the entry are associated with type variables which have their inst fields set.

abstract def lower(param: PolyParam): List[PolyParam]

The parameters that are known to be smaller wrt <: than param

abstract def narrowBound(param: PolyParam, bound: Type, isUpper: Boolean)(implicit ctx: Context): This

Narrow one of the bounds of type parameter param If isUpper is true, ensure that param <: bound, otherwise ensure that param >: bound.

abstract def nonParamBounds(param: PolyParam): TypeBounds

The constraint bounds for given type parameter param.

abstract def remove(pt: PolyType)(implicit ctx: Context): This

A new constraint with all entries coming from pt removed.

abstract def replace(param: PolyParam, tp: Type)(implicit ctx: Context): This

A new constraint which is derived from this constraint by removing the type parameter param from the domain and replacing all top-level occurrences of the parameter elsewhere in the constraint by type tp, or a conservative approximation of it if that is needed to avoid cycles.

abstract def toText(printer: Printer): Text

The text representation of this showable element.

abstract def typeVarOfParam(param: PolyParam): Type

The type variable corresponding to parameter param, or NoType, if param is not in constrained or is not paired with a type variable.

abstract def unify(p1: PolyParam, p2: PolyParam)(implicit ctx: Context): This

A constraint resulting from adding p2 = p1 to this constraint, and at the same time transferring all bounds of p2 to p1

abstract def uninstVars: Seq[TypeVar]

The uninstantiated typevars of this constraint

abstract def updateEntry(param: PolyParam, tp: Type)(implicit ctx: Context): This

A new constraint which is derived from this constraint by updating the entry for parameter param to tp.

abstract def upper(param: PolyParam): List[PolyParam]

The parameters that are known to be greater wrt <: than param

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def fallbackToText(printer: Printer): Text

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

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def show(implicit ctx: Context): String

The string representation of this showable element.

def showSummary(implicit ctx: Context): String

def showSummary(depth: Int)(implicit ctx: Context): String

The summarized string representation of this showable element.

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit