EmptyGadtConstraint
Value members
Concrete methods
Further constrain a symbol already present in the constraint.
Further constrain a symbol already present in the constraint.
- Definition Classes
Add symbols to constraint, correctly handling inter-dependencies.
Add symbols to constraint, correctly handling inter-dependencies.
- 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).
- Definition Classes
Is the symbol registered in the constraint?
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.
- Definition Classes
Full bounds of sym
, including TypeRefs to other lower/upper symbols.
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.- Definition Classes
GADT constraint narrows bounds of at least one variable
GADT constraint narrows bounds of at least one variable
- Definition Classes
Restore the state from other GadtConstraint, probably copied using fresh
Restore the state from other GadtConstraint, probably copied using fresh
- 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
- Inherited from:
- Showable
The string representation of this showable element.
The string representation of this showable element.
- Inherited from:
- Showable
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).
- 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.
- Inherited from:
- Showable