Members list
Value members
Concrete methods
Further constrain a symbol already present in the constraint.
Further constrain a symbol already present in the constraint.
Attributes
Add symbols to constraint, correctly handling inter-dependencies.
Add symbols to constraint, correctly handling inter-dependencies.
Attributes
- See also:
Immediate bounds of sym. Does not contain lower/upper symbols (see fullBounds).
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.
Provides more information than toText, by showing the underlying Constraint details.
Provides more information than toText, by showing the underlying Constraint details.
Attributes
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
boundsinstead.
Attributes
- Definition Classes
Attributes
- Definition Classes
Is sym1 ordered to be less than sym2?
Is sym1 ordered to be less than sym2?
Attributes
GADT constraint narrows bounds of at least one variable
GADT constraint narrows bounds of at least one variable
Attributes
Attributes
- Definition Classes
Restore the state from other GadtConstraint, probably copied using fresh
Exposes ConstraintHandling.subsumes
Exposes ConstraintHandling.subsumes
Attributes
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
Inherited methods
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
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 string representation with each line after the first one indented by the given given margin (in spaces).
Attributes
- Inherited from:
- Showable
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