EmptyGadtConstraint
Attributes
- Graph
- Supertypes
- Self type
- EmptyGadtConstraint.type
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
- Definition Classes
Add symbols to constraint, correctly handling inter-dependencies.
Add symbols to constraint, correctly handling inter-dependencies.
Attributes
- See also:
- Definition Classes
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
- Definition Classes
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.
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
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.- Definition Classes
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
Restore the state from other GadtConstraint, probably copied using fresh
Attributes
- Definition Classes
Attributes
- Definition Classes
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
Attributes
- Inherited from:
- GadtConstraint
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