GadtConstraint

sealed abstract class GadtConstraint extends Showable

Represents GADT constraints currently in scope

trait Matchable

class Any

Value members

Further constrain a symbol already present in the constraint.

Add symbols to constraint, correctly handling inter-dependencies.

Immediate bounds of sym. Does not contain lower/upper symbols (see fullBounds).

Is the symbol registered in the constraint?

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

Full bounds of sym, including TypeRefs to other lower/upper symbols.

Note:: this performs subtype checks between ordered symbols. Using this in isSubType can lead to infinite recursion. Consider bounds instead.

Is sym1 ordered to be less than sym2?

GADT constraint narrows bounds of at least one variable

Restore the state from other GadtConstraint, probably copied using fresh

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

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.